Test Data Generation and Feasible Path Analysis. - Robert Jasper; Mike Brennan; Keith E. Williamson; Bill Currier; David Zimmerman (ISSTA, 1994)