Locating dependence structures using search-based slicing

Information and Software Technology

Volumn 50, Issue 12, 2008, Pages 1189-1209

  Jiang, Tao ^a   Gold, Nicolas ^a   Harman, Mark ^a   Li, Zheng ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

Program slicing; Search Based Software Engineering

Indexed keywords

ALGORITHM PERFORMANCE; EMPIRICAL STUDIES; PROGRAM SLICING; SEARCH-BASED SOFTWARE ENGINEERING; SLICING PROBLEM;

SOFTWARE ENGINEERING;

EID: 51449110896     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2007.11.001     Document Type: Article

References (79)

1. Aguilar-Ruiz J., Ramos I., Riquelme J.C., and Toro M. An evolutionary approach to estimating software development projects. Information and Software Technology 43 14 (2001) 875-882
2. B.W. Boehm, J.R. Brown, H. Kaspar, M. Lipow, G.J. MacLeod, M.J. Merritt, Characteristics of software quality, in: TRW and North-Holland Publishing Co., Amsterdam, Holand, 1978.
3. G. Antoniol, M. Di Penta, M. Harman, A robust search-based approach to project management in the presence of abandonment, rework, error and uncertainty, in: Tenth International Software Metrics Symposium (METRICS 2004), September 2004, Los Alamitos, California, USA, IEEE Computer Society Press, 2004, pp. 172-183.
4. G. Antoniol, M.D. Penta, M. Harman, Search-based techniques applied to optimization of project planning for a massive maintenance project, in: Twenty-first IEEE International Conference on Software Maintenance, Los Alamitos, California, USA, IEEE Computer Society Press, 2005, pp. 240-249.
5. Bagnall A., Rayward-Smith V., and Whittley I. The next release problem. Information and Software Technology 43 14 (2001) 883-890
6. B. Baker, On finding duplication and near-duplication in large software systems, in: Working Conference on Reverse Engineering 1995, 1995.
7. A. Baresel, D.W. Binkley, M. Harman, B. Korel, Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach, in: International Symposium on Software Testing and Analysis (ISSTA 2004), Omni Parker House Hotel, Boston, Massachusetts, July 2004, Software Engineering Notes 29 (4) (2004) 108-118.
8. A. Baresel, H. Sthamer, M. Schmidt, Fitness function design to improve evolutionary structural testing, in: GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, 9-13 July 2002, San Francisco, CA 94104, USA, Morgan Kaufmann Publishers, 2002, pp. 1329-1336.
9. I. Baxter, A. Yahin, L. Moura, M.S. Anna, Clone detection using abstract syntax trees, in: International Conference on Software Maintenance, 1998.
10. Bieman J.M., and Ott L.M. Measuring functional cohesion. IEEE Transactions on Software Engineering 20 8 (1994) 644-657
11. D. Binkley, M. Harman, Locating dependence clusters and dependence pollution, in: Twenty-first IEEE International Conference on Software Maintenance, Los Alamitos, California, USA, IEEE Computer Society Press, 2005, pp. 177-186.
12. Binkley D.W. The application of program slicing to regression testing. Information and Software Technology Special Issue on Program Slicing 40 11-12 (1998) 583-594
13. Binkley D.W., and Harman M. Analysis and visualization of predicate dependence on formal parameters and global variables. IEEE Transactions on Software Engineering 30 11 (2004) 715-735
14. B.W. Boehm, J.R. Brown, M. Lipow, Quantitative evaluation of software quality, in: ICSE '76: Proceedings of the Second International Conference on Software engineering, Los Alamitos, CA, USA, IEEE Computer Society Press, 1976, pp. 592-605.
15. L. Bottaci, Instrumenting programs with flag variables for test data search by genetic algorithms, in: GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, 9-13 July 2002, New York, Morgan Kaufmann Publishers, 2002, pp. 1337-1342.
16. S. Bouktif, G. Antoniol, E. Merlo, M. Neteler, A novel approach to optimize clone refactoring activity, in: GECCO 2006: Proceedings of the Eighth Annual Conference on Genetic and Evolutionary Computation, 8-12 July 2006, vol. 2, Seattle, Washington, USA, ACM Press, 2006, pp. 1885-1892.
17. S. Bouktif, H. Sahraoui, G. Antoniol, Simulated annealing for improving software quality prediction, in: GECCO 2006: Proceedings of the Eighth Annual Conference on Genetic and Evolutionary Computation, 8-12 July 2006, vol. 2, Seattle, Washington, USA, ACM Press, 2006, pp. 1893-1900.
18. L.C. Briand, J. Feng, Y. Labiche, Using genetic algorithms and coupling measures to devise optimal integration test orders, in: SEKE, 2002, pp. 43-50.
19. L.C. Briand, Y. Labiche, M. Shousha, Stress testing real-time systems with genetic algorithms, in: H.-G. Beyer, U.-M. O'Reilly (Eds.), Genetic and Evolutionary Computation Conference, GECCO 2005 Proceedings, 25-29 June 2005, Washington DC, USA, ACM Press, 2005, pp. 1021-1028.
20. Burgess C.J., and Lefley M. Can genetic programming improve software effort estimation? A comparative evaluation. Information and Software Technology 43 14 (2001) 863-873
21. G. Canfora, A. Cimitile, A. De Lucia, G.A.D. Lucca, Software salvaging based on conditions, in: International Conference on Software Maintenance, September 1994, Los Alamitos, California, USA, IEEE Computer Society Press, pp. 424-433.
22. G. Canfora, M.D. Penta, R. Esposito, M.L. Villani, An approach for qoS-aware service composition based on genetic algorithms, in: H.-G. Beyer, U.-M. O'Reilly (Eds.), Genetic and Evolutionary Computation Conference, GECCO 2005 Proceedings, June 25-29, 2005, Washington DC, USA, ACM Press, 2005, pp. 1069-1075.
23. Clark J., Dolado J.J., Harman M., Hierons R.M., Jones B., Lumkin M., Mitchell B., Mancoridis S., Rees K., Roper M., and Shepperd M. Reformulating software engineering as a search problem. IEE Proceedings - Software 150 3 (2003) 161-175
24. M. Cohen, S.B. Kooi, W. Srisa-an, Clustering the heap in multi-threaded applications for improved garbage collection, in: GECCO 2006: Proceedings of the Eighth Annual Conference on Genetic and Evolutionary Computation, 8-12 July 2006, vol. 2, Seattle, Washington, USA, ACM Press, 2006, pp. 1901-1908.
25. K.D. Cooper, P.J. Schielke, D. Subramanian, Optimizing for reduced code space using genetic algorithms, in: Proceedings of the ACM Sigplan 1999 Workshop on Languages, Compilers and Tools for Embedded Systems (LCTES'99), May 5 1999, vol. 34.7 ACM Sigplan Notices, NY, ACM Press, 1999, pp. 1-9.
26. A. De Lucia, A.R. Fasolino, M. Munro, Understanding function behaviours through program slicing, in: Fourth IEEE Workshop on Program Comprehension, March 1996, Los Alamitos, California, USA, IEEE Computer Society Press, 1996, pp. 9-18.
27. Dolado J.J. A validation of the component-based method for software size estimation. IEEE Transactions on Software Engineering 26 10 (2000) 1006-1021
28. S. Ducasse, M. Rieger, S. Demeyer, A language independent approach for detecting duplicated code, in: International Conference on Software Maintenance, 1999.
29. D. Fatiregun, M. Harman, R. Hierons, Evolving transformation sequences using genetic algorithms, in: Fourth International Workshop on Source Code Analysis and Manipulation (SCAM 04), September 2004, Los Alamitos, California, USA, IEEE Computer Society Press, 2004, pp. 65-74.
30. D. Fatiregun, M. Harman, R. Hierons, Search-based amorphous slicing, in: Twelfth International Working Conference on Reverse Engineering (WCRE 05), November 2005, Carnegie Mellon University, Pittsburgh, Pennsylvania, USA, 2005, pp. 3-12.
31. U. Feige, P. Tetali, Approximating min sum set cover, in: Algorithmica, vol. 40, Springer, New York, 2004, pp. 219-234.
32. K.B. Gallagher, Using program slicing in software maintenance, Ph.D. thesis, University of Maryland, College Park, Maryland, 1990.
33. K.B. Gallagher, Evaluating the surgeon's assistant: results of a pilot study, in: Proceedings of the International Conference on Software Maintenance, November 1992, Los Alamitos, California, USA, IEEE Computer Society Press, 1992, pp. 236-244.
34. Gallagher K.B., and Lyle J.R. Using program slicing in software maintenance. IEEE Transactions on Software Engineering 17 8 (1991) 751-761
35. Goldberg D.E. Genetic Algorithms in Search, Optimization and Machine Learning (1989), Addison-Wesley, Reading, MA
36. Grammatech Inc., The codesurfer slicing system, 2002.
37. Guo Q., Hierons R.M., Harman M., and Derderian K. Constructing multiple unique input/output sequences using evolutionary optimisation techniques. IEE Proceedings - Software 152 3 (2005) 127-140
38. M. Harman, R. Hierons, M. Proctor, A new representation and crossover operator for search-based optimization of software modularization, in: GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, 9-13 July 2002, San Francisco, CA 94104, USA, Morgan Kaufmann Publishers, 2002, pp. 1351-1358.
39. Harman M., Hu L., Hierons R.M., Wegener J., Sthamer H., Baresel A., and Roper M. Testability transformation. IEEE Transactions on Software Engineering 30 1 (2004) 3-16
40. Harman M., and Jones B.F. Search based software engineering. Information and Software Technology 43 14 (2001) 833-839
41. Hochbaum D.S. Approximation algorithms for NP-hard problems (1997), PWS Publishing, Boston, MA, US
42. Horwitz S., Prins J., and Reps T. Integrating non-interfering versions of programs. ACM Transactions on Programming Languages and Systems 11 3 (1989) 345-387
43. S. Horwitz, T. Reps, D.W. Binkley, Interprocedural slicing using dependence graphs, in: ACM SIGPLAN Conference on Programming Language Design and Implementation, June 1988, Atlanta, Georgia, 1988, pp. 25-46; Proceedings in SIGPLAN Notices, 23(7) (1988) 35-46.
44. Horwitz S., Reps T., and Binkley D.W. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems 12 1 (1990) 26-61
45. J. Johnson, Identifying redundancy in source code using fingerprints, in: Cascon, 1993.
46. Kamiya T., Kusumoto S., and Ccfinder K.I. A multi-linguistic token-based code clone detection system for large scale source code. IEEE Trans. Software Engineering 28 7 (2002) 654-670
47. Khoshgoftaar T.M., Yi L., and Seliya N. A multiobjective module-order model for software quality enhancement. IEEE Transactions on Evolutionary Computation 8 6 (2004) 593-608
48. C. Kirsopp, M. Shepperd, J. Hart, Search heuristics, case-based reasoning and software project effort prediction, in: GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, 9-13 July 2002, San Francisco, CA 94104, USA, Morgan Kaufmann Publishers, pp. 1367-1374.
49. Komondoor R., and Horwitz S. Using slicing to identify duplication in source code. Lecture Notes in Computer Science 2126 (2001) 40
50. Kontogiannis K., Demori R., Bernstein M., Galler M., and Merlo E. Pattern matching for clone and concept detection. Automated Software Engineering 3 1 (1996)
51. J. Krinke, Identifying similar code with program dependence graphs, in: Proceedings of Eighth Working Conference on Reverse Engineering, 2001, pp. 301-309.
52. J. Krinke, Evaluating context-sensitive slicing and chopping, in: IEEE International Conference on Software Maintenance, October 2002, Los Alamitos, California, USA, IEEE Computer Society Press, pp. 22-31.
53. Lakhotia A., and Deprez J.-C. Restructuring programs by tucking statements into functions. Information and Software Technology Special Issue on Program Slicing 40 11 and 12 (1998) 677-689
54. Leon D., Masri W., and Podgurski A. An empirical evaluation of test case filtering techniques based on exercising complex information flows (2005), ACM Press, New York, NY, USA
55. Li Z., Harman M., and Hierons R. Meta-heuristic search algorithms for regression test case prioritization. IEEE Transactions on Software Engineering 33 4 (2007) 225-237
56. H.D. Longworth, L.M. Ott, M.R. Smith, The relationship between program complexity and slice complexity during debugging tasks, in: Proceedings of the Computer Software and Applications Conference (COMPSAC'86), 1986, pp. 383-389.
57. K. Mahdavi, M. Harman, R.M. Hierons, A multiple hill climbing approach to software module clustering, in: IEEE International Conference on Software Maintenance, September 2003, Los Alamitos, California, USA, IEEE Computer Society Press, pp. 315-324.
58. J. Mayrand, C. Leblanc, E. Merlo, Experiment on the automatic detection of function clones in a software system using metrics, in: International Conference on Software Maintenance, 1996.
59. P. McMinn, M. Harman, D. Binkley, P. Tonella, The species per path approach to search-based test data generation, in: International Symposium on Software Testing and Analysis (ISSTA 06), Portland, Maine, USA, 2006, pp. 13-24,.
60. T. Meyers, D.W. Binkley, Slice-based cohesion metrics and software intervention, in: Eleventh IEEE Working Conference on Reverse Engineering, November 2004, Los Alamitos, California, USA, IEEE Computer Society Press, pp. 256-266.
61. B.S. Mitchell, S. Mancoridis, Using heuristic search techniques to extract design abstractions from source code, in: GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, 9-13 July 2002, San Francisco, CA 94104, USA, Morgan Kaufmann Publishers, pp. 1375-1382.
62. Mitchell B.S., and Mancoridis S. On the automatic modularization of software systems using the bunch tool. IEEE Transactions on Software Engineering 32 3 (2006) 193-208
63. H. Naeimi, A. DeHon, A Greedy Algorithm for tolerating defective crosspoints in NanoPLA design, in: Proceedings of the International Conference on Field-Programmable Technology (ICFPT2004), December 2004, pp. 49-56.
64. M. O'Keeffe, M. OCinneide, Search-based software maintenance, in: Conference on Software Maintenance and Reengineering (CSMR'06), March 2006, pp. 249-260.
65. L.M. Ott, Using slice profiles and metrics during software maintenance, in: Proceedings of the Tenth Annual Software Reliability Symposium, 1992, pp. 16-23.
66. L.M. Ott, J.M. Bieman, Effects of software changes on module cohesion, in: IEEE Conference on Software Maintenance, November 1992, pp. 345-353.
67. Ott L.M., and Bieman J.M. Program slices as an abstraction for cohesion measurement. Information and Software Technology Special Issue on Program Slicing 40 11-12 (1998) 681-699
68. L.M. Ott, J.J. Thuss, The relationship between slices and module cohesion, in: Proceedings of the Eleventh ACM Conference on Software Engineering, May 1989, pp. 198-204.
69. L.M. Ott, J.J. Thuss, Slice based metrics for estimating cohesion, in: Proceedings of the IEEE-CS International Metrics Symposium, May 1993, Los Alamitos, California, USA, IEEE Computer Society Press, pp. 71-81.
70. F.V. Rysselbergh, S. Demeye, Evaluating clone detection techniques, in: Proceedings of the International Workshop on Evolution of Large Scale Industrial Software Applications, 2003.
71. O. Seng, M. Bauer, M. Biehl, G. Pache, Search-based improvement of subsystem decompositions, in: H.-G. Beyer, U.-M. O'Reilly (Eds.), Genetic and Evolutionary Computation Conference, GECCO 2005 Proceedings, 25-29 June 2005,Washington DC, USA, ACM, 2005, pp. 1045-1051.
72. O. Seng, J. Stammel, D. Burkhart, Search-based determination of refactorings for improving the class structure of object-oriented systems, in: GECCO 2006: Proceedings of the Eighth Annual Conference on Genetic and Evolutionary Computation, vol. 2, 8-12 July 2006, Seattle, Washington, USA, ACM Press, pp. 1909-1916.
73. Tonella P. Using a concept lattice of decomposition slices for program understanding and impact analysis. IEEE Transactions on Software Engineering 29 6 (2003) 495-509
74. Wegener J., Baresel A., and Sthamer H. Evolutionary test environment for automatic structural testing. Information and Software Technology Special Issue on Software Engineering using Metaheuristic Innovative Algorithms 43 14 (2001) 841-854
75. M. Weiser, Program slicing, in: Fifth International Conference on Software Engineering, March 1981, San Diego, CA, pp. 439-449.
76. Weiser M. Reconstructing sequential behaviour from parallel behaviour projections. Information Processing Letters 17 10 (1983) 129-135
77. Weiser M. Program slicing. IEEE Transactions on Software Engineering 10 4 (1984) 352-357
78. Whitley D. A genetic algorithm tutorial. Statistics and Computing 4 (1994) 65-85
79. Whitley D. An overview of evolutionary algorithms: practical issues and common pitfalls. Information and Software Technology 43 14 (2001) 817-831