A formal approach to program inversion
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Principles of inverse computation and the Universal resolving algorithm
The essence of computation
Theory and applications of inverting functions as folds
Science of Computer Programming - Special issue on mathematics of program construction (MPC 2002)
Data flow testing of service-oriented workflow applications
Proceedings of the 30th international conference on Software engineering
Representation dependence testing using program inversion
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
| Hi-index | 0.00 |