SemFix: Program repair via semantic analysis

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2013, Pages 772-781

  Nguyen, Hoang Duong Thien ^a   Qi, Dawei ^a   Roychoudhury, Abhik ^a   Chandra, Satish ^b  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^b IBM RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT SOLVING; NON-TRIVIAL; PROGRAM SYNTHESIS; REPAIR METHODS; ROOT CAUSE; SEMANTIC ANALYSIS; SOFTWARE DEVELOPMENT PROJECTS; SYMBOLIC EXECUTION;

GENETIC PROGRAMMING; PROGRAM DEBUGGING; SEMANTICS; SOFTWARE ENGINEERING;

REPAIR;

EID: 84880627133     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2013.6606623     Document Type: Conference Paper

References (27)

1. 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, 2010.
2. W. Weimer, T. Nguyen, C. Le Goues, and S. Forrest, "Automatically finding patches using genetic programming," in ICSE, 2009.
3. D. Gopinath, M. Malik, and S. Khurshid, "Specification-based program repair using SAT," in TACAS, 2011.
4. B. Demsky and M. Rinard, "Automatic detection and repair of errors in data structures," in OOPSLA, 2003.
5. B. Demsky, M. D. Ernst, P. J. Guo, S. McCamant, J. H. Perkins, and M. Rinard, "Inference and enforcement of data structure consistency specifications," in ISSTA, 2006.
6. C. Le Goues, M. Dewey-Vogt, S. Forrest, and W. Weimer, "A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each," in ICSE, 2012.
7. A. Solar-Lezama, R. Rabbah, R. Bodík, and K. Ebcio?glu, "Programming by sketching for bit-streaming programs," in PLDI, 2005.
8. A. Solar-Lezama, L. Tancau, R. Bodik, S. Seshia, and V. Saraswat, "Combinatorial sketching for finite programs," in ASPLOS, 2006.
9. B. Liblit, A. Aiken, A. X. Zheng, and M. I. Jordan, "Bug isolation via remote program sampling," in PLDI, 2003.
10. S. Chandra, E. Torlak, S. Barman, and R. Bodik, "Angelic debugging," in ICSE, 2011.
11. S. Jha, S. Gulwani, S. Seshia, and A. Tiwari, "Oracle-guided componentbased program synthesis," in ICSE, 2010.
12. H. Do, S. Elbaum, and G. Rothermel, "Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact," Empirical Software Engineering, vol. 10, 2005.
13. J. A. Jones, M. J. Harrold, and J. Stasko, "Visualization of test information to assist fault localization," in ICSE, 2002.
14. C. Cadar, D. Dunbar, and D. Engler, "KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs," in OSDI, 2008.
15. S. Anand, C. Pasareanu, and W. Visser, "JPF-SE: A symbolic execution extension to java pathfinder," in TACAS, 2007.
16. S. Gulwani, S. Jha, A. Tiwari, and R. Venkatesan, "Synthesis of loopfree programs," in PLDI, 2011.
17. L. de Moura and N. Bjørner, "Z3: An efficient SMT solver," in TACAS, 2008.
18. R. Abreu, P. Zoeteweij, and A. J. C. van Gemund, "An evaluation of similarity coefficients for software fault localization," in PRDC, 2006.
19. Y. Pei, Y. Wei, C. A. Furia, M. Nordio, and B. Meyer, "Code-based automated program fixing," in ASE, 2011.
20. B. Jobstmann, A. Griesmayer, and R. Bloem, "Program repair as a game," in CAV, 2005.
21. R. K̈onighofer and R. Bloem, "Automated error localization and correction for imperative programs," in FMCAD, 2011.
22. H. He and N. Gupta, "Automated debugging using path-based weakest preconditions," in FASE, 2004.
23. V. Dallmeier, A. Zeller, and B. Meyer, "Generating fixes from object behavior anomalies," in ASE, 2009.
24. J. H. Perkins et al., "Automatically patching errors in deployed software," in SOSP, 2009.
25. D. Jeffrey, M. Feng, N. Gupta, and R. Gupta, "Bugfix: A learning-based tool to assist developers in fixing bugs," in ICPC, 2009.
26. V. Debroy and W. E. Wong, "Using mutation to automatically suggest fixes for faulty programs," in ICST, 2010.
27. H. Samimi, M. Scḧafer, S. Artzi, T. Millstein, F. Tip, and L. Hendren, "Automated repair of HTML generation errors in PHP applications using string constraint solving," in ICSE, 2012.