"Systematic bug finding and fault localization enhanced with input data ..."

Jared D. DeMott, Richard J. Enbody, William F. Punch (2013)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics