Must fault localization for program repair

DOI10.1007/978-3-030-53291-8_33zbMath1478.68058OpenAlexW3042730451MaRDI QIDQ2226765

Bat-Chen Rothenberg, Orna Grumberg

Publication date: 9 February 2021

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)

Related Items (2)

Automated program repair using formal verification techniques ⋮ Toward a theory of program repair

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