"LocFaults: a new flow-driven and constraint-based error localization approach."

Mohammed Bekkouche, Hélène Collavizza, Michel Rueher (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics