Cause clue clauses: error localization using maximum satisfiability.

Manu Jose, Rupak Majumdar

Browse the full PLDI paper archive.