Majumdar, Rupak Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
Jose, M., & Majumdar, R. (2011). Cause Clue Clauses:Error Localization using Maximum Satisfiability. In PLDI’11: Proceedings of the 2011 ACM Conference on Programming Language Design and Implementation (pp. 437-446). New York, NY: ACM.