Automated program repair using formal verification techniques

DOI10.1007/978-3-031-22337-2_25zbMATH Open1528.68079OpenAlexW4312620143MaRDI QIDQ6113992FDOQ6113992

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (3)

• Program Repair for Hyperproperties
• SMT-based verification of program changes through summary repair
• Title not available (Why is that?)

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)