Specification-Based Program Repair Using SAT

DOI10.1007/978-3-642-19835-9_15zbMath1315.68092OpenAlexW1553534714MaRDI QIDQ3000646

Muhammad Zubair Malik, Divya Gopinath, 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

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

Related Items (3)

A Study of Symmetry Breaking Predicates and Model Counting ⋮ Automated repair of heap-manipulating programs using deductive synthesis ⋮ Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation

Uses Software

• Kodkod
• DaCapo
• TestEra

Cites Work

• Computer Aided Verification
• Kodkod: A Relational Model Finder

This page was built for publication: Specification-Based Program Repair Using SAT