Hybrid Slicing: Integrating Dynamic Information with Static Analysis

ACM Transactions on Software Engineering and Methodology

Volumn 6, Issue 4, 1997, Pages 370-397

  Gupta, Rajiv ^a   Soffa, Mary Lou ^a   Howard, John ^a  

^a University of Pittsburgh   (United States)

Author keywords

Algorithms; Breakpoint; D.2.5 Software Engineering : Testing and Debugging; Dynamic call graph; Dynamic slice; Experimentation; Hybrid slice; Static slice; Theory

Indexed keywords

ALGORITHMS; COMPUTATION THEORY; COMPUTER SOFTWARE; SOFTWARE ENGINEERING;

BREAKPOINT; DYNAMIC CALL GRAPH; DYNAMIC SLICE; HYBRID SLICE; STATIC SLICE;

PROGRAM DEBUGGING;

EID: 0031258855     PISSN: 1049331X     EISSN: None     Source Type: Journal    
DOI: 10.1145/261640.261644     Document Type: Article

References (23)

1. AGRAWAL, H. 1994. On slicing programs with jump statements. In Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation. ACM, New York, 302-312.
2. AGRAWAL, H. AND HORGAN, B. 1990. Dynamic program slicing. In Proceedings of the SIG-PLAN Conference on Programming Language Design and Implementation. ACM, New York, 246-256.
3. AHO, A., SETHI, R., AND ULLMAN, J. 1986. Compiler Principles, Techniques, and Tools. Addison-Wesley, Reading, Mass.
4. BALL, T. AND LARUS, J. R. 1994. Optimally profiling and tracing programs. ACM Trans. Program. Lang. Syst. 16, 4 (July), 1319-1360.
5. CHOI, J-D. AND FERRANTE, J. 1994. Static slicing in the presence of Goto statements. ACM Trans. Program. Lang. Syst. 16, 4 (July), 1097-1113.
6. CHOI, J-D., MILLER, B., AND NETZER, R. 1991. Techniques for debugging parallel programs with flowback analysis. ACM Trans. Program. Lang. Syst. 13, 4, 491-530.
7. COOPER, K. 1985. Analyzing aliases of reference formal parameters. In Proceedings of the 12th ACM Symposium on Principles of Programming Languages. ACM, New York, 281-290.
8. DUESTERWALD, E., GUPTA, R., AND SOFFA, M. L. 1992a. Rigorous data flow testing through output influences. In Proceedings of the 2nd Irvine Software Symposium. 131-145.
9. DUESTERWALD, E., GUPTA, R., AND SOFFA, M. L. 1992b. Distributed slicing and partial re-execution for distributed programs. In the 5th Workshop on Languages and Compilers for Parallel Computing. Lecture Notes in Computer Science, vol. 757. Springer-Verlag, Berlin, 497-511.
10. FERRANTE, J., OTTENSTEIN, K. J., AND WARREN, J. D. 1987. The program dependence graph and its use in optimization. ACM Trans. Program. Lang. Syst. 9, 3 (July), 319-349.
11. FIELD, J., RAMALINGAM, G., AND TIP, F. 1995. Parametric program slicing. In Proceedings of the ACM Symposium on Principles of Programming Languages. ACM, New York, 379-392.
12. GUPTA, R. AND SOFFA, M. L. 1994. A framework for partial data flow analysis. In the International Conference on Software Maintenance. 4-13.
13. HORWITZ, S., REPS, T., AND BINKLEY, D. 1990. Interprocedural slicing using dependence graphs. ACM Trans. Program. Lang. Syst. 12, 1 (Jan.), 26-60.
14. JACKSON, D. AND ROLLINS, E. J. 1994. A new model of program dependences for reverse engineering. In Proceedings of the 2nd ACM SIGSOFT Symposium on the Foundations of Software Engineering. ACM, New York, 2-10.
15. KAMKAR, M., FRITZSON, P., AND SHAHMEHRI, N. 1993. Three approaches to interprocedural dynamic slicing. Microprocess. Microprogram. 38, 625-636.
16. KOREL, B. AND LASKI, J. 1988. Dynamic program slicing. Inf. Process. Lett. 29, (Oct.), 155-163.
17. LYLE, J. R. AND WEISER, M. 1987. Automatic program bug location by program slicing. In Proceedings of the 2nd IEEE Symposium on Computers and Applications. IEEE, New York, 877-883.
18. LYLE, J. R. WALLACE, D. R., GRAHAM, J. R., GALLAGHER, K. B., POOLE, J. P., AND BINKLEY, D. W. 1995 Unravel: A CASE tool to assist evaluation of high integrity software. Tech. Rep. NISTIR-5691 National Institute of Standards and Technology, Gaithersburg, Md.
19. NETZER, R. AND WEAVER, M. 1994. Optimal tracing and incremental reexecution for debugging long-running programs. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM, New York, 313-325.
20. NING, J., ENGBERTS, A., AND KOZACZYNSKI, W. 1994. Automated support for legacy code understanding. Commun. ACM 37, 5 (May), 50-57.
21. REPS, T. AND ROSAY, G. 1995. Precise interprocedural chopping. In Proceedings of the 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering. ACM, New York, 41-52.
22. VENKATESH, G. A. 1991. The semantic approach to program slicing. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM, New York, 107-119.
23. WEISER, M. 1984. Program slicing. IEEE Trans. Softw. Eng. SE-10, 4 (July), 352-357.