@inproceedings(DBLP:conf/popl/AlurCMN05,
 author       = "Rajeev Alur and Pavol Cern{\'y} and P. Madhusudan and Wonhong Nam",
 year         = "2005",
 title        = "Synthesis of interface specifications for Java classes",
 editor       = "Palsberg and Abadi",
 pages        = "98--109",
 doi          = "10.1145/1040305.1040314",
 url          = "http://dl.acm.org/citation.cfm?id=1040305",
)
@article(angluin87,
 author       = "Dana Angluin",
 year         = "1987",
 title        = "Learning Regular Sets from Queries and Counterexamples",
 journal      = "Inf. Comput.",
 volume       = "75",
 number       = "2",
 pages        = "87--106",
 doi          = "10.1016/0890-5401(87)90052-6",
)
@inproceedings(DBLP:conf/cav/BeyerHS07,
 author       = "Dirk Beyer and Thomas A. Henzinger and Vasu Singh",
 year         = "2007",
 title        = "Algorithms for Interface Synthesis",
 editor       = "Damm and Hermanns",
 pages        = "4--19",
 doi          = "10.1007/978-3-540-73368-3\_4",
)
@inproceedings(magic,
 author       = "Sagar Chaki and Edmund M. Clarke and Alex Groce and Somesh Jha and Helmut Veith",
 year         = "2003",
 title        = "Modular Verification of Software Components in C",
 booktitle    = "ICSE",
 pages        = "385--395",
 doi          = "10.1109/ICSE.2003.1201217",
)
@article(magic2,
 author       = "Sagar Chaki and Jo{\"e}l Ouaknine and Karen Yorav and Edmund M. Clarke",
 year         = "2003",
 title        = "Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "89",
 number       = "3",
 pages        = "417--432",
 doi          = "10.1016/S1571-0661(05)80004-0",
)
@proceedings(DBLP:conf/fase/2009,
 editor       = "Marsha Chechik and Martin Wirsing",
 year         = "2009",
 title        = "Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings",
 series       = "Lecture Notes in Computer Science",
 volume       = "5503",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-00593-0",
)
@inproceedings(DBLP:conf/cav/ClarkeGJLV00,
 author       = "Edmund M. Clarke and Orna Grumberg and Somesh Jha and Yuan Lu and Helmut Veith",
 year         = "2000",
 title        = "Counterexample-Guided Abstraction Refinement",
 editor       = "Emerson and Sistla",
 pages        = "154--169",
 doi          = "10.1007/10722167\_15",
)
@inproceedings(cobleigh03,
 author       = "Jamieson M. Cobleigh and Dimitra Giannakopoulou and Corina S. P\u {a}s\u {a}reanu",
 year         = "2003",
 title        = "Learning Assumptions for Compositional Verification",
 editor       = "Garavel and Hatcliff",
 pages        = "331--346",
 doi          = "10.1007/3-540-36577-X\_24",
)
@inproceedings(bandera,
 author       = "James C. Corbett and Matthew B. Dwyer and John Hatcliff and Shawn Laubach and Corina S. Pasareanu and Robby and Hongjun Zheng",
 year         = "2000",
 title        = "Bandera: extracting finite-state models from Java source code",
 booktitle    = "ICSE",
 pages        = "439--448",
 doi          = "10.1145/337180.337234",
)
@inproceedings(DBLP:conf/popl/CousotC77,
 author       = "Patrick Cousot and Radhia Cousot",
 year         = "1977",
 title        = "Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints",
 editor       = "Graham",
 pages        = "238--252",
 doi          = "10.1145/512950.512973",
 url          = "http://dl.acm.org/citation.cfm?id=512950",
)
@proceedings(DBLP:conf/cav/2007,
 editor       = "Werner Damm and Holger Hermanns",
 year         = "2007",
 title        = "Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings",
 series       = "Lecture Notes in Computer Science",
 volume       = "4590",
 publisher    = "Springer",
)
@proceedings(DBLP:conf/cav/2000,
 editor       = "E. Allen Emerson and A. Prasad Sistla",
 year         = "2000",
 title        = "Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings",
 series       = "Lecture Notes in Computer Science",
 volume       = "1855",
 publisher    = "Springer",
)
@proceedings(DBLP:conf/tacas/2003,
 editor       = "Hubert Garavel and John Hatcliff",
 year         = "2003",
 title        = "Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings",
 series       = "Lecture Notes in Computer Science",
 volume       = "2619",
 publisher    = "Springer",
)
@article(DBLP:journals/fmsd/GiannakopoulouP08,
 author       = "Dimitra Giannakopoulou and Corina S. P\u {a}s\u {a}reanu",
 year         = "2008",
 title        = "Special issue on learning techniques for compositional reasoning",
 journal      = "Formal Methods in System Design",
 volume       = "32",
 number       = "3",
 pages        = "173--174",
 doi          = "10.1007/s10703-008-0054-9",
)
@inproceedings(DBLP:conf/fase/GiannakopoulouP09,
 author       = "Dimitra Giannakopoulou and Corina S. P\u {a}s\u {a}reanu",
 year         = "2009",
 title        = "Interface Generation and Compositional Verification in JavaPathfinder",
 editor       = "Chechik and Wirsing",
 pages        = "94--108",
 doi          = "10.1007/978-3-642-00593-0\_7",
)
@inproceedings(DBLP:conf/sas/GiannakopoulouRR12,
 author       = "Dimitra Giannakopoulou and Zvonimir Rakamaric and Vishwanath Raman",
 year         = "2012",
 title        = "Symbolic Learning of Component Interfaces",
 editor       = "Min{\'e} and Schmidt",
 pages        = "248--264",
 doi          = "10.1007/978-3-642-33125-1\_18",
)
@proceedings(DBLP:conf/popl/77,
 editor       = "Robert M. Graham and Michael A. Harrison and Ravi Sethi",
 year         = "1977",
 title        = "Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, California, USA, January 1977",
 publisher    = "ACM",
 url          = "http://dl.acm.org/citation.cfm?id=512950",
)
@proceedings(DBLP:conf/padl/2007,
 editor       = "Michael Hanus",
 year         = "2007",
 title        = "Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007",
 series       = "Lecture Notes in Computer Science",
 volume       = "4354",
 publisher    = "Springer",
)
@inproceedings(blast,
 author       = "Thomas A. Henzinger and Ranjit Jhala and Rupak Majumdar",
 year         = "2004",
 title        = "Race checking by context inference",
 booktitle    = "PLDI",
 pages        = "1--13",
 doi          = "10.1145/996841.996844",
)
@inproceedings(DBLP:conf/sigsoft/HenzingerJM05,
 author       = "Thomas A. Henzinger and Ranjit Jhala and Rupak Majumdar",
 year         = "2005",
 title        = "Permissive interfaces",
 editor       = "Wermelinger and Gall",
 pages        = "31--40",
 doi          = "10.1145/1081706.1081713",
)
@article(jones83a,
 author       = "Cliff B. Jones",
 year         = "1983",
 title        = "Tentative Steps Toward a Development Method for Interfering Programs",
 journal      = "ACM Trans. Program. Lang. Syst.",
 volume       = "5",
 number       = "4",
 pages        = "596--619",
 doi          = "10.1145/69575.69577",
)
@proceedings(DBLP:conf/sas/2012,
 editor       = "Antoine Min{\'e} and David Schmidt",
 year         = "2012",
 title        = "Static Analysis - 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings",
 series       = "Lecture Notes in Computer Science",
 volume       = "7460",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-33125-1",
)
@inproceedings(DBLP:conf/cav/NamjoshiK00,
 author       = "Kedar S. Namjoshi and Robert P. Kurshan",
 year         = "2000",
 title        = "Syntactic Program Transformations for Automatic Abstraction",
 editor       = "Emerson and Sistla",
 pages        = "435--449",
 doi          = "10.1007/10722167\_33",
)
@proceedings(DBLP:conf/popl/2005,
 editor       = "Jens Palsberg and Mart\'{\i }n Abadi",
 year         = "2005",
 title        = "Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005",
 publisher    = "ACM",
 url          = "http://dl.acm.org/citation.cfm?id=1040305",
)
@inbook(pnueli84,
 author       = "A. Pnueli",
 year         = "1985",
 title        = "In transition from global to modular temporal reasoning about programs",
 pages        = "123--144",
 publisher    = "Springer-Verlag New York, Inc.",
 address      = "New York, NY, USA",
 doi          = "10.1007/978-3-642-82453-1\_5",
 url          = "http://portal.acm.org/citation.cfm?id=101969.101977",
)
@inproceedings(DBLP:conf/padl/PodelskiR07,
 author       = "Andreas Podelski and Andrey Rybalchenko",
 year         = "2007",
 title        = "ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement",
 editor       = "Hanus",
 pages        = "245--259",
 doi          = "10.1007/978-3-540-69611-7\_16",
)
@article(thesis,
 author       = "Corina S. P\u {a}s\u {a}reanu",
 year         = "2001",
 title        = "Abstraction and Modular Reasoning for the Verification of Software",
 journal      = "PhD Thesis, Kansas State University",
)
@article(DBLP:journals/fmsd/PasareanuGBCB08,
 author       = "Corina S. P\u {a}s\u {a}reanu and Dimitra Giannakopoulou and Mihaela Gheorghiu Bobaru and Jamieson M. Cobleigh and Howard Barringer",
 year         = "2008",
 title        = "Learning to divide and conquer: applying the {L}* algorithm to automate assume-guarantee reasoning",
 journal      = "Formal Methods in System Design",
 volume       = "32",
 number       = "3",
 pages        = "175--205",
 doi          = "10.1007/s10703-008-0049-6",
)
@article(rivest93,
 author       = "Ronald L. Rivest and Robert E. Schapire",
 year         = "1993",
 title        = "Inference of Finite Automata Using Homing Sequences",
 journal      = "Inf. Comput.",
 volume       = "103",
 number       = "2",
 pages        = "299--347",
 doi          = "10.1006/inco.1993.1021",
)
@inproceedings(cav2010,
 author       = "Rishabh Singh and Dimitra Giannakopoulou and Corina S. P\u {a}s\u {a}reanu",
 year         = "2010",
 title        = "Learning Component Interfaces with May and Must Abstractions",
 editor       = "Touili",
 pages        = "527--542",
 doi          = "10.1007/978-3-642-14295-6\_45",
)
@proceedings(DBLP:conf/cav/2010,
 editor       = "Tayssir Touili and Byron Cook and Paul Jackson",
 year         = "2010",
 title        = "Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings",
 series       = "Lecture Notes in Computer Science",
 volume       = "6174",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-14295-6",
)
@proceedings(DBLP:conf/sigsoft/2005,
 editor       = "Michel Wermelinger and Harald Gall",
 year         = "2005",
 title        = "Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005",
 publisher    = "ACM",
)