Derek F. Yates Nikolaos Malevris Inclusion, subsumption, JJ-paths, and structured path testing: a Redress. 199-213 2009 19 Softw. Test., Verif. Reliab. 3 http://dx.doi.org/10.1002/stvr.400 db/journals/stvr/stvr19.html#YatesM09