"Directed test generation for effective fault localization."

Shay Artzi et al. (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics