David Notkin Mauro Pezzè Introduction to the special section from the ACM international symposium on software testing and analysis (ISSTA 2006). 2008 17 ACM Trans. Softw. Eng. Methodol. 2 http://doi.acm.org/10.1145/1348250.1348252 db/journals/tosem/tosem17.html#NotkinP08