Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation

DOI10.1007/978-3-662-54577-5_17zbMath1452.68052arXiv1903.11765OpenAlexW2548645575MaRDI QIDQ3303900

Westley Weimer, Deepak Kapur, Thanhvu H. Nguyen, Stephanie Forrest

Publication date: 5 August 2020

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1903.11765

zbMATH Keywords

program synthesisprogram verificationautomated program repairprogram reachabilityreduction prooftest-input generation

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Automated program repair using formal verification techniques

Uses Software

• CUTE
• BLAST
• SLAM
• KLEE
• DART
• JPF-SE
• KLOVER
• Prophet
• SemFix
• CIL
• jCUTE
• Angelix

Cites Work

• Unnamed Item
• Specification-Based Program Repair Using SAT
• From program verification to program synthesis
• Automating string processing in spreadsheets using input-output examples
• Computer Aided Verification
• Classes of Recursively Enumerable Sets and Their Decision Problems

This page was built for publication: Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation