Static slicing in Unix process environment

Software - Practice and Experience

Volumn 30, Issue 1, 2000, Pages 17-36

  Goswami, D ^b   Mall, R ^a   Chatterjee, P ^b  

^a INDIAN INSTITUTE OF TECHNOLOGY   (India)

^b NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; GRAPH THEORY; UNIX;

PROGRAM SLICING;

PROGRAM DEBUGGING;

EID: 0033887780     PISSN: 00380644     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1097-024X(200001)30:1<17::AID-SPE290>3.0.CO;2-2     Document Type: Article

References (30)

1. Weiser M. Programmers use slices when debugging. Comm. ACM 1982; 25(7):446-452.
2. Weiser M. Program slicing. IEEE Trans. on Software Engg. 1984; 10(4):352-357.
3. Rapps S, Weyuker EJ. Selecting software test data using data flow information. IEEE Trans. on Software Engg. 1985; 11(4):367-375.
4. Bates S, Horwitz S. Incremental program testing using program dependence graphs. Conference Record of the Twentieth ACM Symposium on Principles of Programming Languages; ACM, 1993.
5. Ottenstein K, Ottenstein L. The program dependence graph in software development environment. Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments. (SIGPLAN Notices 1984; 19(5):177-184).
6. Ott L, Thuss J. Effects of software changes in module cohesion. Proceedings of the Conference on Software Maintenance. November 1992; 345-353.
7. Tip F. A survey of program slicing techniques. Journal of Programming Languages 1995; 121-189.
8. Binkley D, Gallagher KB. Program slicing. Advances in Computers, Zelkowitz M (ed.); Academic Press: San Diego, CA, 1996.
9. Lyle J. Evaluating Variations on Program Slicing. PhD thesis, University of Maryland, College Park, 1984.
10. Choi JD, Miller B, Carini P. Efficient flow-sensitive interprocedural computation of pointer induced aliases and side effects. Conference Records of the Twentieth ACM Symposium on Principles of Programming Languages, 1993; 232-245.
11. Horwitz S, Reps T, Binkley D. Interprocedural slicing using dependence graphs. ACM Trans. on Programming Languages and Systems 1990; 12(1):26-61.
12. Gallagher K, Lyle J. Using program slicing in software maintenance. IEEE Trans. on Software Engg. 1991; 17(8):751-761.
13. Jiang J, Zhou X, Robson D. Program slicing for c - the problems in implementation. Proceedings of the Conference on Software Maintenance; 1991; 182-190.
14. Horwitz S, Pfiffer P, Reps T. Dependence analysis for pointer variables. Proc. of the ACM 1989 Conf. on Programming Language Design and Implementation, Portland, Oregon. (SIGPLAN Notices 1989; 24(7)).
15. Agrawal H, DeMillo R, Spafford E. Dynamic slicing in the presence of unconstrained pointers. Proceedings af the ACM Fourth Symposium on Testing, Analysis and Verification, 1991; 60-73.
16. Geoff G, Kennedy K, Tseng CW. Practical dependence testing. Proceedings of the ACM SIGPLAN '91 Conference of Programming Language Design and Implementation, Toronto, Ontario. (SIGPLAN Notices 1991; 26(6): 15-29).
17. Maydan DE, Hennessy JL, Lam MS. Efficient and exact data dependence analysis. Proceedings of the ACM SIGPLAN '91 Conference of Programming Language Design and Implementation, Toronto, Ontario. (SIGPLAN Notices 1991; 26(6): 1-14).
18. Bannerjee U. Speedup of Ordinary Programs. PhD thesis, University of Illinois, Urbana (IL), October 1979.
19. Wolfe MJ. Optimizing Supercompilers for Supercomputers. PhD thesis, University of Illinois, Urbana (IL), October 1982.
20. Ross JL, Sagiv M. Building a bridge between pointer aliases and program dependences. Proceedings of the European Symposium on Programming, Lisbon, Portugal, April 2-3 1998.
21. Chase DR, Wegman M, Zadeck FK. Analysis of pointers and structures. Proceedings of the ACM SIGPLAN '90 Conference on Programming Language Design and Implementation, White Plains, NY. (SIGPLAN Notices 1990; 25(6):296-310).
22. Larns JR, Hilfinger PN. Detecting conflicts between structure accesses. Proceedings of the ACM SIGPLAN '88 Conference on Programming Language Design and Implementation, Atlanta, GA. (SIGPLAN Notices 1988; 23(7):21-34).
23. Agrawal H. On slicing programs with jump statements. Proceedings of the ACM SIGPLAN 1994 Conference on Programming Languages and Implementation, Orlando, Florida, 1994.
24. Ball T, Horwitz S. Slicing programs with arbitrary control flow. Proceedings of the First International Workshop on Automated and Algorithmic Debugging, Lecture Notes in Computer Science vol. 749; Springer-Verlag, 1993; 206-222.
25. Korel B, Laski J. Dynamic program slicing. Information Processing Letters 1988; 29(30):155-163.
26. Bach MJ. The Design of the Unix Operating System; Prentice Hall India Ltd.: New Delhi, 1986.
27. Cheng J. Slicing concurrent programs - a graph theoretical approach. Proceedings of the First International Workshop on Automated and Algorithmic Debugging, Lecture Notes in Computer Science vol. 749; Springer-Verlag, 1993; 223-240.
28. Samadzadeh M, Hsiao TH. An interactive parallel program sheer for the hypercube. Proceedings of the Twelfth International Phoenix Conference on Computers and Communication, Tempe, AZ, March 1993; 66-72.
29. Duesterwald E, Gupta R, Soffa, ML. Distributed slicing and partial re-execution for distributed programs. Proceedings of the Fifth Workshop on Languages and Compilers for Parallel Computing, New Haven, August 1992.
30. Kamkar M, Krajina P. Dynamic slicing of distributed programs. Proceeding of International Conference on Software Maintenance, Opio, France, October 1995; 222-229.