Manu Jose, Rupak Majumdar. Cause clue clauses: error localization using maximum satisfiability. In Mary W. Hall, David A. Padua, editors, Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011. pages 437-446, ACM, 2011. [doi]
Abstract is missing.