Evolutionary repair of faulty software

Applied Soft Computing Journal

Volumn 11, Issue 4, 2011, Pages 3494-3514

  Arcuri, Andrea ^a  

^a SIMULA RESEARCH LABORATORY   (Norway)

Author keywords

Automated debugging; Coevolution; Fault localization; Genetic programming; Repair; Search Based Software Engineering

Indexed keywords

AUTOMATED DEBUGGING; AUTOMATED TOOLS; COEVOLUTION; COMPLEX TASK; CURRENT LIMITATION; FAULT LOCALIZATION; RESEARCH PROTOTYPE; SEARCH BASED SOFTWARE ENGINEERING; SEARCH PROBLEM;

AUTOMATION; GENETIC PROGRAMMING; REPAIR; SOFTWARE ENGINEERING;

PROGRAM DEBUGGING;

EID: 79954620568     PISSN: 15684946     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.asoc.2011.01.023     Document Type: Article

References (88)

1. G. Myers The Art of Software Testing 1979 Wiley New York
2. B. Beizer Software Testing Techniques 1990 Van Nostrand Rheinhold New York
3. M. Ducassé A pragmatic survey of automated debugging International Workshop on Automated and Algorithmic Debugging 1993 1 15
4. M. Stumptner, and F. Wotawa A survey of intelligent debugging AI Communications 11 1 1998 35 51 (Pubitemid 128704679)
5. A. Zeller Why Programs Fail: A Guide to Systematic Debugging 2005 Morgan Kaufmann
6. J.O. Kephart, and D.M. Chess The vision of autonomic computing Computer 36 1 2003 41 50
7. M. Stumptner, and F. Wotawa Model-based program debugging and repair Proceedings of the International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems 1996
8. S. Staber, B. Jobstmann, and R. Bloem Finding and fixing faults Conference on Correct Hardware Design and Verification Methods (CHARME) 2006 35 49
9. W. Weimer Patches as better bug reports International Conference on Generative Programming and Component Engineering 2006 181 190 (Pubitemid 47168637)
10. L.A. Dennis, R. Monroy, and P. Nogueira Proof-directed debugging and repair Symposium on Trends in Functional Programming 2006 131 140
11. M. Harman, and B.F. Jones Search-based software engineering Journal of Information & Software Technology 43 14 2001 833 839 (Pubitemid 33050963)
12. J. Clark, J.J. Dolado, M. Harman, R. Hierons, B. Jones, M. Lumkin, B. Mitchell, S. Mancoridis, K. Rees, M. Roper, and M. Shepperd Reformulating software engineering as a search problem IEE Proceedings-Software 150 3 2003 161 175
13. P. McMinn Search-based software test data generation: a survey Software Testing, Verification and Reliability 14 2 2004 105 156
14. K. Inkumsah, and T. Xie Improving structural testing of object-oriented programs via integrating evolutionary testing and symbolic execution IEEE/ACM International Conference on Automated Software Engineering (ASE) 2008 297 306
15. A. Arcuri, and X. Yao Search based software testing of object-oriented containers Information Sciences 178 15 2008 3075 3095
16. B. Demsky, and M. Rinard Data structure repair using goal-directed reasoning IEEE International Conference on Software Engineering (ICSE) 2005 176 185
17. R.A. DeMillo, R.J. Lipton, and F. Sayward Hints on test data selection: help for the practicing programmer Computer 11 4 1978 34 41 (Pubitemid 8631038)
18. A. Arcuri On the automation of fixing software bugs Doctoral Symposium of the IEEE International Conference on Software Engineering (ICSE) 2008 1003 1006
19. A. Arcuri, and X. Yao A novel co-evolutionary approach to automatic software bug fixing IEEE Congress on Evolutionary Computation (CEC) 2008 162 168
20. R. Poli, W.B. Langdon, N.F. McPhee, A field guide to genetic programming, 2008, published via http://lulu.com and freely available at: http://www.gp-field-guide.org.uk.
21. A. Griesmayer, R. P. Bloem, C. Byron, Repair of boolean programs with an application to C, Computer Aided Verification (2006) 358-371. (Pubitemid 44560890)
22. W. Weimer, T. Nguyen, C.L. Goues, and S. Forrest Automatically finding patches using genetic programming IEEE International Conference on Software Engineering (ICSE) 2009 364 374
23. J.A. Jones, Semi-automatic fault localization, Ph.D. thesis, Georgia Institute of Technology, 2008.
24. E.Y. Shapiro Algorithmic Program DeBugging 1983 MIT Press
25. P. Fritzso, T. Gyimothy, M. Kamkar, and N. Shahmehri Generalized algorithmic debugging and testing ACM SIGPLAN Conference on Programming Language Design and Implementation 1991 317 326
26. M. Weiser Program slicing IEEE Transactions on Software Engineering (TSE) 10 1984 352 357
27. M. Weiser Programmers use slices when debugging Communications of the ACM 25 7 1982 446 452 (Pubitemid 12550162)
28. B. Korel, and J. Laski Dynamic program slicing Information Processing Letters 29 3 1988 155 163
29. X. Zhang, N. Gupta, and R. Gupta A study of effectiveness of dynamic slicing in locating real faults Empirical Software Engineering 12 2 2007 143 160 (Pubitemid 46375361)
30. A. Zeller Automated debugging: are we close? IEEE Computer 2001 26 31
31. A. Zeller Isolating cause-effect chains from computer programs ACM SIGSOFT Symposium on Foundations of software engineering 2002 1 10
32. H. Cleve, and A. Zeller Locating causes of program failures IEEE International Conference on Software Engineering (ICSE) 2005 342 351
33. C. Artho Iterative delta debugging Haifa Verification Conference 2008
34. D. Hovemeyer, and W. Pugh Finding bugs is easy SIGPLAN Notices 39 12 2004 92 106 (Pubitemid 40303302)
35. N. Rutar, C.B. Almazan, and J.S. Foster A comparison of bug finding tools for java International Symposium on Software Reliability Engineering 2004 245 256 (Pubitemid 40455698)
36. S. Wagner, F. Deissenboeck, M. Aichner, J. Wimmer, and M. Schwalb An evaluation of two bug pattern tools for java IEEE International Conference on Software Testing, Verification and Validation (ICST) 2008 248 257
37. C.C. Williams, and J.K. Hollingsworth Automatic mining of source code repositories to improve bug finding techniques IEEE Transactions on Software Engineering (TSE) 31 6 2005 466 480 (Pubitemid 41245069)
38. Z. Li, S. Lu, S. Myagmar, and Y. Zhou Cp-miner: finding copy-paste and related bugs in large-scale software code IEEE Transactions on Software Engineering (TSE) 32 3 2006 176 192
39. C. Yilmaz, and C. Williams An automated model-based debugging approach IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007 174 183
40. A.J. Ko, and B.A. Myers Debugging reinvented: asking and answering why and why not questions about program behavior IEEE International Conference on Software Engineering (ICSE) 2008 301 310
41. M. Renieris, and S. Reiss Fault localization with nearest neighbor queries IEEE/ACM International Conference on Automated Software Engineering (ASE) 2003 30 39
42. H. Agrawal, J.R. Horgan, S. London, and W.E. Wong Fault localization using execution slices and dataflow tests Proceedings of the IEEE Software Reliability Engineering 1995 143 151
43. J.A. Jones, M.J. Harrold, and J. Stasko Visualization of test information to assist fault localization IEEE International Conference on Software Engineering (ICSE) 2002 467 477 (Pubitemid 35009133)
44. J.A. Jones, and M.J. Harrold Empirical evaluation of the tarantula automatic fault-localization technique IEEE/ACM International Conference on Automated Software Engineering (ASE) 2005 273 282
45. L.C. Briand, Y. Labich, and X. Liu Using machine learning to support debugging with tarantula Proceedings of the IEEE International Symposium on Software Reliability 2007 137 146
46. E. Wong, T. Wei, Y. Qi, and L. Zhao A crosstab-based statistical method for effective fault localization IEEE International Conference on Software Testing, Verification and Validation (ICST) 2008 42 51
47. M. Stumptner, and F. Wotawa A modelbased approach to software debugging International Workshop on Principles of Diagnosis 1996
48. F. Buccafurri, T. Eiter, G. Gottlob, and N. Leone Enhancing model checking in verification by AI techniques Artificial Intelligence 112 1-2 1999 57 104 (Pubitemid 32079887)
49. Y. Zhang, and Y. Ding CTL model update for system modifications Journal of Artificial Intelligence Research 31 2008 113 155 (Pubitemid 351761984)
50. B. Jobstmann, A. Griesmayer, and R. Bloem Program repair as a game Conference on Computer Aided Verification (CAV) 2005 226 238 (Pubitemid 41431736)
51. R. Samanta, J.V. Deshmukh, and E.A. Emerson Automatic generation of local repairs for boolean programs Formal Methods in Computer-Aided Design 2008 1 10
52. F. Wang, and C.H. Cheng Automatic generation of local repairs for boolean programs Proceedings of the International conference on Formal Techniques for Networked and Distributed Systems 2008 185 200
53. H. He, and N. Gupta Automated debugging using path-based weakest preconditions Fundamental Approaches to Software Engineering 2004 267 280
54. L. A. Dennis, Program slicing and middle-out reasoning for error location and repair, in: Disproving: Non-Theorems, Non-Validity and Non-Provability, 2006.
55. A. Arcuri, Evolutionary repair of faulty software, Tech. Re CSR-09-02, University of Birmingham, 2009.
56. S. Forrest, W. Weimer, T. Nguyen, and C.L. Goues A genetic programming approach to automated software repair Genetic and Evolutionary Computation Conference (GECCO) 2009 947 954
57. T. Nguyen, W. Weimer, C.L. Goues, and S. Forrest Using execution paths to evolve software patches Workshop on Search-Based Software Testing (SBST) 2009 152 153
58. A. Arcuri It does matter how you normalise the branch distance in search based software testing IEEE International Conference on Software Testing, Verification and Validation (ICST) 2010 205 214
59. S. Luke, and L. Panait A comparison of bloat control methods for genetic programming Evolutionary Computation 14 3 2006 309 344 (Pubitemid 44699556)
60. W.B. Langdon, and R. Poli Foundations of Genetic Programming 2002 Springer
61. R. Purushothaman, and D. Perry Toward understanding the rhetoric of small source code changes IEEE Transactions on Software Engineering (TSE) 31 6 2005 511 526 (Pubitemid 41245072)
62. V. Dallmeier, and T. Zimmermann Extraction of bug localization benchmarks from history IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007 433 436
63. D.H. Wolpert, and W.G. Macready No free lunch theorems for optimization IEEE Transactions on Evolutionary Computation 1 1 1997 67 82 (Pubitemid 127771019)
64. ECJ: A Java-based Evolutionary Computation Research System, http://www.cs.gmu.edu/eclab/projects/ecj/.
65. D.J. Montana Strongly typed genetic programming Evolutionary Computation 3 2 1995 199 230
66. A. Arcuri, and X. Yao Search Based Software Testing of Object-Oriented Containers Information Sciences 178 15 2008 3075 3095
67. M. Reformat, C. Xinwei, and J. Miller On the possibilities of (pseudo-) software cloning from external interactions Soft Computing 12 1 2007 29 49 (Pubitemid 47278264)
68. A. Arcuri, and X. Yao Coevolving programs and unit tests from their specification IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007 397 400
69. Junit., http://junit.sourceforge.net/.
70. Javacc, https://javacc.dev.java.net/.
71. S. Chiba, Javassist: Java bytecode engineering made simple, Java Developer's Journal 9 (1) (2004).
72. Y. Jia, and M. Harman A customizable, runtime-optimized higher order mutation testing tool for the full c language Proceedings of the Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART) 2008 94 98
73. A. Orso, A. Rao, and M. Harrold A technique for dynamic updating of java software IEEE International Conference on Software Maintenance (ICSM) 2002
74. M. Orlov, and M. Sipper Genetic programming in the wild: evolving unrestricted bytecode Genetic and Evolutionary Computation Conference (GECCO) 2009 1043 1050
75. Y.S. Ma, J. Offutt, and Y.R. Kwon Mujava: an automated class mutation system, Software Testing Verification and Reliability 15 2 2005 97 133 (Pubitemid 40858060)
76. J.H. Andrews, L.C. Briand, Y. Labiche, and A.S. Namin Using mutation analysis for assessing and comparing testing coverage criteria IEEE Transactions on Software Engineering (TSE) 32 8 2006 608 624 (Pubitemid 46405276)
77. A. Arcuri, P. Lehre, X. Yao, Theoretical runtime analysis in search based software engineering, Tech. Re CSR-09-04, University of Birmingham, 2009.
78. H. Sthamer, Automatic generation of software test data using genetic algorithms, Ph.D. thesis, University of Glamorgan, 1996.
79. R. Sagarna, and J. Lozano Scatter search in software testing, comparison and collaboration with estimation of distribution algorithms European Journal of Operational Research 169 2 2006 392 412 (Pubitemid 41375698)
80. T.H. Cormen, C.E. Leiserson, R.L. Rivest, and C. Stein Introduction to Algorithms, 2nd edition 2001 MIT Press and McGraw-Hill
81. A. Agapitos, S. M. Lucas, Evolving modular recursive sorting algorithms, in: Proceedings of the European Conference on Genetic Programming (EuroGP), 2007. 301-310. (Pubitemid 47290321)
82. Apache ant., http://ant.apache.org/.
83. A. Arcuri, D.R. White, J. Clark, and X. Yao Multi-objective improvement of software using co-evolution and smart seeding International Conference on Simulated Evolution And Learning (SEAL) 2008 61 70
84. Y. Yu, J.A. Jones, and M.J. Harrold An empirical study of the effects of test-suite reduction on fault localization IEEE International Conference on Software Engineering (ICSE) 2008 201 210
85. J.M. Spivey The Z Notation, A Reference Manual, 2nd edition 1992 Prentice Hall
86. G.T. Leavens, A.L. Baker, and C. Ruby JML: a notation for detailed design Behavioral Specifications of Businesses and Systems 1999 175 188
87. W.D. Hillis Co-evolving parasites improve simulated evolution as an optimization procedure Artificial Life II: Proceedings of the workshop on the Synthesis and Simulation of Living Systems 1992 313 324
88. M. Harman, L. Hu, R. Hierons, J. Wegener, H. Sthamer, A. Baresel, and M. Roper Testability transformation IEEE Transactions on Software Engineering 30 1 2004 3 16