Automatic repair of buggy if conditions and missing preconditions with SMT

6th International Workshop on Constraints in Software Testing, Verification, and Analysis, CSTVA 2014 - Proceedings

Volumn , Issue , 2014, Pages 30-39

  DeMarco, Favio ^a   Xuan, Jifeng ^b   Berre, Daniel Le ^c   Monperrus, Martin ^d  

^a UNIVERSIDAD DE BUENOS AIRES   (Argentina)

^b INRIA   (France)

^c UNIVERSITÉ D'ARTOIS   (France)

^d UNIV LILLE   (France)

Author keywords

Angelic fix localization; Automatic repair; Buggy if condition; Missing pre condition; SMT; Test suite

Indexed keywords

CODES (SYMBOLS); METADATA; OBJECT ORIENTED PROGRAMMING; SURFACE MOUNT TECHNOLOGY; VERIFICATION;

ANGELIC FIX LOCALIZATION; BUGGY IF CONDITION; MISSING PRE-CONDITION; OBJECT-ORIENTED CODE; SATISFIABILITY MODULO THEORIES; SOURCE CODES; TEST CASE;

SOFTWARE TESTING;

EID: 84931044721     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2593735.2593740     Document Type: Conference Paper

References (18)

1. Rui Abreu, Peter Zoeteweij, and Arjan JC Van Gemund. An evaluation of similarity coefficients for software fault localization. In 12th Pacific Rim International Symposium on Dependable Computing, pages 39-46, 2006.
2. José Campos, André Riboira, Alexandre Perez, and Rui Abreu. Gzoltar: an eclipse plug-in for testing and debugging. In Proceedings of Automated Software Engineering, 2012.
3. Satish Chandra, Emina Torlak, Shaon Barman, and Rastislav Bodik. Angelic debugging. In Proceeding of the International Conference on Software Engineering, pages 121-130. IEEE, 2011.
4. David R Cok. jSMTLIB: Tutorial, validation and adapter tools for SMT-LIBv2. In NASA Formal Methods, pages 480-486. Springer, 2011.
5. Hyunsook Do, Sebastian Elbaum, and Gregg Rothermel. Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact. Empirical Software Engineering, 10(4):405-435, 2005.
6. Claire Le Goues, ThanhVu Nguyen, Stephanie Forrest, and Westley Weimer. Genprog: A generic method for automatic software repair. IEEE Transactions on Software Engineering, 38:54-72, 2012.
7. Sumit Gulwani, Susmit Jha, Ashish Tiwari, and Ramarathnam Venkatesan. Synthesis of loop-free programs. ACM SIGPLAN Notices, 46(6):62-73, 2011.
8. Dennis Jerey, Neelam Gupta, and Rajiv Gupta. Fault localization using value replacement. In Proceedings of the International Symposium on Software Testing and Analysis, pages 167-178. ACM, 2008.
9. Susmit Jha, Sumit Gulwani, Sanjit A Seshia, and Ashish Tiwari. Oracle-guided component-based program synthesis. In Proceedings of the International Conference on Software Engineering, volume 1, pages 215-224. IEEE, 2010.
10. Dongsun Kim, Jaechang Nam, Jaewoo Song, and Sunghun Kim. Automatic patch generation learned from human-written patches. In Proceedings of the 2013 International Conference on Software Engineering, 2013.
11. Philip Koopman. Elements of the self-healing system problem space. Technical report, Carnegie Mellon University, 2003.
12. Matias Martinez and Martin Monperrus. Mining software repair models for reasoning on the search space of automated program fixing. Empirical Software Engineering, Online First, September 2013.
13. Martin Monperrus. A critical review of \automatic patch generation learned from human-written patches": An essay on the problem statement and the evaluation of automatic software repair. In Proc. of the Int. Conf on Software Engineering (ICSE), Hyderabab, India, 2014.
14. Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, and Satish Chandra. SemFix: Program Repair via Semantic Analysis. In Proceedings of the International Conference on Software Engineering, 2013.
15. Kai Pan, Sunghun Kim, and E James Whitehead Jr. Toward an understanding of bug fix patterns. Empirical Software Engineering, 14(3):286-315, 2009.
16. R. Pawlak, C. Noguera, and N. Petitprez. Spoon: Program analysis and transformation in java. Technical Report 5901, INRIA, 2006.
17. W. Weimer. Patches as better bug reports. In Proceedings of the International Conference on Generative Programming and Component Engineering, 2006.
18. Xiangyu Zhang, Neelam Gupta, and Rajiv Gupta. Locating faults through automated predicate switching. In Proceedings of the 28th international conference on Software engineering, pages 272-281. ACM, 2006.