Code-based automated program fixing

2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings

Volumn , Issue , 2011, Pages 392-395

  Pei, Yu ^a   Wei, Yi ^a   Furia, Carlo A ^a   Nordio, Martin ^a   Meyer, Bertrand ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

automated debugging and fixing; program synthesis

Indexed keywords

AUTOMATED DEBUGGING; HIGH QUALITY; MODEL BASED APPROACH; PROGRAM SYNTHESIS; SIMPLE APPROACH; SPECIFIC AREAS; STATIC AND DYNAMIC ANALYSIS;

AUTOMATION; CODES (SYMBOLS); DATA STRUCTURES; SOFTWARE ENGINEERING;

PROGRAM DEBUGGING;

EID: 84855461883     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2011.6100080     Document Type: Conference Paper

References (9)

1. V. Dallmeier and T. Zimmermann, "Extraction of bug localization benchmarks from history," in ASE. ACM, 2007, pp. 433-436.
2. V. Dallmeier, A. Zeller, and B. Meyer, "Generating fixes from object behavior anomalies," in ASE. IEEE Computer Society, 2009, pp. 550-554.
3. Y. Wei, Y. Pei, C. A. Furia, L. S. Silva, S. Buchholz, B. Meyer, and A. Zeller, "Automated fixing of programs with contracts," in ISSTA. ACM, 2010.
4. Y. Pei, Y. Wei, C. A. Furia, M. Nordio, and B. Meyer, "Code-based automated program fixing," http://arxiv.org/abs/1102.1059, 2011.
5. B. Meyer, A. Fiva, I. Ciupa, A. Leitner, Y. Wei, and E. Stapf, "Programs that test themselves," Computer, vol. 42, no. 9, pp. 46-55, 2009.
6. B. Meyer, Object-Oriented Software Construction. Prentice Hall, 1997.
7. W. E. Wong, V. Debroy, and B. Choi, "A family of code coverage-based heuristics for effective fault localization," J. Syst. Softw., vol. 83, no. 2, pp. 188-208, 2010.
8. http://freeelks.svn.sourceforge.net.
9. http://sourceforge.net/projects/gobo-eiffel/.