Genetic programming for reverse engineering

Proceedings - Working Conference on Reverse Engineering, WCRE

Volumn , Issue , 2013, Pages 1-10

  Harman, Mark ^a   Langdon, William B ^a   Weimer, Westley ^b  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY OF VIRGINIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONCEPT ASSIGNMENT; DEPENDENCE ANALYSIS; GENETIC IMPROVEMENTS; PARTIAL EVALUATION; REGRESSION TESTING; SEARCH BASED SOFTWARE ENGINEERING (SBSE); SYNTAX-PRESERVING; WORKING CONFERENCE ON REVERSE ENGINEERINGS;

GENETIC PROGRAMMING; SOFTWARE ENGINEERING; SOFTWARE TESTING;

REVERSE ENGINEERING;

EID: 84893394695     PISSN: 10951350     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WCRE.2013.6671274     Document Type: Conference Paper

References (93)

1. Hani Abdeen, Stephane Ducasse, Houari Sahraoui, and Ilham Alloui. Automatic package coupling and cycle minimization. In 16th Working Conference on Reverse Engineering (WCRE 09), pages 103-112, Lille, France, 13-16 October 2009. IEEE.
2. Mads Sig Ager, Olivier Danvy, and Henning Korsholm Rohde. Fast partial evaluation of pattern matching in strings. ACM Trans. Program. Lang. Syst., 28(4):696-714, 2006.
3. Nadia Alshahwan and Mark Harman. Automated web application testing using search based software engineering. In 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pages 3-12, Lawrence, Kansas, USA, 6th-10th November 2011.
4. Glenn Ammons, Rastislav Bod?k, and James R. Larus. Mining specifications. In The 29th SIGPLAN-SIGACT Sxymposium on Principles of Programming Languages (POPL 2002), pages 4-16, Portland, OR, USA, January 2002.
5. Andrea Arcuri, David Robert White, John A. Clark, and Xin Yao. Multi-objective improvement of software using co-evolution and smart seeding. In 7th International Conference on Simulated Evolution and Learning (SEAL 2008), pages 61-70, Melbourne, Australia, December 2008. Springer.
6. Andrea Arcuri and Xin Yao. A Novel Co-evolutionary Approach to Automatic Software Bug Fixing. In Proceedings of the IEEE Congress on Evolutionary Computation (CEC 08), pages 162-168, Hongkong, China, 1-6 June 2008. IEEE Computer Society.
7. Marcio de Oliveira Barros. An analysis of the effects of composite objectives in multiobjective software module clustering. In Proceedings of the 14th International Conference on Genetic and Evolutionary Computation Conference (GECCO 12), pages 1205-1212, Philadelphia, USA, 7-11 July 2012. ACM.
8. Gabriele Bavota, Andrea De Lucia, Andrian Marcus, and Rocco Oliveto. Software re-modularization based on structural and semantic metrics. In 17th Working Conference on Reverse Engineering, WCRE 2010, pages 195-204. IEEE Computer Society, 2010.
9. Jon Beck and David Eichmann. Program and interface slicing for reverse engineering. In IEEE/ACM 15th Conference on Software Engineering (ICSE93), pages 509-518, Los Alamitos, California, USA, 1993. IEEE Computer Society Press.
10. T. J. Biggerstaff, B. Mitbander, and D. Webster. The concept assignment problem in program understanding. In 15th International Conference on Software Engineering, pages 482-498, Los Alamitos, California, USA, May 1993. IEEE Computer Society Press.
11. David Binkley, Sebastian Danicic, Mark Harman, John Howroyd, and Lahcen Ouarbya. A formal relationship between program slicing and partial evaluation. Formal Aspects of Computing, 18(2):103-119, 2006.
12. David Binkley, Nicolas Gold, Mark Harman, Jens Krinke, and Shin Yoo. Observation-based slicing. Technical Report RN/13/13, Computer Sciences Department, University College London (UCL), UK, June 20th 2013.
13. David Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi, and Joachim Wegener. Dependence anti patterns. In 4th International ERCIM Workshop on Software Evolution and Evolvability (Evol08), pages 25-34, LAquila, Italy, September 2008.
14. David Binkley and Mark Harman. Locating dependence clusters and dependence pollution. In 21st IEEE International Conference on Software Maintenance, pages 177-186, Los Alamitos, California, USA, 2005. IEEE Computer Society Press.
15. David Binkley, Mark Harman, L. Ross Raszewski, and Christopher Smith. An empirical study of amorphous slicing as a program comprehension support tool. In 8th IEEE International Workshop on Program Comprehension, pages 161-170, Los Alamitos, California, USA, June 2000. IEEE Computer Society Press.
16. Sandrine Blazy and Philie Facon. Partial evaluation for program comprehension. ACM Computing Surveys, 30(3), September 1998. Article 17.
17. Thierry Bodhuin, Massimiliano Di Penta, and Luigi Troiano. A Search-based Approach for Dynamically Re-packaging Downloadable Applications. In Proceedings of the 2007 Conference of the IBM Center for Advanced Studies on Collaborative Research (CASCON 07), pages 27-41, Richmond Hill, Ontario, Canada, 22-25 October 2007. ACM.
18. Salah Bouktif, Giuliano Antoniol, Ettore Merlo, and Markus Neteler. A Novel Approach to Optimize Clone Refactoring Activity. In Proceedings of the 8th Annual Conference on Genetic and Evolutionary Computation (GECCO 06), pages 1885-1892, Seattle, Washington, USA, 8-12 July 2006. ACM.
19. Raymond P. L. Buse and Westley Weimer. Learning a metric for code readability. IEEE Trans. Software Eng., 36(4):546-558, 2010.
20. Raymond P. L. Buse and Westley Weimer. Synthesizing API usage examples. In 34th International Conference on Software Engineering (ICSE 2012), pages 782-792, Zurich, Switzerland, June 2012.
21. Gerardo Canfora, Aniello Cimitile, Andrea De Lucia, and G. A. Di Lucca. Software salvaging based on conditions. In International Conference on Software Maintenance, pages 424-433, Los Alamitos, California, USA, September 1994. IEEE Computer Society Press.
22. Myra Cohen, Shiu Beng Kooi, and Witawas Srisa-an. Clustering the Heap in Multi-Threaded Applications for Improved Garbage Collection. In Proceedings of the 8th annual Conference on Genetic and Evolutionary Computation (GECCO 06), pages 1901-1908, Seattle, Washington, USA, 8-12 July 2006. ACM.
23. Christian Del Rosso. Reducing Internal Fragmentation in Segregated Free Lists using Genetic Algorithms. In Proceedings of the 2006 International Workshop on Interdisciplinary Software Engineering Research (WISER 06), pages 57-60, Shanghai, China, 20 May 2006. ACM.
24. Deji Fatiregun, Mark Harman, and Rob Hierons. Evolving transformation sequences using genetic algorithms. In 4th International Workshop on Source Code Analysis and Manipulation (SCAM 04), pages 65-74, Los Alamitos, California, USA, September 2004. IEEE Computer Society Press.
25. Deji Fatiregun, Mark Harman, and Rob Hierons. Search-based amorphous slicing. In 12th International Working Conference on Reverse Engineering (WCRE 05), pages 3-12, Carnegie Mellon University, Pittsburgh, Pennsylvania, USA, November 2005.
26. Gordon Fraser and Andrea Arcuri. Evosuite: automatic test suite generation for object-oriented software. In 8th European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 11), pages 416-419. ACM, September 5th-9th 2011.
27. Erik M. Fredericks and Betty H.C. Cheng. Exploring automated software composition with genetic programming. In Proceeding of The 15th Annual Conference Companion on Genetic and Evolutionary Computation (GECCO 13), pages 1733-1734, Amsterdam, The Netherlands, 6-10 July 2013. ACM.
28. Zachary P. Fry, Bryan Landau, and Westley Weimer. A human study of patch maintainability. In International Symposium on Software Testing and Analysis, (ISSTA 2012), pages 177-187, Minneapolis, MN, USA, July 2012.
29. Yoshihiko Futamura and Kenroku Nogi. Generalized partial computation. In D. Bjrner, Andrei P. Ershov, and Neil D. Jones, editors, IFIP TC2 Workshop on Partial Evaluation and Mixed Computation, pages 133-151. North-Holland, 1987.
30. Adnane Ghannem, Ghizlane El Boussaidi, and Marouane Kessentini. Model refactoring using interactive genetic algorithm. In Proceedings of the 5th International Symposium on Search Based Software Engineering (SSBSE 13), volume 8084, pages 96-110, St. Petersburg, Russia, 24-26 August 2013. Springer.
31. Nicolas Gold, Mark Harman, Zheng Li, and Kiarash Mahdavi. A search based approach to overlapping concept boundaries. In 22nd International Conference on Software Maintenance (ICSM 06), pages 310-319, Philadelphia, Pennsylvania, USA, September 2006.
32. Claire Le Goues, Michael Dewey-Vogt, Stephanie Forrest, and Westley Weimer. A systematic study of automated program repair: Fixing 55 out of 105 bugs for 8 each. In International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, 2012.
33. Brian Grant, Markus Mock, Matthai Philipose, Craig Chambers, and Susan J. Eggers. DyC: an expressive annotation-directed dynamic compiler for C. Theor. Comput. Sci., 248(1-2):147-199, 2000.
34. Mark Harman. The current state and future of search based software engineering. In Lionel Briand and Alexander Wolf, editors, Future of Software Engineering 2007, pages 342-357, Los Alamitos, California, USA, 2007. IEEE Computer Society Press.
35. Mark Harman. Open problems in testability transformation. In 1st International Workshop on Search Based Testing (SBT 2008), Lillehammer, Norway, 2008.
36. Mark Harman. Making the case for MORTO: Multi objective regression test optimization. In 1st International Workshop on Regression Testing (Regression 2011), Berlin, Germany, March 2011.
37. Mark Harman. Refactoring as testability transformation. In Refactoring and Testing Workshop (RefTest 2011), Berlin, Germany, March 2011.
38. Mark Harman and Sebastian Danicic. Using program slicing to simplify testing. Software Testing, Verification and Reliability, 5(3):143-162, September 1995.
39. Mark Harman, Robert Hierons, and Mark Proctor. A New Representation and Crossover Operator for Search-based Optimization of Software Modularization. In Proceedings of the 2002 Conference on Genetic and Evolutionary Computation (GECCO 02), pages 1351-1358, New York, USA, 9-13 July 2002. Morgan Kaufmann Publishers.
40. Mark Harman and Robert Mark Hierons. An overview of program slicing. Software Focus, 2(3):85-92, 2001.
41. Mark Harman, Yue Jia, and Bill Langdon. Strong higher order mutationbased test data generation. In 8th European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 11), pages 212-222, New York, NY, USA, September 5th-9th 2011. ACM.
42. Mark Harman and Bryan F. Jones. Search based software engineering. Information and Software Technology, 43(14):833-839, December 2001.
43. Mark Harman, William B. Langdon, Yue Jia, David R. White, Andrea Arcuri, and John A. Clark. The GISMOE challenge: Constructing the pareto program surface using genetic programming to find better programs (keynote paper). In 27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012), Essen, Germany, September 2012.
44. Mark Harman, Afshin Mansouri, and Yuanyuan Zhang. Search based software engineering: Trends, techniques and applications. ACM Computing Surveys, 45(1):Article 11, November 2012.
45. Mark Harman, Phil McMinn, Muzammil Shahbaz, and Shin Yoo. A comprehensive survey of trends in oracles for software testing. Technical Report Research Memoranda CS-13-01, Department of Computer Science, University of Sheffield, 2013.
46. Mark Harman, Phil McMinn, Jerffeson Teixeira de Souza, and Shin Yoo. Search based software engineering: Techniques, taxonomy, tutorial. In Bertrand Meyer and Martin Nordio, editors, Empirical software engineering and verification: LASER 2009-2010, pages 1-59. Springer, 2012. LNCS 7007.
47. Mark Harman, Stephen Swift, and Kiarash Mahdavi. An empirical study of the robustness of two module clustering fitness functions. In Genetic and Evolutionary Computation Conference (GECCO 2005), pages 1029-1036, Washington DC, USA, June 2005. Association for Computer Machinery.
48. Mark Harman and Laurence Tratt. Pareto optimal search-based refactoring at the design level. In GECCO 2007: Proceedings of the 9th annual conference on Genetic and evolutionary computation, pages 1106-1113, London, UK, July 2007. ACM Press.
49. Sunny Huynh and Yuanfang Cai. An Evolutionary Approach to Software Modularity Analysis. In Proceedings of the 1st International Workshop on Assessment of Contemporary Modularization Techniques (ACoM07), pages 1-6, Minneapolis, USA, 20-26 May 2007. ACM.
50. Ranjit Jhala and Rupak Majumdar. Path slicing. In Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation (POPL 2005), pages 38-47, Chicago, IL, USA, June 2005.
51. Tao Jiang, Nicolas Gold, Mark Harman, and Zheng Li. Locating dependence structures using search based slicing. Information and Software Technology, 50(12):1189-1209, 2008.
52. Tao Jiang, Mark Harman, and Youssef Hassoun. Analysis of procedure splitability. In 15th Working Conference on Reverse Engineering (WCRE08), pages 247-256, Antwerp, Belgium, October 2008.
53. Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall International, London, England, 1993.
54. Dongsun Kim, Jaechang Nam, Jaewoo Song, and Sunghun Kim. Automatic patch generation learned from human-written patches. In 35th International Conference on Software Engineering (ICSE 13), pages 802-811, San Francisco, CA, USA, May 2013.
55. Klaus Krogmann, Michael Kuperberg, and Ralf Reussner. Using genetic search for reverse engineering of parametric behaviour models for performance prediction. IEEE Transactions on Software Engineering, 36(6):865-877, November-December 2010.
56. Shinji Kusumoto, Akira Nishimatsu, Keisuke Nishie, and Katsuro Inoue. Experimental evaluation of program slicing for fault localization. Empirical Software Engineering, 7:49-76, 2002.
57. Kiran Lakhotia, Mark Harman, and Hamilton Gross. AUSTIN: An open source tool for search based software testing of C programs. Journal of Information and Software Technology, 55(1):112-125, January 2013.
58. Ralf Lammel. Towards generic refactoring. In ACM SIGPLAN workshop on rule-based programming (RULE02), pages 15-28, 2002.
59. William B. Langdon and Mark Harman. Evolving a CUDA kernel from an nVidia template. In IEEE Congress on Evolutionary Computation, pages 1-8. IEEE, 2010.
60. William B. Langdon and Mark Harman. Optimising existing software with genetic programming. IEEE Transactions on Evolutionary Computation, 2013. To appear.
61. Claire Le Goues, Stephanie Forrest, and Westley Weimer. Current challenges in automatic software repair. Software Quality Journal, 21(3):421-443, 2013.
62. Claire Le Goues, ThanhVu Nguyen, Stephanie Forrest, and Westley Weimer. GenProg: A generic method for automatic software repair. IEEE Transactions on Software Engineering, 38(1):54-72, 2012.
63. Huiqing Li and Simon J. Thompson. Comparative study of refactoring haskell and erlang programs. In 6th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), pages 197-206. IEEE Computer Society, 2006.
64. Kiarash Mahdavi, Mark Harman, and Robert Mark Hierons. A multiple hill climbing approach to software module clustering. In IEEE International Conference on Software Maintenance, pages 315-324, Los Alamitos, California, USA, September 2003. IEEE Computer Society Press.
65. S. Mancoridis, B. S. Mitchell, C. Rorres, Y. Chen, and E. R. Gansner. Using Automatic Clustering to Produce High-Level System Organizations of Source Code. In Proceedings of the 6th International Workshop on Program Comprehension (IWPC 98), pages 45-52, Ischia, Italy, 24-26 June 1998. IEEE Computer Society Press.
66. David Mandelin, Lin Xu, Rastislav Bod?k, and Doug Kimelman. Jungloid mining: helping to navigate the API jungle. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2005), pages 48-61, Chicago, IL, USA, June 2005.
67. Phil McMinn, Mark Harman, Youssef Hassoun, Kiran Lakhotia, and Joachim Wegener. Input domain reduction through irrelevant variable removal and its effect on local, global and hybrid search-based structural test data generation. IEEE Transactions on Software Engineering, 38(2):453-477, March&April 2012.
68. Brian S. Mitchell and Spiros Mancoridis. Using Heuristic Search Techniques to Extract Design Abstractions from Source Code. In Proceedings of the 2002 Conference on Genetic and Evolutionary Computation (GECCO 02), pages 1375-1382, New York, USA, 9-13 July 2002. Morgan Kaufmann Publishers.
69. Brian S. Mitchell and Spiros Mancoridis. On the Automatic Modularization of Software Systems using the Bunch Tool. IEEE Transactions on Software Engineering, 32(3):193-208, March 2006.
70. Brian S. Mitchell, Martin Traverso, and Spiros Mancoridis. An architecture for distributing the computation of software clustering algorithms. In IEEE=IFIP Proceedings of the Working Conference on Software Architecture (WICSA 01), pages 181-190, Amsterdam, Netherlands, 2001. IEEE Computer Society.
71. Frank Neumann and Ingo Wegener. Minimum spanning trees made easier via multi-objective optimization. Natural Computing, 5(3):305-319, 2006.
72. Andy Nisbet. GAPS: A Compiler Framework for Genetic Algorithm (GA) Optimised Parallelisation. In Peter M. A. Sloot, Marian Bubak, and Louis O. Hertzberger, editors, Proceedings of the International Conference and Exhibition on High-Performance Computing and Networking (HPCN 98), volume 1401 of Lecture Notes In Computer Science, pages 987-989, Amsterdam, The Netherlands, 21-23 April 1998. Springer.
73. Mel O Cinnedie, Laurie Tratt, Mark Harman, Steve Counsell, and Iman Hemati Moghadam. Experimental assessment of software metrics using automated refactoring. In 6th IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2012), pages 49-58, Lund, Sweden, September 2012.
74. Mark OKeeffe and Mel O Cinnedie. Search-based software maintenance. In Conference on Software Maintenance and Reengineering (CSMR06), pages 249-260, March 2006.
75. Michael Orlov and Moshe Sipper. Flight of the FINCH through the java wilderness. IEEE Transactions Evolutionary Computation, 15(2):166-182, 2011.
76. Justyna Petke, William B. Langdon, and Mark Harman. Applying genetic improvement to minisat. In Proceedings of the 5th International Symposium on Search Based Software Engineering (SSBSE 13), volume 8084, pages 257-262, St. Petersburg, Russia, 24-26 August 2013. Springer.
77. Kata Praditwong, Mark Harman, and Xin Yao. Software module clustering as a multi-objective search problem. IEEE Transactions on Software Engineering, 37(2):264-282, 2011.
78. Yuhua Qi, Xiaoguang Mao, Yan Lei, and Chengsong Wang. Using automated program repair for evaluating the effectiveness of fault localization techniques. In International Symposium on Software Testing and Analysis (ISSTA 13), pages 191-201, Lugano, Switzerland, july 2013.
79. Outi Raiha, Kai Koskimies, and Erkki Makinen. Multi-objective genetic synthesis of software architecture. In Proceedings of the 13th Annual Conference Companion on Genetic and Evolutionary Computation (GECCO 11), pages 249-250, Dublin, Ireland, 12-16 July 2011. ACM.
80. Martin C. Rinard. Living in the comfort zone. In Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2007), pages 611-622, Montreal, Quebec, Canada, October 2007.
81. Conor Ryan. Automatic Re-Engineering of Software using Genetic Programming, volume 2. Kluwer Academic Publishers, 2000.
82. Abdel Salam Sayyad and Hany Ammar. Pareto-optimal search-based software engineering (POSBSE): A literature survey. In 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE 2013), San Francisco, CA, USA, 2013.
83. Olaf Seng, Markus Bauer, Matthias Biehl, and Gert Pache. Search-based Improvement of Subsystem Decompositions. In Proceedings of the 2005 Conference on Genetic and Evolutionary Computation (GECCO 05), pages 1045-1051, Washington, D.C., USA, 25-29 June 2005. ACM.
84. Rishabh Singh and Armando Solar-Lezama. Synthesizing data structure manipulations from storyboards. In 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering European Software Engineering Conference (ESEC/ESEC 13), pages 289-299, Szeged, Hungary, September 2011.
85. Pitchaya Sitthi-amorn, Nicholas Modly, Westley Weimer, and Jason Lawrence. Genetic programming for shader simplification. ACM Trans. Graph., 30(6):152, 2011.
86. Saurabh Srivastava, Sumit Gulwani, and Jeffrey S. Foster. From program verification to program synthesis. In Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2010), pages 313-326, January 2010.
87. Shuai Wang, Shaukat Ali, and Arnaud Gotlieb. Minimizing test suites in software product lines using weight-based genetic algorithms. In Proceeding of The 15th Annual Conference on Genetic and Evolutionary Computation (GECCO 13), pages 1493-1500, Amsterdam, The Netherlands, 6-10 July 2013. ACM.
88. Martin P. Ward. Reverse engineering through formal transformation: Knuths polynomial addition algorithm. Comput. J., 37(9):795-813, 1994.
89. David Robert White, Andrea Arcuri, and John A. Clark. Evolutionary improvement of programs. IEEE Transactions on Evolutionary Computation, 15(4):515-538, 2011.
90. N. Wilde, J.A. Gomez, T. Gust, and D. Strasburg. Locating user functionality in old code. In Proceedings of the IEEE Conference on Software Maintenance, pages 200-205, Los Alamitos, California, USA, 1992. IEEE Computer Society Press.
91. Kenneth Peter Williams. Evolutionary Algorithms for Automatic Parallelization. Ph.D. thesis, University of Reading, UK, Department of Computer Science, September 1998.
92. Shin Yoo and Mark Harman. Regression testing minimisation, selection and prioritisation: A survey. Journal of Software Testing, Verification and Reliability, 22(2):67-120, 2012.
93. Xiangyu Zhang, Haifeng He, Neelam Gupta, and Rajiv Gupta. Experimental evaluation of using dynamic slices for fault location. In International Workshop on Automated and Algorithmic Debugging(AADEBUG 2005), pages 33-42, Monterey, California, USA, September 2005. ACM