Using likely invariants for automated software fault localization.

Swarup Kumar Sahoo, John Criswell, Chase Geigle, Vikram S. Adve

Browse the full ASPLOS paper archive.