Rajeev Alur, Rastislav Bodík, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak & Abhishek Udupa (2013):
Syntax-Guided Synthesis.
In: Formal Methods in Computer-Aided Design,
pp. 1–17,
doi:10.1109/FMCAD.2013.6679385.
Roderick Paul Bloem, Rolf Drechsler, Görschwin Fey, Alexander Finder, Georg Hofferek, Robert Könighofer, Jaan Raik, Urmas Repinski & Andre Sülflow (2012):
FoREnSiC — An Automatic Debugging Environment for C Programs.
In: Haifa Verification Conference,
pp. 260–265,
doi:10.1007/978-3-642-39611-3_24.
Edmund Clarke, Daniel Kroening & Flavio Lerda (2004):
A Tool for Checking ANSI-C Programs.
In: Tools and Algorithms for Construction and Analysis of Systems,
pp. 168–176,
doi:10.1007/978-3-540-24730-2_15.
Cormac Flanagan & Shaz Qadeer (2002):
Predicate Abstraction for Software Verification.
In: Symposium on Principles of Programming Languages,
pp. 191–202,
doi:10.1145/503272.503291.
Jad Hamza, Barbara Jobstmann & Viktor Kuncak (2010):
Synthesis for Regular Specifications over Unbounded Domains.
In: Formal Methods in Computer-Aided Design,
pp. 101–109.
Swen Jacobs, Viktor Kuncak & Philippe Suter (2013):
Reductions for Synthesis Procedures.
In: Verification, Model Checking and Abstract Interpretation,
pp. 88–107,
doi:10.1007/978-3-642-35873-9_8.
Manu Jose & Rupak Majumdar (2011):
Cause Clue Clauses: Error Localization using Maximum Satisfiability.
In: Programming Language Design and Implementation,
pp. 437–446,
doi:10.1145/1993316.1993550.
Robert Könighofer & Roderick Bloem (2011):
Automated Error Localization and Correction for Imperative Programs.
In: Formal Methods in Computer-Aided Design,
pp. 91–100.
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac & Philippe Suter (2010):
Complete Functional Synthesis.
In: Programming Language Design and Implementation,
pp. 316–329,
doi:10.1145/1806596.1806632.
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac & Philippe Suter (2013):
Functional Synthesis for Linear Arithmetic and Sets.
International Journal on Software Tools for Technology Transfer 15(5–6),
pp. 455–474,
doi:10.1007/978-3-662-44202-9_15.
Leonardo de Moura & Nikolaj Bjørner (2008):
Z3: An efficient SMT solver.
In: Tools and Algorithms for Construction and Analysis of Systems,
pp. 337–340,
doi:10.1007/978-3-540-78800-3_24.
Heinz Riener & Görschwin Fey (2012):
Model-Based Diagnosis versus Error Explanation.
In: Formal Methods and Models for Co-Design,
pp. 43–52,
doi:10.1109/MEMCOD.2012.6292299.