Nigel Tracey John A. Clark Keith Mander John A. McDermid An Automated Framework for Structural Test-Data Generation. 285-288 1998 ASE http://dlib.computer.org/conferen/ase/8750/pdf/87500285.pdf db/conf/kbse/ase1998.html#TraceyCMM98