Forward computation of dynamic program slices

Proceedings of the 1994 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1994

Volumn , Issue , 1994, Pages 66-79

  Korel, Bogdan ^a   Yalamanchili, Satish ^a  

^a WAYNE STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

PROGRAM DEBUGGING;

DEPENDENCE RELATION; DYNAMIC PROGRAMS; DYNAMIC SLICING; EXECUTION TRACE; FORWARD COMPUTATION; PROGRAM EXECUTION; SLICE ALGORITHMS; SPACE COMPLEXITY;

SOFTWARE TESTING;

EID: 84980046752     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/186258.186514     Document Type: Conference Paper

References (26)

1. [Agr90] H. Agrawal, J. Horgan, "Dynamic program slicing" SIGPLAN Notices, Vol. 25, No. 6, June 1990, pp. 246-256.
2. [Agr93] H. Agrawal, R. DeMillo, E. Spafford, "Debugging with dynamic slicing and backtracking", Software Practice & Experience, vol. 23, No. 6, 1993, pp. 589-616.
3. [Bal69] R. Balzer, "Exdams: Extendible debugging and Monitoring system", Proc. Spring Joint Computer Conf., AFTPS Press, Reston, Va., 1969, pp. 567-580.
4. [Bal93] T. Ball, S. Horwitz, "Slicing programs with arbitrary control-flow", Proceedings of the 1-st International Workshop on Automated and Algorithmic Debugging, Linkoping, Sweden, 1993, pp. 228-243.
5. [Che93] J. Cheng, "Slicing concurrent programs", Proceedings of the 1-st International Workshop on Automated and Algorithmic Debugging, Linkoping, Sweden, 1993, pp. 244-261.
6. [Cho91] J. Choi, B. Miller, R. Netzer, "Techniques for debugging parallel programs with flow back analysis", ACM Tran, on Programming Languages and Systems, vol. 13, No. 4, October 1991, 491-530.
7. [Pue92] E. Duesterwald, R. Gupta, M. L. Soffa, "Distributed slicing and partial re-execution for distributed programs", Proc. 5th Workshop on Languages and Compilers for Parallel Computing, 1992, pp. 329-337.
8. [Fer92] R. Ferguson, "Test Data Generation for Sequential and Distributed Programs", Ph. D. Thesis, Wayne State University, 1992.
9. [Gal91] K. Gallagher, J. Lyle, "Using program slicing in software maintenance", IEEE Transactions on Software Engineering, vol. 17, No. 8, August 1991, pp. 751-761.
10. [Gop91] R. Gopal, "Dynamic program slicing based on dependence relations", Proceedings of the Conference on Software Maintenance 1991, Sorrento, Italy, 1991, pp. 191-200.
11. [Gup92] R. Gupta, M. Harrold, M. Soffa, "An approach to regression testing using slicing", Conference on Software Maintenance, 1992, pp. 299-308.
12. [Hor90] S. Horwitz, T. Reps, D. Binkley, "Interprocedural slicing using dependence graphs", Trans, on Programming Languages and Systems, vol. 12, No. 1, pp. 26-60, 1990.
13. [Kam93a] M. Kamkar, Interprocedural Dynamic Slicing with Applications to Debugging and Testing, Ph. D. Thesis, Linkoping University, 1993.
14. [Kam93b] M. Kamkar, P. Fritzson, N. Shahmehri, "Interprocedural dynamic slicing applied to interprocedural data flow testing", Conference on Software Maintenance, Montreal, 1993, pp. 386-395.
15. [Kor87] B. Korel, "The program dependence graph in static program testing", Information Processing Letters, vol. 24, Jan. 1987, pp. 103-108
16. [Kor88a] B. Korel, "PELAS - Program Error Locating Assistant System", IEEE Trans, on Software Engineering, vol. SE-14, No. 9, September 1988, pp. 1253-1260.
17. [Kor88b] B. Korel, J. Laski, "Dynamic program slicing", Information Processing Letters, vol. 29, No. 3, October 1988, pp. 155-163.
18. [Kor90a] B. Korel, "Automated software test data generation", IEEE Trans, on Software Engineering, vol. SE-16, No. 8, 1990, pp. 870-879.
19. [Kor90b] B. Korel, J. Laski, "Dynamic slicing in computer programs", The Journal of Systems and Software, vol. 13, No. 3, 1990, pp. 187-195.
20. [Kor92] B. Korel, R. Ferguson, "Dynamic slicing of distributed programs", Applied Mathematics & Computer Science Journal, vol. 2, No. 2, 1992, pp. 199-215.
21. [Kor93] B. Korel, "Identifying faulty modifications in software maintenance", Proceedings of the 1-st International Workshop on Automated and Algorithmic Debugging, Linkoping, Sweden, 1993, pp. 341-356.
22. [Lyl86] J. Lyle, M. Weiser, ""Experiments on slicingbased debugging tools", Proceedings of the First Conference on Empirical Studies of Programming, June 1986, pp. 187-197.
23. [Sid91] K. Siddiqui, Experimental comparison of static and dynamic program slicing, Master Essay, Department of Computer Science, Wayne State University, 1991.
24. [Wei82] M. Weiser, "Programmers use slices when debugging", Comm. of ACM, vol. 25, No. 7, July 1982, pp. 446-452.
25. [Wei84] M. Weiser, "Program slicing", IEEE Trans, on Software Engineering, vol. SE-10, No. 4, July 1982, pp. 352-357.
26. [Whi92] L. White, H. Leung, "Regression testability", IEEE Micro, April 1992, pp. 81-85.