Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux & Xavier Rival (2003):
A static analyzer for large safety-critical software.
In: Ron Cytron & Rajiv Gupta: PLDI.
ACM,
pp. 196–207.
Available at http://doi.acm.org/10.1145/781131.781153.
Zack Coker & Munawar Hafiz (2013):
Program transformations to fix C integers.
In: David Notkin, Betty H. C. Cheng & Klaus Pohl: ICSE.
IEEE / ACM,
pp. 792–801.
Available at http://dl.acm.org/citation.cfm?id=2486892.
Patrick Cousot & Radhia Cousot (1977):
Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints.
In: Robert M. Graham, Michael A. Harrison & Ravi Sethi: POPL.
ACM,
pp. 238–252.
Available at http://doi.acm.org/10.1145/512950.512973.
Manuel Fähndrich, Michael Barnett & Francesco Logozzo (2010):
Embedded contract languages.
In: Sung Y. Shin, Sascha Ossowski, Michael Schumacher, Mathew J. Palakal & Chih-Cheng Hung: SAC.
ACM,
pp. 2103–2110.
Available at http://doi.acm.org/10.1145/1774088.1774531.
Manuel Fähndrich & Francesco Logozzo (2010):
Static Contract Checking with Abstract Interpretation.
In: Bernhard Beckert & Claude Marché: FoVeOOS,
Lecture Notes in Computer Science 6528.
Springer,
pp. 10–30.
Available at http://dx.doi.org/10.1007/978-3-642-18070-5_2.
Claire Le Goues, Michael Dewey-Vogt, Stephanie Forrest & Westley Weimer (2012):
A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each.
In: Glinz,
pp. 3–13.
Available at http://dx.doi.org/10.1109/ICSE.2012.6227211.
Francesco Logozzo & Thomas Ball (2012):
Modular and verified automatic program repair.
In: Gary T. Leavens & Matthew B. Dwyer: OOPSLA.
ACM,
pp. 133–146.
Available at http://doi.acm.org/10.1145/2384616.2384626.
Francesco Logozzo & Manuel Fähndrich (2008):
Pentagons: a weakly relational abstract domain for the efficient validation of array accesses.
In: Roger L. Wainwright & Hisham Haddad: SAC.
ACM,
pp. 184–188.
Available at http://doi.acm.org/10.1145/1363686.1363736.
Matthieu Martel (2007):
Semantics-Based Transformation of Arithmetic Expressions.
In: Hanne Riis Nielson & Gilberto Filé: SAS,
Lecture Notes in Computer Science 4634.
Springer,
pp. 298–314.
Available at http://dx.doi.org/10.1007/978-3-540-74061-2_19.
Matthieu Martel (2009):
Program transformation for numerical precision.
In: Germán Puebla & Germán Vidal: PEPM.
ACM,
pp. 101–110.
Available at http://doi.acm.org/10.1145/1480945.1480960.
Ramon E. Moore, R. Baker Kearfott & Michael J. Cloud (2009):
Introduction to Interval Analysis.
SIAM,
doi:10.1137/1.9780898717716.
Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé & Serge Torres (2010):
Handbook of Floating-Point Arithmetic.
Birkhäuser.
Available at http://dx.doi.org/10.1007/978-0-8176-4705-6.
Jeff H. Perkins, Sunghun Kim, Samuel Larsen, Saman P. Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Greg Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst & Martin C. Rinard (2009):
Automatically patching errors in deployed software.
In: Jeanna Neefe Matthews & Thomas E. Anderson: SOSP.
ACM,
pp. 87–102.
Available at http://doi.acm.org/10.1145/1629575.1629585.
Mauro Pezzè, Martin C. Rinard, Westley Weimer & Andreas Zeller (2011):
Self-Repairing Programs (Dagstuhl Seminar 11062).
Dagstuhl Reports 1(2),
pp. 16–29.
Available at http://dx.doi.org/10.4230/DagRep.1.2.16.
Hesam Samimi, Max Schäfer, Shay Artzi, Todd D. Millstein, Frank Tip & Laurie J. Hendren (2012):
Automated repair of HTML generation errors in PHP applications using string constraint solving.
In: Glinz,
pp. 277–287.
Available at http://dx.doi.org/10.1109/ICSE.2012.6227186.
Sriram Sankaranarayanan, Henny B. Sipma & Zohar Manna (2005):
Scalable Analysis of Linear Systems Using Mathematical Programming.
In: Radhia Cousot: VMCAI,
Lecture Notes in Computer Science 3385.
Springer,
pp. 25–41.
Available at http://dx.doi.org/10.1007/978-3-540-30579-8_2.
David A. Schmidt (2009):
Abstract Interpretation From a Denotational-semantics Perspective.
Electr. Notes Theor. Comput. Sci. 249,
pp. 19–37,
doi:10.1007/978-3-642-04164-8-14.
Yi Wei, Yu Pei, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer & Andreas Zeller (2010):
Automated fixing of programs with contracts.
In: Paolo Tonella & Alessandro Orso: ISSTA.
ACM,
pp. 61–72.
Available at http://doi.acm.org/10.1145/1831708.1831716.
Westley Weimer, ThanhVu Nguyen, Claire Le Goues & Stephanie Forrest (2009):
Automatically finding patches using genetic programming.
In: ICSE.
IEEE,
pp. 364–374.
Available at http://dx.doi.org/10.1109/ICSE.2009.5070536.