William E. Howden Validating Programs without Specifications. 2-9 1989 Symposium on Testing, Analysis, and Verification http://doi.acm.org/10.1145/75308.75310 db/conf/issta/tav89.html#Howden89