Conditioned program slicing

Information and Software Technology

Volumn 40, Issue 11-12, 1998, Pages 595-607

  Canfora, Gerardo ^a   Cimitile, Aniello ^a   De Lucia, Andrea ^a  

^a UNIVERSITY OF SANNIO   (Italy)

Author keywords

Conditioned slicing; Program slicing

Indexed keywords

DATA REDUCTION; MATHEMATICAL MODELS;

CONDITIONED PROGRAM SLICING;

SOFTWARE ENGINEERING;

EID: 0032294765     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0950-5849(98)00086-x     Document Type: Article

References (37)

1. H. Agrawal, J.R. Horgan, Dynamic program slicing, in: Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, White Plains, New York, ACM Press, 1990, pp. 246-256.
2. A.V. Aho, R. Sethi, J.D. Ullmann, Compilers: Principles, Techniques and Tools, Addison-Wesley, Reading, MA, 1986.
3. D. Bjørner, A.P. Ershov, N.D. Jones, Partial Evaluation and Mixed Computation, North-Holland, Amsterdam, 1987.
4. R.S. Boyer, J.S. Moore, A Computational Logic, Academic Press, New York, 1979.
5. R. Brooks, Towards a theory of the comprehension of computer programs, International Journal of Man-Machines Studies 18(6) (1983) 543-554.
6. G. Canfora, A. Cimitile, A. De Lucia, G.A. Di Lucca, Software salvaging based on conditions, in: Proceedings of International Conference on Software Maintenance, Victoria, British Columbia, Canada, IEEE CS Press, 1994, pp. 424-433.
7. G. Canfora, A. Cimitile, G. Visaggio, Assessing modularisation and code scavenging techniques, Journal of Software Maintenance: Research and Practice 7 (1995) 317-331.
8. J.D. Choi, J. Ferrante, Static slicing in the presence of goto statements, ACM Transactions on Programming Languages and Systems 16(4) (1994) 1097-1113.
9. A. Cimitile, A. De Lucia, M. Munro, Qualifying reusable functions using symbolic execution, in: Proceedings of 2nd Working Conference on Reverse Engineering, Toronto, Ontario, Canada, IEEE CS Press, 1995, pp. 178-187.
10. A. Cimitile, A. De Lucia, M. Munro, Identifying reusable functions using specification driven program slicing: a case study, in: Proceedings of International Conference on Software Maintenance, Nice, France, IEEE CS Press, 1995, pp. 124-133.
11. A. Coen-Porisini, F. De Paoli, C. Ghezzi, D. Mandrioli, Software specialization via symbolic execution, IEEE Transactions on Software Engineering 17(9) (1991) 884-899.
12. P.D. Coward, Symbolic execution systems - a review, Software Engineering Journal 3(6) (1988) 229-239.
13. S. Danicic, M. Harman, Y. Sivagurunathan, A parallel algorithm for static program slicing, Information Processing Letters 56 (1995) 307-313.
14. A. De Lucia, A.R. Fasolino, M. Munro, Understanding function behaviors through program slicing, in: Proceedings of 4th Workshop on Program Comprehension, Berlin, Germany, IEEE CS Press, 1996, pp. 9-18.
15. J. Ferrante, K.J. Ottenstain, J. Warren, The program dependence graph and its use in optimization, ACM Transactions on Programming Languages and Systems 9(3) (1987) 319-349.
16. J. Field, G. Ramalingam, F. Tip, Parametric program slicing, in: Proceedings of 22nd ACM Symposium on Principles of Programming Languages, San Francisco, CA, ACM Press, 1995, pp. 379-392.
17. K.B. Gallagher, J.R. Lyle, Using program slicing in software maintenance, IEEE Transactions on Software Engineering 17(8) (1991) 751-761.
18. R. Gupta, M.J. Harrold, M.L. Soffa, An approach to regression testing using slicing, in: Proceedings of Conference on Software Maintenance, Orlando, FL, IEEE CS Press, 1992, pp. 299-308.
19. R.J. Hall, Automatic extraction of executable program subsets by simultaneous program slicing, Journal of Automated Software Engineering 2(1) (1995) 33-53.
20. M. Harman, S. Danicic, Y. Sivagurunathan, Program comprehension assisted by slicing and transformation, in: Proceedings of the 1st U.K. Workshop on Program Comprehension, Durham, U.K., 1995.
21. M. Harman, S. Danicic, Amorphous program slicing, in: Proceedings of 5th International Workshop on Program Comprehension, Dearborn, MI, IEEE CS Press, 1997, pp. 70-79.
22. M.J. Harrold, M.L. Soffa, Selecting data-flow integration testing, IEEE Software 8(2) (1991) 58-65.
23. S. Horwitz, J. Prins, T. Reps, Integrating non-interfering versions of programs, ACM Transactions on Programming Languages and Systems 11(3) (1989) 345-387.
24. S. Horwitz, T. Reps, D. Binkley, Interprocedural slicing using dependence graphs, ACM Transactions on Programming Languages and Systems 12(1) (1990) 26-60.
25. M. Kamkar, P. Fritzson, N. Shahmerhi, Three approaches to interprocedural dynamic slicing, EUROMICRO Journal of Microprocessing and Microprogramming 38 (1993) 625-636.
26. J.C. King, Symbolic execution and program testing, Communications of the ACM 19(7) (1976) 385-394.
27. D.A. Kinloch, M. Munro, Understanding C programs using the combined C graph representation, in: Proceedings of International Conference on Software Maintenance, Victoria, British Columbia, Canada, IEEE CS Press, 1994, pp. 172-180.
28. H.S. Kim, Y.R. Kwon, Restructuring programs through program slicing, International Journal on Software Engineering and Knowledge Engineering 4(3) (1994) 349-368.
29. B. Korel, J. Laski, Dynamic slicing of computer programs, The Journal of Systems and Software 13(3) (1990) 187-195.
30. F. Lanubile, G. Visaggio, Extracting reusable functions by flow graph-based program slicing, IEEE Transactions on Software Engineering 23(4) (1997) 246-259.
31. J.Q. Ning, A. Engberts, W. Kozaczynski, Recovering reusable components from legacy systems by program segmentation, in: Proceedings of 1st Working Conference on Reverse Engineering, Baltimore, MD, IEEE CS Press, 1993, pp. 64-72.
32. L. Ott, J. Thuss, The relationship between slices and module cohesion, in: Proceedings of 11th International Conference on Software Engineering, IEEE CS, 1989, pp. 198-204.
33. K.J. Ottenstain, L.M. Ottenstain, The program dependence graph in a software development environment, ACM SIGPLAN Notices 19(5) (1984) 177-184.
34. F. Tip, A survey of program slicing techniques, Journal of Programming Languages 3 (1995) 121-189.
35. G.A. Venkatesh, The semantic approach to program slicing, ACM SIGPLAN Notices 26(6) (1991) 107-119.
36. M. Weiser, Programmers use slices when debugging, Communications of the ACM 25 (1982) 446-452.
37. M. Weiser, Program slicing, IEEE Transactions on Software Engineering SE-10(4) (1984) 352-357.