David G. Clarke;James Noble;John Potter
-;-;-
Representation dependence testing using program inversion
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering