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