Effects of context on program slicing

Journal of Systems and Software

Volumn 79, Issue 9, 2006, Pages 1249-1260

  Krinke, Jens ^a  

^a UNIVERSITY OF HAGEN   (Germany)

Author keywords

Program analysis; Program slicing

Indexed keywords

COMPUTER SYSTEMS; CONTEXT SENSITIVE LANGUAGES; DATA PROCESSING; PROGRAM PROCESSORS;

CONTEXT-INSENSITIVE ANALYSIS; PROGRAM ANALYSIS; PROGRAM SLICING; RECURSIVE PROGRAMS;

COMPUTER SOFTWARE;

EID: 33748060992     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2006.02.040     Document Type: Article

References (23)

1. Agrawal, G., Guo, L., 2001. Evaluating explicitly context-sensitive program slicing. In: Workshop on Program Analysis for Software Tools and Engineering, pp. 6-12.
2. Agrawal, H., Horgan, J.R., 1990. Dynamic program slicing. In: Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation, pp. 246-256.
3. Anderson, P., Teitelbaum, T., 2001. Software inspection using codesurfer. In: Workshop on Inspection in Software Engineering (CAV 2001).
4. Atkinson, D.C., Griswold, W.G., 1996. The design of whole-program analysis tools. In: Proceedings of the 18th International Conference on Software Engineering, pp. 16-27.
5. Binkley D. Semantics guided regression test cost reduction. IEEE Trans. Softw. Eng. 23 8 (1997) 498-516
6. Binkley, D., Harman, M., 2003. A large-scale empirical study of forward and backward static slice size and context sensitivity. In: International Conference on Software Maintenance, pp. 44-53.
7. Ferrante J., Ottenstein K.J., and Warren J.D. The program dependence graph and its use in optimization. ACM Trans. Prog. Lang. Syst. 9 3 (1987) 319-349
8. Hind, M., 2001. Pointer analysis: Haven't we solved this problem yet? In: 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'01).
9. Hind, M., Pioli, A., 2000. Which pointer analysis should I use? In: International Symposium on Software Testing and Analysis. pp. 113-123.
10. Horwitz S.B., Reps T.W., and Binkley D. Interprocedural slicing using dependence graphs. ACM Trans. Prog. Lang. Syst. 12 1 (1990) 26-60
11. Korel B., and Laski J. Dynamic program slicing. Inform. Process. Lett. 29 3 (1988) 155-163
12. Krinke, J., 2002. Evaluating context-sensitive slicing and chopping. In: Proceedings of the International Conference on Software Maintenance, pp. 22-31.
13. Krinke, J., 2003. Advanced slicing of sequential and concurrent programs. Ph.D. thesis, Universität Passau, April 2003.
14. Krinke, J., 2004. Context-sensitivity matters, but context does not. In: Proceedings of the IEEE International Workshop on Source Code Analysis and Manipulation, pp. 29-35.
15. Krinke J., and Snelting G. Validation of measurement software as an application of slicing and constraint solving. Inform. Softw. Technol. 40 11-12 (1998) 661-675
16. Lyle, J., Wallace, D., 1997. Using the unravel program slicing tool to evaluate high integrity software. In: Proceedings of Software Quality Week.
17. Mock, M., Atkinson, D.C., Chambers, C., Eggers, S.J., 2002. Improving program slicing with dynamic points-to data. In: Proceedings of the 10th International Symposium on the Foundations of Software Engineering.
18. Nishimatsu, A., Jihira, M., Kusumoto, S., Inoue, K., 1999. Call-mark slicing: An efficient and economical way of reducing slice. In: International Conference of Software Engineering, pp. 422-431.
19. Reps T. Program analysis via graph reachability. Inform. Softw. Technol. 40 11-12 (1998) 701-726
20. Reps, T., Horwitz, S., Sagiv, M., Rosay, G., 1994. Speeding up slicing. In: Proceedings of the ACM SIGSOFT'94 Symposium on the Foundations of Software Engineering, pp. 11-20.
21. Ryder B.G., Landi W., Philip B., Stocks A., Zhang S., and Altucher R. A schema for interprocedural modification side-effect analysis with pointer aliasing. ACM Trans. Prog. Lang. Syst. 23 2 (2001) 105-186
22. Weiser, M., 1979. Program slices: formal, psychological, and practical investigations of an automatic program abstraction method. Ph.D. thesis, University of Michigan, Ann Arbor.
23. Weiser M. Program slicing. IEEE Trans. Softw. Eng. 10 4 (1984) 352-357