Unifying program slicing and concept assignment for higher-level executable source code extraction

Software - Practice and Experience

Volumn 35, Issue 10, 2005, Pages 977-1006

  Gold, N E ^a   Harman, M ^a   Binkley, D ^b   Hierons, R M ^c  

^a KING'S COLLEGE LONDON   (United Kingdom)

^b LOYOLA UNIVERSITY MARYLAND   (United States)

^c BRUNEL UNIVERSITY   (United Kingdom)

Author keywords

Concept assignment; Program slicing; Reverse engineering

Indexed keywords

ALGORITHMS; CALCULATIONS; COBOL (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE; ERROR ANALYSIS; REVERSE ENGINEERING;

CONCEPT ASSIGNMENT; DEPENDENCY GRAPH; HIERARCHY; PROGRAM SLICING;

CODES (SYMBOLS);

EID: 23744507856     PISSN: 00380644     EISSN: None     Source Type: Journal    
DOI: 10.1002/spe.664     Document Type: Article

References (54)

1. Weiser M. Program slices: Formal, psychological, and practical investigations of an automatic program abstraction method. PhD Thesis, University of Michigan, Ann Arbor, MI, 1979.
2. Korel B, Laski J. Dynamic program slicing. Information Processing Letters 1988; 29(3):155-163.
3. Harman M, Binkley DW, Danicic S. Amorphous program slicing. Journal of Systems and Software 2003; 68(1):45-64.
4. Harman M, Hu L, Munro M, Zhang X, Binkley DW, Danictic S, Daoudi M, Ouarbya L. Syntax-directed amorphous slicing. Journal of Automated Software Engineering 2004; 11(1):27-61.
5. Canfora G, Cimitile A, De Lucia A. Conditioned program slicing. Information and Software Technology (Special Issue on Program Slicing) 1998; 40:595-607.
6. Fox C, Danicic S, Harman M, Hierons RM. ConSIT: A fully automated conditioned program slicer. Software - Practice and Experience 2004; 34:15-46.
7. Binkley DW, Gallagher KB. Program slicing (Advances in Computing, vol. 43), Zelkowitz M (ed.). Academic Press: Reading, MA, 1996; 1-50.
8. Binkley DW, Harman M. A survey of empirical results on program slicing. Advances in Computers 2004; 62:105-178.
9. De Lucia A. Program slicing: Methods and applications. Proceedings of the 1st IEEE International Workshop on Source Code Analysis and Manipulation, Florence, Italy, 2001. IEEE Computer Society Press: Los Alamitos, CA, 2001; 142-149.
10. Harman M, Hierons RM. An overview of program slicing. Software Focus 2001; 2(3):85-92.
11. Tip F. A survey of program slicing techniques. Journal of Programming Languages 1995; 3(3):121-189.
12. Gold NE, Bennett KH. Hypothesis-based concept assignment in software maintenance. IEE Proceedings - Software 2002; 149(4): 103-110.
13. Biggerstaff TJ, Mitbander B, Webster D. The concept assignment problem in program understanding. Proceedings of the 5th International Conference on Software Engineering, Baltimore, MD, May 1993. IEEE Computer Society Press: Los Alamitos, CA, 1993.
14. Weiser M. Program slicing. IEEE Transactions on Software Engineering 1984; 10(4):352-357.
15. Binkley DW. Precise executable interprocedural slices. ACM Letters on Programming Languages and Systems 1993; 3(1-4):31-45.
16. Horwitz S, Reps T, Binkley DW. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems 1990; 12(1):26-61.
17. Gold NE. Hypothesis-based concept assignment to support software maintenance. PhD Thesis, Department of Computer Science, University of Durham, 2000.
18. Gold NE. Hypothesis-based concept assignment to support software maintenance. Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01), Florence, Italy, November 2001. IEEE Computer Society Press: Los Alamitos, CA, 2001; 545-548.
19. Gold NE, Bennett KH. A flexible method for segmentation in concept assignment. Proceedings of the 9th IEEE International Workshop on Program Comprehension (IWPC'01), Toronto, Canada, May 2001. IEEE Computer Society Press: Los Alamitos, CA, 2001; 135-144.
20. Kohonen T. Self-Organizing Maps (Springer Series in Information Sciences, vol. 30), (2nd edn). Springer: Berlin, 1997.
21. Bieman JM, Ott LM. Measuring functional cohesion. IEEE Transactions on Software Engineering 1994; 20(8):644-657.
22. Ott LM. Using slice profiles and metrics during software maintenance. Proceedings of the 10th Annual Software Reliability Symposium. IEEE Computer Society Press: Los Alamitos, CA, 1992; 16-23.
23. Longworth HD, Ott LM, Smith MR. The relationship between program complexity and slice complexity during debugging tasks. Proceedings of the Computer Software and Applications Conference (COMPSAC'86). IEEE Computer Society Press: Los Alamitos, CA, 1986; 383-389.
24. Ott LM, Bieman JM. Program slices as an abstraction for cohesion measurement. Information and Software Technology (Special Issue on Program Slicing) 1998; 40:681-699.
25. Ott LM, Thuss JJ. The relationship between slices and module cohesion. Proceedings of the 11th ACM Conference on Software Engineering, May 1989. ACM Press, 1989; 198-204.
26. Ott LM, Thuss JJ. Slice based metrics for estimating cohesion. Proceedings of the IEEE-CS International Metrics Symposium, Baltimore, MD, May 1993. IEEE Computer Society Press: Los Alamitos, CA, 1993; 71-81.
27. Ball T, Eick SG. Visualizing program slices. Proceedings of the Symposium on Visual Languages, Los Alamitos, CA, October 1994, Ambler AL, Kimura TD (eds.). IEEE Computer Society Press: Los Alamitos, CA, 1994; 288-295.
28. Harman M, Okunlawon M, Sivagurunathan B, Danicic S. Slice-based measurement of coupling. Proceedings of the 19th ICSE, Workshop on Process Modelling and Empirical Studies of Software Evolution, Boston, MA, May 1997, Harrison R (ed.). 1997.
29. Shepperd MJ. Foundations of Software Measurement. Prentice Hall: Englewood Cliffs, NJ, 1995.
30. Fenton NE. Software Metrics: A Rigorous Approach. Chapman and Hall, 1990.
31. Grammatech Inc. The Codesurfer Slicing System, 2002. http://www.grammatech.com.
32. GNU. http://www.gnu.org/directory/acct.html [2003].
33. Binkley DW, Harman M. A large-scale empirical study of forward and backward static slice size and context sensitivity. Proceedings of the IEEE International Conference on Software Maintenance (ICSM 2003), Amsterdam, Netherlands, September 2003. IEEE Computer Society Press: Los Alamitos, CA, 2003; 44-53.
34. Karakostas V. Intelligent search and acquisition of business knowledge from programs. Journal of Software Maintenance: Research and Practice 1992; 4:1-17.
35. Cimitile A, Fasolino AR, Marascea P. Reuse reengineering and validation via concept assignment. Proceedings of the International Conference on Software Maintenance 1993, September 1993. IEEE Computer Society Press: Los Alamitos, CA, 1993; 216-225.
36. Devanbu P, Brachman RJ, Selfridge PG, Ballard BW. LaSSIE: A knowledge-based software information system. Communications of the ACM 1991; 34(5):35-49.
37. Rich C, Waters RC. The Programmer's Apprentice (Frontier Series). ACM Press: New York, 1990.
38. Wills LM. Automated program recognition by graph parsing. PhD Thesis, AI Lab, Massachusetts Institute of Technology, 1992.
39. Biggerstaff TJ, Mitbander B, Webster D. Program understanding and the concept assignment problem. Communications of the ACM 1994; 37(5):72-82.
40. Merlo E, McAdam I, Mori RD. Feed-forward and recurrent neural networks for source code informal information analysis. Journal of Software Maintenance and Evolution 2003; 15:205-244.
41. Anquetil N, Lethbridge T. Extracting concepts from file names; a new file clustering criterion. Proceedings of the 20th IEEE International Conference and Software Engineering (ICSE 1998), Kyoto, Japan, April 1998. IEEE Computer Society Press: Los Alamitos, CA, 1998; 84-93.
42. Maletic JI, Marcus A. Supporting program comprehension using semantic and structural information. Proceedings of the 23rd International Conference on Software Engineering (ICSE2001), Toronto, Canada, May 2001. IEEE Computer Society Press: Los Alamitos, CA, 2001; 103-112.
43. Wilde N, Scully M. Software reconnaisance: mapping program features to code. Journal of Software Maintenance: Research and Practice 1995; 49-62.
44. Lanubile F, Visaggio G. Extracting reusable functions by flow graph-based program slicing. IEEE Transactions on Software Engineering 1997; 23(4):246-259.
45. Ning JQ, Engberts A, Kozaczynski W. Recovering reusable components from legacy systems by program segmentation. IEEE Working Conference on Reverse Engineering, Sorrento, Italy, 1993. IEEE Computer Society Press: Los Alamitos, CA, 1993; 64-72.
46. Canfora G, Cimitile A, De Lucia A, Lucca GAD. Software salvaging based on conditions. International Conference on Software Maintenance (ICSM'96), Victoria, Canada, September 1994. IEEE Computer Society Press: Los Alamitos, CA, 1994; 424-433.
47. Danicic S, Daoudi M, Fox C, Harman M, Hierons RM, Howroyd J, Ouarbya L, Ward M. Light-weight program conditioning. Journal of Systems and Software (to appear).
48. Field J, Ramalingam G, Tip F. Parametric program slicing. Proceedings of the 22nd ACM Symposium on Principles of Programming Languages, San Francisco, CA, 1995. 1995; 379-392.
49. Cimitile A, De Lucia A, Munro M. A specification driven slicing process for identifying reusable functions. Software Maintenance: Research and Practice 1996; 8:145-178.
50. Beszedes A, Gyimothy T. Union slices for the approximation of the precise slice. IEEE International Conference on Software Maintenance (ICSM 2002), Montreal, Canada, October 2002. IEEE Computer Society Press: Los Alamitos, CA, 2002; 12-20.
51. Hall RJ. Automatic extraction of executable program subsets by simultaneous dynamic program slicing. Automated Software Engineering 1995; 2(1):33-53.
52. De Lucia A, Harman M, Hierons R, Krinke J. Unions of slices are not slices. Proceedings of the 7th IEEE European Conference on Software Maintenance and Reengineering (CSMR 2003), Benevento, Italy, March 2003. IEEE Computer Society Press: Los Alamitos, CA, 2003; 363-367.
53. Danicic S, De Lucia A, Harman M. Building executable union slices using conditioned slicing. Proceedings of the 12th International Workshop on Program Comprehension (IWPC 2004), Bari, Italy, June 2004. IEEE Computer Society Press: Los Alamitos, CA, 2004.
54. Harman M, Gold N, Hierons RM, Binkley DW. Code extraction algorithms which unify slicing and concept assignment. Proceedings of the IEEE Working Conference on Reverse Engineering (WCRE 2002), Richmond, VA, October 2002. IEEE Computer Society Press: Los Alamitos, CA, 2002; 11-21.