Number of items: 2.
Conference or Workshop Item (A Paper)
Jose, Manu and Majumdar, Rupak
(2011)
Bug-Assist: Assisting Fault Localization in ANSI-C Programs.
Jose, Manu and Majumdar, Rupak
(2011)
Cause Clue Clauses: Error Localization Using Maximum Satisfiability.
This list was generated on Fri Jul 11 16:10:08 2025 CEST.