Sound and complete mutation-based program repair

DOI10.1007/978-3-319-48989-6_36zbMath1427.68052OpenAlexW2556717355MaRDI QIDQ2281653

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

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) 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: Sound and complete mutation-based program repair