Phil McMinn David Binkley Mark Harman Empirical evaluation of a nesting testability transformation for evolutionary testing. 2009 18 ACM Trans. Softw. Eng. Methodol. 3 http://doi.acm.org/10.1145/1525880.1525884 db/journals/tosem/tosem18.html#McMinnBH09