1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. Martin Glinz, Gail C. Murphy & Mauro Pezzè (2012): 34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland. IEEE. Available at
  7. 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
  8. 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
  9. 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
  10. 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
  11. Matthieu Martel (2009): Program transformation for numerical precision. In: Germán Puebla & Germán Vidal: PEPM. ACM, pp. 101–110. Available at
  12. Antoine Miné (2006): The octagon abstract domain. Higher-Order and Symbolic Computation 19(1), pp. 31–100. Available at
  13. Ramon E. Moore, R. Baker Kearfott & Michael J. Cloud (2009): Introduction to Interval Analysis. SIAM, doi:10.1137/1.9780898717716.
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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.
  20. 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
  21. Westley Weimer, ThanhVu Nguyen, Claire Le Goues & Stephanie Forrest (2009): Automatically finding patches using genetic programming. In: ICSE. IEEE, pp. 364–374. Available at

Comments and questions to:
For website issues: