vix.ing · top · new · best · stats · spec

Manu Jose

  1. Cause Clue Clauses: Error Localization using Maximum Satisfiability
    2010/11/06 by Manu Jose, Jose, Manu, Rupak Majumdar +1 · 2 citations
    Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques