Toward a theory of program repair
From MaRDI portal
Publication:6171820
DOI10.1007/s00236-023-00438-4MaRDI QIDQ6171820
Matias Martinez, Besma Khaireddine, Aleksandr Zakharchenko, Ali Milli
Publication date: 16 August 2023
Published in: Acta Informatica (Search for Journal in Brave)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the lattice of specifications: Applications to a specification methodology
- Convergence: integrating termination and abort-freedom
- Must fault localization for program repair
- Sound and complete mutation-based program repair
- Relational Mathematics for Relative Correctness
- The B-Book
- Relational Methods in Computer Science
- Error Invariants
- Assume, Guarantee or Repair
- Instruction Sequence Faults with Formal Change Justification
- On Faults and Faulty Programs
- An axiomatic basis for computer programming
- Toward a theory of program repair
