Robert Jasper Mike Brennan Keith E. Williamson Bill Currier David Zimmerman Test Data Generation and Feasible Path Analysis. 95-107 1994 ISSTA http://doi.acm.org/10.1145/186258.187150 db/conf/issta/issta94.html#JasperBWCZ94