Gordon Kotik Lawrence Markosian Automating Software Analysis and Testing Using a Program Transformation System. 75-84 1989 Symposium on Testing, Analysis, and Verification http://doi.acm.org/10.1145/75308.75318 db/conf/issta/tav89.html#KotikM89