Derek F. Yates Nicos Malevris Reducing the Effects of Infeasible Paths in Branch Testing. 48-54 1989 Symposium on Testing, Analysis, and Verification http://doi.acm.org/10.1145/75308.75315 db/conf/issta/tav89.html#YatesM89