Must fault localization for program repair

DOI10.1007/978-3-030-53291-8_33MaRDI QIDQ2226765zbMATH OpenOpenAlexFDO

Authors Bat-Chen Rothenberg, Orna Grumberg

Publication date 9 February 2021

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-53291-8_33

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Sound and complete mutation-based program repair
• Finding and fixing faults
• On faults and faulty programs
• Correct Hardware Design and Verification Methods
• Computer Aided Verification

Cited in

(6)

• Sound and complete mutation-based program repair
• Software fault localization using elastic net: A new statistical approach
• On faults and faulty programs
• Automated program repair using formal verification techniques
• Toward a theory of program repair
• Program repair without regret

This page was built for publication: Must fault localization for program repair

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