References

  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 http://doi.acm.org/10.1145/781131.781153.
  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 http://dl.acm.org/citation.cfm?id=2486892.
  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 http://doi.acm.org/10.1145/512950.512973.
  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 http://doi.acm.org/10.1145/1774088.1774531.
  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 http://dx.doi.org/10.1007/978-3-642-18070-5_2.
  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 http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6218989.
  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 http://dx.doi.org/10.1109/ICSE.2012.6227211.
  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 http://doi.acm.org/10.1145/2384616.2384626.
  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 http://doi.acm.org/10.1145/1363686.1363736.
  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 http://dx.doi.org/10.1007/978-3-540-74061-2_19.
  11. 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.
  12. Antoine Miné (2006): The octagon abstract domain. Higher-Order and Symbolic Computation 19(1), pp. 31–100. Available at http://dx.doi.org/10.1007/s10990-006-8609-1.
  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 http://dx.doi.org/10.1007/978-0-8176-4705-6.
  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 http://doi.acm.org/10.1145/1629575.1629585.
  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 http://dx.doi.org/10.4230/DagRep.1.2.16.
  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 http://dx.doi.org/10.1109/ICSE.2012.6227186.
  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 http://dx.doi.org/10.1007/978-3-540-30579-8_2.
  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 http://doi.acm.org/10.1145/1831708.1831716.
  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 http://dx.doi.org/10.1109/ICSE.2009.5070536.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org