Rui Abreu Peter Zoeteweij Arjan J. C. van Gemund An observation-based model for fault localization. 64-70 2008 WODA http://doi.acm.org/10.1145/1401827.1401841 conf/issta/2008w db/conf/issta/woda2008.html#AbreuZG08