Sound and complete mutation-based program repair

DOI10.1007/978-3-319-48989-6_36MaRDI QIDQ2281653zbMATH OpenOpenAlexFDO

Authors Bat-Chen Rothenberg, Orna Grumberg

Publication date 3 January 2020

Full work available at URL https://doi.org/10.1007/978-3-319-48989-6_36

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Program repair without regret
• Specification-based program repair using SAT
• Repair of Boolean Programs with an Application to C
• Must fault localization for program repair
• Computer Aided Verification

Cited in

(9)

• Repairing decision-making programs under uncertainty
• Must fault localization for program repair
• Automated repair of heap-manipulating programs using deductive synthesis
• Automatic program repair using formal verification and expression templates
• Specification-based program repair using SAT
• Assume, guarantee or repair
• Repair of Boolean Programs with an Application to C
• Automated program repair using formal verification techniques
• Toward a theory of program repair

This page was built for publication: Sound and complete mutation-based program repair

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2281653)