Searching for invariants using genetic programming and mutation testing

Genetic and Evolutionary Computation Conference, GECCO'11

Volumn , Issue , 2011, Pages 1907-1914

  Sam, Ratcliff ^a   White, David R ^a   Clark, John A ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

Daikon; Genetic programming; Invariants; Mutation testing

Indexed keywords

DAIKON; INVARIANTS; MUTATION TESTING; NOVEL APPLICATIONS; SOURCE CODES; TRACE GENERATION;

GENETIC ALGORITHMS; SOFTWARE TESTING;

GENETIC PROGRAMMING;

EID: 84860391824     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2001576.2001832     Document Type: Conference Paper

References (23)

1. Algolist. http://www.algolist.net/.
2. Daikon homepage. http://groups.csail.mit.edu/pag/daikon/download/.
3. ECJ Website. http://cs.gmu.edu/~eclab/projects/ecj/docs/.
4. Fred Swartz's Java notes. http://www.fredosaurus.com/.
5. Online resources for this paper. http://www.cs.york.ac.uk/~drw/papers/ gecco2011.
6. W. Banzhaf, P. Nordin, R. E. Keller, and F. D. Francone. Genetic Programming - An Introduction; On the Automatic Evolution of Computer Programs and its Applications. Morgan Kaufmann, 1998.
7. J. Clarke, 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. Software, IEE Proceedings, 150(3):161 - 175, 2003.
8. E. W. Dijkstra. Guarded Commands, Nondeterminacy and Formal Derivation of Programs. Commun. ACM, 18(8):453-457, 1975.
9. M. D. Ernst. Dynamically Discovering Likely Program Invariants. Ph.D., Uni. of Washington Department of Computer Science and Engineering, 2000.
10. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically Discovering Likely Program Invariants to Support Program Evolution. In ICSE '99, pages 213-224. ACM, 1999.
11. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically Discovering likely Program Invariants to Support Program Evolution. IEEE Trans. on Software Engineering, 27:213-224, 2001.
12. M. D. Ernst, A. Czeisler, W. G. Griswold, and D. Notkin. Quickly Detecting Relevant Program Invariants. In ICSE 2000, pages 449-458, 2000.
13. S. Forrest, T. Nguyen, W. Weimer, and C. L. Goues. A Genetic Programming Approach to Automated Software Repair. In GECCO '09, pages 947-954, 2009.
14. D. Gries. The Science of Programming. Springer, 1981.
15. Y. Jia and M. Harman. An analysis and survey of the development of mutation testing. IEEE Trans. on Software Engineering, PP(99), 2010.
16. J. R. Koza. Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, 1992.
17. Y. Ma, J. Offutt, and Y. R. Kwon. MuJava: an Automated Class Mutation System. Software Testing, Verification and Reliability, 15(2):97-133, 2005. (Pubitemid 40858060)
18. B. Meyer. Applying "Design by Contract". Computer, 25(10):40-51, 1992.
19. E. Morel and C. Renvoise. Global Optimization by Suppression of Partial Redundancies. Communications of the ACM, 22(2):96-103, 1979. (Pubitemid 9443113)
20. R. Poli, W. B. Langdon, and N. F. McPhee. A Field Guide to Genetic Programming. Lulu, 2008.
21. D. Schuler, V. Dallmeier, and A. Zeller. Efficient Mutation Testing by Checking Invariant Violations. In ISSTA '09, pages 69-80. ACM, 2009.
22. S. Wappler and J. Wegener. Evolutionary Unit Testing of Object-Oriented Software using Strongly-Typed Genetic Programming. In GECCO '06, pages 1925-1932. ACM, 2006. (Pubitemid 44611576)
23. D. R. White, A. Arcuri, and J. Clark. Evolutionary Improvement of Programs. IEEE Trans. on Evolutionary Computation, PP(99):1-24, 2011.