Automatic software fault localization using generic program invariants.

Rui Abreu, Alberto Gonzlez, Peter Zoeteweij, Arjan J. C. van Gemund

Browse the full SAC paper archive.