@inproceedings{Abreu:2008.sac,
	author          = {Rui Abreu and Alberto Gonzalez and Peter Zoeteweij and Arjan J.C. van Gemund},
	title           = {Automatic Software Fault Localization using Generic Program Invariants},
	booktitle       = {23rd Annual ACM Symposium on Applied Computing (SAC'08)},
	publisher       = {ACM Press},
	year            = {2008},
	month           = {March},
	editor          = {Roger L. Wainwright and Hisham Haddad},
	pages           = {712-717},
	isbn            = {1-59593-753-7},
	project         = {TRADER,msc-thesis-project},
	topic           = {Software Inspection},
	group           = {SE}
}