@inproceedings(astree,
 author       = "Bruno Blanchet and Patrick Cousot and Radhia Cousot and J{\'e}r{\^o}me Feret and Laurent Mauborgne and Antoine Min{\'e} and David Monniaux and Xavier Rival",
 year         = "2003",
 title        = "A static analyzer for large safety-critical software",
 editor       = "Ron Cytron and Rajiv Gupta",
 booktitle    = "PLDI",
 publisher    = "ACM",
 pages        = "196--207",
 url          = "http://doi.acm.org/10.1145/781131.781153",
)
@inproceedings(CokerHafiz-ICSE13,
 author       = "Zack Coker and Munawar Hafiz",
 year         = "2013",
 title        = "Program transformations to fix C integers",
 editor       = "David Notkin and Betty H. C. Cheng and Klaus Pohl",
 booktitle    = "ICSE",
 publisher    = "IEEE / ACM",
 pages        = "792--801",
 url          = "http://dl.acm.org/citation.cfm?id=2486892",
)
@inproceedings(CousotCousot77,
 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       = "Robert M. Graham and Michael A. Harrison and Ravi Sethi",
 booktitle    = "POPL",
 publisher    = "ACM",
 pages        = "238--252",
 url          = "http://doi.acm.org/10.1145/512950.512973",
)
@inproceedings(BarnettFahndrichLogozzo-SAC10,
 author       = "Manuel F{\"a}hndrich and Michael Barnett and Francesco Logozzo",
 year         = "2010",
 title        = "Embedded contract languages",
 editor       = "Sung Y. Shin and Sascha Ossowski and Michael Schumacher and Mathew J. Palakal and Chih-Cheng Hung",
 booktitle    = "SAC",
 publisher    = "ACM",
 pages        = "2103--2110",
 url          = "http://doi.acm.org/10.1145/1774088.1774531",
)
@inproceedings(FahndrichLogozzo10,
 author       = "Manuel F{\"a}hndrich and Francesco Logozzo",
 year         = "2010",
 title        = "Static Contract Checking with Abstract Interpretation",
 editor       = "Bernhard Beckert and Claude March{\'e}",
 booktitle    = "FoVeOOS",
 series       = "Lecture Notes in Computer Science",
 volume       = "6528",
 publisher    = "Springer",
 pages        = "10--30",
 url          = "http://dx.doi.org/10.1007/978-3-642-18070-5_2",
)
@proceedings(DBLP:conf/icse/2012,
 editor       = "Martin Glinz and Gail C. Murphy and Mauro Pezz{\`e}",
 year         = "2012",
 title        = "34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland",
 publisher    = "IEEE",
 url          = "http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6218989",
)
@inproceedings(LeGouesEtAl-ICSE12,
 author       = "Claire Le Goues and Michael Dewey-Vogt and Stephanie Forrest and Westley Weimer",
 year         = "2012",
 title        = "A systematic study of automated program repair: Fixing 55 out of 105 bugs for \$8 each",
 editor       = "Glinz",
 pages        = "3--13",
 url          = "http://dx.doi.org/10.1109/ICSE.2012.6227211",
)
@inproceedings(LogozzoBall-OOPSLA12,
 author       = "Francesco Logozzo and Thomas Ball",
 year         = "2012",
 title        = "Modular and verified automatic program repair",
 editor       = "Gary T. Leavens and Matthew B. Dwyer",
 booktitle    = "OOPSLA",
 publisher    = "ACM",
 pages        = "133--146",
 url          = "http://doi.acm.org/10.1145/2384616.2384626",
)
@inproceedings(LogozzoFahndrich08-2,
 author       = "Francesco Logozzo and Manuel F{\"a}hndrich",
 year         = "2008",
 title        = "Pentagons: a weakly relational abstract domain for the efficient validation of array accesses",
 editor       = "Roger L. Wainwright and Hisham Haddad",
 booktitle    = "SAC",
 publisher    = "ACM",
 pages        = "184--188",
 url          = "http://doi.acm.org/10.1145/1363686.1363736",
)
@inproceedings(Martel07,
 author       = "Matthieu Martel",
 year         = "2007",
 title        = "Semantics-Based Transformation of Arithmetic Expressions",
 editor       = "Hanne Riis Nielson and Gilberto Fil{\'e}",
 booktitle    = "SAS",
 series       = "Lecture Notes in Computer Science",
 volume       = "4634",
 publisher    = "Springer",
 pages        = "298--314",
 url          = "http://dx.doi.org/10.1007/978-3-540-74061-2_19",
)
@inproceedings(Martel09,
 author       = "Matthieu Martel",
 year         = "2009",
 title        = "Program transformation for numerical precision",
 editor       = "Germ{\'a}n Puebla and Germ{\'a}n Vidal",
 booktitle    = "PEPM",
 publisher    = "ACM",
 pages        = "101--110",
 url          = "http://doi.acm.org/10.1145/1480945.1480960",
)
@article(Mine-HOSC06,
 author       = "Antoine Min{\'e}",
 year         = "2006",
 title        = "The octagon abstract domain",
 journal      = "Higher-Order and Symbolic Computation",
 volume       = "19",
 number       = "1",
 pages        = "31--100",
 url          = "http://dx.doi.org/10.1007/s10990-006-8609-1",
)
@book(Intervals,
 author       = "Ramon E. Moore and R. Baker Kearfott and Michael J. Cloud",
 year         = "2009",
 title        = "Introduction to Interval Analysis",
 publisher    = "SIAM",
 doi          = "10.1137/1.9780898717716",
)
@book(MullerEtAl2010,
 author       = "Jean-Michel Muller and Nicolas Brisebarre and Florent de Dinechin and Claude-Pierre Jeannerod and Vincent Lef{\`e}vre and Guillaume Melquiond and Nathalie Revol and Damien Stehl{\'e} and Serge Torres",
 year         = "2010",
 title        = "Handbook of Floating-Point Arithmetic",
 publisher    = "Birkh{\"a}user",
 url          = "http://dx.doi.org/10.1007/978-0-8176-4705-6",
)
@inproceedings(PerkinsEtAl09,
 author       = "Jeff H. Perkins and Sunghun Kim and Samuel Larsen and Saman P. Amarasinghe and Jonathan Bachrach and Michael Carbin and Carlos Pacheco and Frank Sherwood and Stelios Sidiroglou and Greg Sullivan and Weng-Fai Wong and Yoav Zibin and Michael D. Ernst and Martin C. Rinard",
 year         = "2009",
 title        = "Automatically patching errors in deployed software",
 editor       = "Jeanna Neefe Matthews and Thomas E. Anderson",
 booktitle    = "SOSP",
 publisher    = "ACM",
 pages        = "87--102",
 url          = "http://doi.acm.org/10.1145/1629575.1629585",
)
@article(PezzeEtAl11,
 author       = "Mauro Pezz{\`e} and Martin C. Rinard and Westley Weimer and Andreas Zeller",
 year         = "2011",
 title        = "Self-Repairing Programs (Dagstuhl Seminar 11062)",
 journal      = "Dagstuhl Reports",
 volume       = "1",
 number       = "2",
 pages        = "16--29",
 url          = "http://dx.doi.org/10.4230/DagRep.1.2.16",
)
@inproceedings(SaminiEtAl-ICSE12,
 author       = "Hesam Samimi and Max Sch{\"a}fer and Shay Artzi and Todd D. Millstein and Frank Tip and Laurie J. Hendren",
 year         = "2012",
 title        = "Automated repair of HTML generation errors in PHP applications using string constraint solving",
 editor       = "Glinz",
 pages        = "277--287",
 url          = "http://dx.doi.org/10.1109/ICSE.2012.6227186",
)
@inproceedings(SankaranarayananEtAl-VMCAI05,
 author       = "Sriram Sankaranarayanan and Henny B. Sipma and Zohar Manna",
 year         = "2005",
 title        = "Scalable Analysis of Linear Systems Using Mathematical Programming",
 editor       = "Radhia Cousot",
 booktitle    = "VMCAI",
 series       = "Lecture Notes in Computer Science",
 volume       = "3385",
 publisher    = "Springer",
 pages        = "25--41",
 url          = "http://dx.doi.org/10.1007/978-3-540-30579-8_2",
)
@article(Schmidt09,
 author       = "David A. Schmidt",
 year         = "2009",
 title        = "Abstract Interpretation From a Denotational-semantics Perspective",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "249",
 pages        = "19--37",
 doi          = "10.1007/978-3-642-04164-8-14",
)
@inproceedings(WeiEtAl,
 author       = "Yi Wei and Yu Pei and Carlo A. Furia and Lucas Serpa Silva and Stefan Buchholz and Bertrand Meyer and Andreas Zeller",
 year         = "2010",
 title        = "Automated fixing of programs with contracts",
 editor       = "Paolo Tonella and Alessandro Orso",
 booktitle    = "ISSTA",
 publisher    = "ACM",
 pages        = "61--72",
 url          = "http://doi.acm.org/10.1145/1831708.1831716",
)
@inproceedings(WeimerEtAl09,
 author       = "Westley Weimer and ThanhVu Nguyen and Claire Le Goues and Stephanie Forrest",
 year         = "2009",
 title        = "Automatically finding patches using genetic programming",
 booktitle    = "ICSE",
 publisher    = "IEEE",
 pages        = "364--374",
 url          = "http://dx.doi.org/10.1109/ICSE.2009.5070536",
)