@inproceedings{Abreu:2008.woda,
	author          = {Rui Abreu and Peter Zoeteweij and Arjan J.C. van Gemund},
	title           = {An Observation-based Model for Fault Localization},
	booktitle       = {6th Workshop on Dynamic Analysis (WODA'08)},
	publisher       = {ACM Press},
	year            = {2008},
	month           = {July},
	editor          = {Ben Liblit and Atanas Rountev},
	pages           = {64-70},
	isbn            = {978-1-60558-054-8},
	project         = {TRADER},
	topic           = {Model-Based Diagnosis},
	group           = {SE}
}