Active Bibliography

REASONING AND PROGRAM SYNTHESIS – Saurabh Srivastava, Jeffrey S. Foster
1 Satisfiability-Based Program REASONING AND PROGRAM SYNTHESIS – Saurabh Srivastava - 2010
Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Template-based Program Verification and Program Synthesis – Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
21 Abstraction-Guided Synthesis of Synchronization – Martin Vechev, Eran Yahav, Greta Yorsh
27 Finding and fixing faults – Stefan Staber, Roderick Bloem - 2005
PINS: Path-based Inductive Synthesis ∗ – Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster
15 Path-based Inductive Synthesis for Program Inversion – Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster
1 Program Repair without Regret – Christian Von Essen
Game Theory for Reliable Computer Systems – Barbara Jobstmann - 2009
Signature Page............................................ – Patrick Rondon - 2012
3 Formal Methods in VLSI System Design – Adnan Aziz - 1996
20 Program Verification using Templates over Predicate Abstraction – Saurabh Srivastava, Sumit Gulwani
FMSD manuscript No. (will be inserted by the editor) Efficiently Solving Quantified Bit-Vector Formulas – Christoph M. Wintersteiger Youssef, Hamadi Leonardo De Moura, Christoph M. Wintersteiger
13 Efficiently Solving Quantified Bit-Vector Formulas – Christoph M. Wintersteiger, Youssef Hamadi, Leonardo De Moura
6 Whodunit? Causal analysis for counterexamples – Chao Wang, Zijiang Yang, Aarti Gupta
COmplete Program Synthesis for . . . – Mikaël Mayer - 2010
2 Executing Specifications using Synthesis and Constraint Solving – Viktor Kuncak, Etienne Kneuss
11 Evolutionary repair of faulty software – Andrea Arcuri - 2009
7 Program analysis via satisfiability modulo path programs – William R. Harris, Sriram Sankaranarayanan, Franjo Ivančić, Aarti Gupta - 2010