Rui Abreu Alberto González 0002 Peter Zoeteweij Arjan J. C. van Gemund Automatic software fault localization using generic program invariants. 712-717 2008 SAC http://doi.acm.org/10.1145/1363686.1363855 conf/sac/2008 db/conf/sac/sac2008.html#AbreuGZG08