Allen Goldberg Tie-Cheng Wang David Zimmerman Applications of Feasible Path Analysis to Program Testing. 80-94 1994 ISSTA http://doi.acm.org/10.1145/186258.186523 db/conf/issta/issta94.html#GoldbergWZ94