Interprocedural control dependence

ACM Transactions on Software Engineering and Methodology

Volumn 10, Issue 2, 2001, Pages 209-254

  Sinha, Saurabh ^a   Harrold, Mary Jean ^a   Rothermel, Gregg ^b  

^a Georgia Institute of Technology   (United States)

^b Oregon State University   (United States)

Author keywords

D.2.5 software engineering : Testing and debugging Debugging aids; Testing tools (e.g., data generators, coverage testing)

Indexed keywords

EID: 0040027541     PISSN: 1049331X     EISSN: None     Source Type: Journal    
DOI: 10.1145/367008.367022     Document Type: Article

References (31)

1. ATKINSON, D. C. AND GRISWOLD, W. G. 1996. The design of whole-program analysis tools. In Proceedings of the 18th International Conference on Software Engineering (ICSE '96, Berlin, Germany, Mar. 25-29), H. D. Rombach, Chair. IEEE Computer Society Press, Los Alamitos, CA, 16-27.
2. BALLANCE, R. AND MACCABE, B. 1992. Program dependence graphs for the rest of us. Tech. Rep. 92-10 Nov. University of New Mexico, Albuquerque, NM.
3. BILARDI, G. AND PINGALI, K. 1996. A framework for generalized control dependence. In Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation (PLDI '96, Philadelphia, PA, May 21-24), C. N. Fischer, Chair. ACM Press, New York, NY, 291-300.
4. BINKLEY, D. 1992. Using semantic differencing to reduce the cost of regression testing. In Proceedings of the 1992 Conference on Software Maintenance (Nov.). 41-50.
5. COOPER, K. D. AND KENNEDY, K. 1988. Interprocedural side-effect analysis in linear time. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '88, Atlanta, GA, June 22-24), R. L. Wexelblat, Ed. ACM Press, New York, NY, 57-66.
6. CYTRON, R., FERRANTE, J., ROSEN, B. K., WEGMAN, M. N., AND ZADECK, F. K. 1991. Efficiently computing static single assignment form and the control dependence graph. ACM Trans. Program. Lang. Syst. 13, 4 (Oct.), 451-490.
7. EMAMI, M., GHIYA, R., AND HENDREN, L. J. 1994. Context-sensitive interprocedural points-to analysis in the presence of function pointers. In Proceedings of the ACM SIGPLAN '94 Conference on Programming Language, Design and Implementation (PLDI '94, Orlando, FL, June 20-24), V. Sarkar, B. Ryder, and M. L. Soffa, Chairs. ACM Press, New York, NY, 242-256.
8. 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.
9. HARROLD, M. J. AND CI, N. 1998. Reuse-driven interprocedural slicing. In Proceedings of the 20th International Conference on Software Engineering (ICSE '98, Kyoto, Japan, Apr.). IEEE Press, Piscataway, NJ, 74-83.
10. HARROLD, M. J. AND ROTHERMEL, G. 1996. Syntax-directed construction of program dependence graphs. OSU-CISRC-5/96-TR32. Ohio State University, Columbus, OH.
11. HARROLD, M. J. AND ROTHERMEL, G. 1997. Aristotle: A system for research on and development of program-analysis-based tools. OSU-CISRC-3/97-TR17. Ohio State University, Columbus, OH.
12. HARROLD, M. J. AND SOFFA, M. L. 1994. Efficient computation of interprocedural definition-use chains. ACM Trans. Program. Lang. Syst. 16, 2 (Mar.), 175-204.
13. HARROLD, M. J., ROTHERMEL, G., AND SINHA, S. 1998. Computation of interprocedural control dependence. In Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA '98, Clearwater Beach, FL, Mar. 2-5), W. Tracz, Ed. ACM Press, New York, NY, 11-20.
14. HORWITZ, S., PRINS, J., AND REPS, T. 1989. Integrating noninterfering versions of programs. ACM Trans. Program. Lang. Syst. 11, 3 (July), 345-387.
15. HUTCHINS, M., FOSTER, H., GORADIA, T., AND OSTRAND, T. 1994. Experiments on the effectiveness of dataflow-and controlflow-based test adequacy criteria. In Proceedings of the 16th International Conference on Software Engineering (ICSE '94, Sorrento, Italy, May 16-21), B. Fadini, L. Osterweil, and A. van Lamsweerde, Chairs. IEEE Computer Society Press, Los Alamitos, CA, 191-200.
16. LANDI, W. AND RYDER, B. 1992. A safe approximate algorithm for interprocedural pointer aliasing. In Proceedings of the 5th ACM SIGPLAN Conference on Programming Language Design and Implementation (SIGPLAN '92, San Francisco, CA, June 17-19), R. L. Wexelblat, Ed. ACM Press, New York, NY, 235-248.
17. LOYALL, J. P. AND MATHISEN, S. A. 1993. Using dependence analysis to support the software maintenance process. In Proceedings of the Conference on Software Maintenance (Sept.). 282-291.
18. MELSKI, D. AND REPS, T. 1998. Interprocedural path profiling. TR-1382 (Sept.). Computer Science Department, Univ. of Wisconsin at Madison, Madison, WI.
19. MURPHY, G. C. AND NOTKIN, D. 1996. Lightweight lexical source model extraction. ACM Trans. Softw. Eng. Methodol. 5, 3, 262-292.
20. PANDE, H., LANDI, W., AND RYDER, B. G. 1994. Interprocedural def-use associations in C programs. IEEE Trans. Softw. Eng. 20, 5 (May), 385-403.
21. PINGALI, K. AND BILARDI, G. 1997. Optimal control dependence computation and the Roman chariots problem. ACM Trans. Program. Lang. Syst. 19, 3, 462-491.
22. PODGURSKI, A. 1989. The significance of program dependences for software testing, debugging, and maintenance. Ph.D. Dissertation. University of Massachusetts Press, Amherst, MA.
23. PODGURSKI, A. AND CLARKE, L. A. 1990. A formal model of program dependences and its implications for software testing, debugging, and maintenance. IEEE Trans. Softw. Eng. 16, 9 (Sep.), 965-979.
24. POLLOCK, L. L. AND SOFFA, M. L. 1989. An incremental version of iteractive data flow analysis. IEEE Trans. Softw. Eng. 15, 12 (Dec.), 1537-1549.
25. REPS, T., HORWITZ, S., AND SAGIV, M. 1995. Precise interprocedural dataflow analysis via graph reachability. In Papers of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '95, San Francisco, CA, Jan. 22-25), R. K. Cytron and P. Lee, Chairs. ACM Press, New York, NY, 49-61.
26. ROTHERMEL, G. AND HARROLD, M. J. 1997. A safe, efficient regression test selection technique. ACM Trans. Softw. Eng. Methodol. 6, 2, 173-210.
27. RYDER, B. G. AND PAULL, M. C. 1988. Incremental data-flow analysis algorithms. ACM Trans. Program. Lang. Syst. 10, 1 (Jan.), 1-50.
28. SHARIR, M. AND PNUELI, A. 1981. Two approaches to interprocedural data flow analysis. In Program Flow Analysis: Theory and Applications, S. S. Muchnick and N. D. Jones, Eds. Prentice-Hall, Englewood Cliffs, NJ, 189-233.
29. SINHA, S. AND HARROLD, M. J. 2000. Analysis and testing of programs with exception-handling constructs. IEEE Trans. Softw. Eng. 26, 9 (Sept.), 849-871.
30. SINHA, S., HARROLD, M. J., AND ROTHERMEL, G. 1999. System-dependence-graph-based slicing of programs with arbitrary interprocedural control flow. In Proceedings of the 21st International Conference on Software Engineering (ICSE '99, May). IEEE Press, Piscataway, NJ, 432-441.
31. SINHA, S., HARROLD, M. J., AND ROTHERMEL, G. 2000. Interprocedural control dependence. GIT-CC-00-17 (June). College of Computing, Georgia Institute of Technology, Atlanta, GA.