Automated program repair using formal verification techniques

DOI10.1007/978-3-031-22337-2_25MaRDI QIDQ6113992zbMATH OpenOpenAlexFDO

Authors Hadar Frenkel, Orna Grumberg, Bat-Chen Rothenberg, Sarai Sheinvald

Publication date 10 August 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-22337-2_25

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Automatic program repair using formal verification and expression templates
• Automated program verification
• Specification-based program repair using SAT
• Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs
• scientific article; zbMATH DE number 778420

Cites work

• Assume, guarantee or repair
• Automated assumption generation for compositional verification
• Automated circular assume-guarantee reasoning
• Automated circular assume-guarantee reasoning with N-way decomposition and alphabet refinement
• Automatic program repair using formal verification and expression templates
• Computer Aided Verification
• Connecting program synthesis and reachability: automatic program repair using test-input generation
• scientific article; zbMATH DE number 1670774 (Why is no real title available?)
• scientific article; zbMATH DE number 3926220 (Why is no real title available?)
• scientific article; zbMATH DE number 3935016 (Why is no real title available?)
• scientific article; zbMATH DE number 1283472 (Why is no real title available?)
• scientific article; zbMATH DE number 1956591 (Why is no real title available?)
• Learning Minimal Separating DFA’s for Compositional Verification
• Learning regular sets from queries and counterexamples
• Learning to divide and conquer: applying the \(L^*\) algorithm to automate assume-guarantee reasoning
• Maximal specification synthesis
• Must fault localization for program repair
• Optimized L*-Based Assume-Guarantee Reasoning
• Program repair without regret
• Proofs of Networks of Processes
• Refining Interface Alphabets for Compositional Verification
• Sound and complete mutation-based program repair
• Synthesis of circular compositional program proofs via abduction
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(3)

• Program Repair for Hyperproperties
• scientific article; zbMATH DE number 778420 (Why is no real title available?)
• SMT-based verification of program changes through summary repair

This page was built for publication: Automated program repair using formal verification techniques

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