Specification-based program repair using SAT

DOI10.1007/978-3-642-19835-9_15MaRDI QIDQ3000646zbMATH OpenOpenAlexFDO

Authors Divya Gopinath, Muhammad Zubair Malik, Sarfraz Khurshid

Publication date 19 May 2011

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

Full work available at URL https://doi.org/10.1007/978-3-642-19835-9_15

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

• Sound and complete mutation-based program repair
• Program repair without regret
• Repair of Boolean Programs with an Application to C
• Computer Aided Verification
• Automated debugging based on a constraint model of the program and a test case

Cites work

• Computer Aided Verification
• Kodkod: A Relational Model Finder

Cited in

(9)

• Sound and complete mutation-based program repair
• Tools and Algorithms for the Construction and Analysis of Systems
• SMT-based verification of program changes through summary repair
• Program Repair for Hyperproperties
• Automated program repair using formal verification techniques
• Connecting program synthesis and reachability: automatic program repair using test-input generation
• SpyBug: automated bug detection in the configuration space of SAT solvers
• A study of symmetry breaking predicates and model counting
• Automated repair of heap-manipulating programs using deductive synthesis

Describes a project that uses

Uses Software

• Kodkod
• DaCapo
• TestEra

This page was built for publication: Specification-based program repair using SAT

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