@article(angluin1980inductive,
 author       = "Dana Angluin",
 year         = "1980",
 title        = "{Inductive Inference of Formal Languages from Positive Data}",
 journal      = "Information and Control",
 volume       = "45",
 pages        = "117--135",
 doi          = "10.1016/S0019-9958(80)90285-5",
)
@article(angluin88,
 author       = "Dana Angluin",
 year         = "1988",
 title        = "Queries and concept learning",
 journal      = "Machine Learning",
 volume       = "2",
 number       = "4",
 pages        = "319--342",
 doi          = "10.1023/A:1022821128753",
)
@inproceedings(Bansal06,
 author       = "Sorav Bansal and Alex Aiken",
 year         = "2006",
 title        = "Automatic Generation of Peephole Superoptimizers",
 booktitle    = "Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems",
 series       = "ASPLOS XII",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "394--403",
 doi          = "10.1145/1168857.1168906",
)
@inproceedings(bansal08,
 author       = "Sorav Bansal and Alex Aiken",
 year         = "2008",
 title        = "Binary Translation Using Peephole Superoptimizers",
 booktitle    = "OSDI",
 pages        = "177--192",
)
@article(blum75,
 author       = "L. Blum and M. Blum",
 year         = "1975",
 title        = "{Toward a mathematical theory of inductive inference}",
 journal      = "Information and Control",
 volume       = "28",
 number       = "2",
 pages        = "125--155",
 doi          = "10.1016/s0019-9958(75)90261-2",
)
@inproceedings(Blumer86,
 author       = "A Blumer and A Ehrenfeucht and D Haussler and M Warmuth",
 year         = "1986",
 title        = "Classifying Learnable Geometric Concepts with the Vapnik-Chervonenkis Dimension",
 booktitle    = "Proceedings of the Eighteenth Annual ACM Symposium on Theory of Computing",
 series       = "STOC '86",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "273--282",
 doi          = "10.1145/12130.12158",
)
@inproceedings(chatterjee-AUAI05,
 author       = "Krishnendu Chatterjee and Thomas A. Henzinger and Ranjit Jhala and Rupak Majumdar",
 year         = "2005",
 title        = "Counterexample-guided Planning.",
 booktitle    = "UAI",
 publisher    = "AUAI Press",
 pages        = "104--111",
)
@article(ChenSMV10,
 author       = "Yibin Chen and Sean Safarpour and João Marques-Silva and Andreas G. Veneris",
 year         = "2010",
 title        = "Automated Design Debugging With Maximum Satisfiability.",
 journal      = "IEEE Trans. on CAD of Integrated Circuits and Systems",
 volume       = "29",
 number       = "11",
 pages        = "1804--1817",
 doi          = "10.1109/TCAD.2010.2061270",
)
@inproceedings(Cornuejols93,
 author       = "A. Cornuejols",
 year         = "1993",
 title        = "Getting Order Independence in Incremental Learning",
 booktitle    = "Proc.\ of the 1993 AAAI Spring Symposium on Training Issues in Incremental Learning",
 address      = "Stanford, California",
 pages        = "42--52",
)
@article(feldman72-ic,
 author       = "Jerome A. Feldman",
 year         = "1972",
 title        = "Some Decidability Results on Grammatical Inference and Complexity",
 journal      = "Information and Control",
 volume       = "20",
 number       = "3",
 pages        = "244--262",
 doi          = "10.1016/S0019-9958(72)90424-X",
)
@article(gold67limit,
 author       = "E. Mark Gold",
 year         = "1967",
 title        = "Language identification in the limit",
 journal      = "Information and Control",
 volume       = "10",
 number       = "5",
 pages        = "447--474",
 doi          = "10.1016/S0019-9958(67)91165-5",
)
@article(Groce06,
 author       = "Alex Groce and Sagar Chaki and Daniel Kroening and Ofer Strichman",
 year         = "2006",
 title        = "Error Explanation with Distance Metrics",
 journal      = "Int. J. Softw. Tools Technol. Transf.",
 volume       = "8",
 number       = "3",
 pages        = "229--247",
 doi          = "10.1007/s10009-005-0202-0",
)
@inproceedings(jha-11,
 author       = "Sumit Gulwani and Susmit Jha and Ashish Tiwari and Ramarathnam Venkatesan",
 year         = "2011",
 title        = "Synthesis of loop-free programs",
 booktitle    = "PLDI",
 pages        = "62--73",
 doi          = "10.1145/1993498.1993506",
)
@inproceedings(Haussler86,
 author       = "David Haussler",
 year         = "1986",
 title        = "Quantifying the Inductive Bias in Concept Learning (Extended Abstract).",
 editor       = "Tom Kehler",
 booktitle    = "AAAI",
 publisher    = "Morgan Kaufmann",
 pages        = "485--489",
 url          = "http://www.aaai.org/Library/AAAI/1986/aaai86-081.php",
)
@inproceedings(hegedus-colt94,
 author       = "Tibor Heged\H {u}s",
 year         = "1994",
 title        = "Geometrical Concept Learning and Convex Polytopes",
 series       = "COLT '94",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "228--236",
 doi          = "10.1145/180139.181124",
)
@inproceedings(henzinger-icalp03,
 author       = "Thomas A. Henzinger and Ranjit Jhala and Rupak Majumdar",
 year         = "2003",
 title        = "Counterexample-guided Control",
 series       = "ICALP'03",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "886--902",
)
@book(jain1999systems,
 author       = "Sanjay Jain",
 year         = "1999",
 title        = "Systems that learn: an introduction to learning theory",
 publisher    = "MIT press",
)
@article(JantkeB81,
 author       = "Klaus P. Jantke and Hans-Rainer Beick",
 year         = "1981",
 title        = "Combining Postulates of Naturalness in Inductive Inference.",
 journal      = "Elektronische Informationsverarbeitung und Kybernetik",
 volume       = "17",
 number       = "8/9",
 pages        = "465--484",
)
@inproceedings(jha-icse10,
 author       = "Susmit Jha and Sumit Gulwani and Sanjit A. Seshia and Ashish Tiwari",
 year         = "2010",
 title        = "Oracle-guided Component-based Program Synthesis",
 series       = "ICSE '10",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "215--224",
 doi          = "10.1145/1806799.1806833",
)
@inproceedings(Joshi02,
 author       = "Rajeev Joshi and Greg Nelson and Keith Randall",
 year         = "2002",
 title        = "Denali: A Goal-directed Superoptimizer",
 booktitle    = "Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation",
 series       = "PLDI '02",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "304--314",
 doi          = "10.1145/512529.512566",
)
@inproceedings(Kearns-92,
 author       = "Michael J. Kearns and Robert E. Schapire and Linda M. Sellie",
 year         = "1992",
 title        = "Toward Efficient Agnostic Learning",
 booktitle    = "Proceedings of the Fifth Annual Workshop on Computational Learning Theory",
 series       = "COLT '92",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "341--352",
 doi          = "10.1145/130385.130424",
)
@book(lange2000algorithmic,
 author       = "S. Lange",
 year         = "2000",
 title        = "Algorithmic Learning of Recursive Languages",
 publisher    = "Mensch-und-Buch-Verlag",
)
@article(Lange199688,
 author       = "Steffen Lange and Thomas Zeugmann",
 year         = "1996",
 title        = "Incremental Learning from Positive Data",
 journal      = "Journal of Computer and System Sciences",
 volume       = "53",
 number       = "1",
 pages        = "88 -- 103",
 doi          = "10.1006/jcss.1996.0051",
)
@article(Lange08,
 author       = "Steffen Lange and Thomas Zeugmann and Sandra Zilles",
 year         = "2008",
 title        = "Learning Indexed Families of Recursive Languages from Positive Data: A Survey",
 journal      = "Theor. Comput. Sci.",
 volume       = "397",
 number       = "1-3",
 pages        = "194--232",
 doi          = "10.1016/j.tcs.2008.02.030",
)
@article(Manna80,
 author       = "Zohar Manna and Richard Waldinger",
 year         = "1980",
 title        = "A Deductive Approach to Program Synthesis",
 journal      = "ACM Trans. Program. Lang. Syst.",
 volume       = "2",
 number       = "1",
 pages        = "90--121",
 doi          = "10.1145/357084.357090",
)
@article(Manna92fundamentalsof,
 author       = "Zohar Manna and Richard Waldinger",
 year         = "1992",
 title        = "Fundamentals Of Deductive Program Synthesis",
 journal      = "IEEE Transactions on Software Engineering",
 volume       = "18",
 pages        = "674--704",
 doi          = "10.1109/32.153379",
)
@article(Massalin87,
 author       = "Henry Massalin",
 year         = "1987",
 title        = "Superoptimizer: A Look at the Smallest Program",
 journal      = "SIGARCH Comput. Archit. News",
 volume       = "15",
 number       = "5",
 pages        = "122--126",
 doi          = "10.1145/36177.36194",
)
@incollection(antonio13,
 author       = "Antonio Morgado and Mark Liffiton and Joao Marques-Silva",
 year         = "2013",
 title        = "MaxSAT-Based MCS Enumeration",
 editor       = "Armin Biere and Amir Nahir and Tanja Vos",
 booktitle    = "Hardware and Software: Verification and Testing",
 series       = "Lecture Notes in Computer Science",
 volume       = "7857",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "86--101",
 doi          = "10.1007/978-3-642-39611-3_13",
)
@article(feldman-ml91,
 author       = "Sara Porat and JeromeA. Feldman",
 year         = "1991",
 title        = "Learning automata from ordered examples",
 journal      = "Machine Learning",
 volume       = "7",
 number       = "2-3",
 pages        = "109--138",
 doi          = "10.1007/BF00114841",
)
@book(rogers-book87,
 author       = "Hartley Rogers, Jr.",
 year         = "1987",
 title        = "Theory of Recursive Functions and Effective Computability",
 publisher    = "MIT Press",
 address      = "Cambridge, MA, USA",
)
@book(shapiro1982algorithmic,
 author       = "Ehud Y Shapiro",
 year         = "1982",
 title        = "Algorithmic Program Debugging.",
 publisher    = "MIT Press",
)
@phdthesis(solar-thesis08,
 author       = "Armando Solar Lezama",
 year         = "2008",
 title        = "Program Synthesis By Sketching",
 school       = "EECS Department, University of California, Berkeley",
)
@inproceedings(asplos06,
 author       = "Armando Solar-Lezama and Liviu Tancau and Rastislav Bodík and Sanjit A. Seshia and Vijay A. Saraswat",
 year         = "2006",
 title        = "Combinatorial sketching for finite programs.",
 booktitle    = "ASPLOS",
 pages        = "404--415",
 doi          = "10.1145/1168857.1168907",
)
@article(Srivastava-sigplan10,
 author       = "Saurabh Srivastava and Sumit Gulwani and Jeffrey S. Foster",
 year         = "2010",
 title        = "From Program Verification to Program Synthesis",
 journal      = "SIGPLAN Not.",
 volume       = "45",
 number       = "1",
 pages        = "313--326",
 doi          = "10.1145/1707801.1706337",
)
@incollection(wang-06,
 author       = "Chao Wang and Zijiang Yang and Franjo Ivan\v {c}i\'{c} and Aarti Gupta",
 year         = "2006",
 title        = "{Whodunit? Causal Analysis for Counterexamples}",
 editor       = "Susanne Graf and Wenhui Zhang",
 booktitle    = "Automated Technology for Verification and Analysis",
 series       = "Lecture Notes in Computer Science",
 volume       = "4218",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "82--95",
 doi          = "10.1007/11901914\_9",
)
@article(wiehagen76,
 author       = "Rolf Wiehagen",
 year         = "1976",
 title        = "limit detection of recursive functions by specific strategies",
 journal      = "Electronic Information Processing and Cybernetics",
 volume       = "12",
 number       = "1/2",
 pages        = "93--99",
)
@inproceedings(Wiehagen90,
 author       = "Rolf Wiehagen",
 year         = "1990",
 title        = "A Thesis in Inductive Inference.",
 editor       = "Jürgen Dix and Klaus P. Jantke and Peter H. Schmitt",
 booktitle    = "Nonmonotonic and Inductive Logic",
 series       = "Lecture Notes in Computer Science",
 volume       = "543",
 publisher    = "Springer",
 pages        = "184--207",
 doi          = "10.1007/BFb0023324",
)