Beyond traditional program slicing

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

Volumn , Issue , 1996, Pages 180-186

  Sloane, Anthony M ^a   Holdsworth, Jason ^a  

^a JAMES COOK UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE TESTING; SPECIFICATIONS; TREES (MATHEMATICS);

INHERITANCE HIERARCHIES; INTERFACE EXTRACTION; LANGUAGE SPECIFICATION; OBJECT ORIENTED; PROGRAM DECOMPOSITION; PROGRAM SLICE; PROGRAM SLICING; SYNTAX TREE;

OBJECT ORIENTED PROGRAMMING;

EID: 0041922227     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/229000.226315     Document Type: Conference Paper

References (28)

1. H. Agrawal and R. A. DeMillo E.H. Spafford. Debugging with dynamic slicing and backtracking. Software-Practice and Experience, 23(6):589-616, June 1993.
2. Hiralal Agrawal. On slicing programs with jump statements. In ACM SIGPLAN Notices, volume 29, pages 302-312, June 1994. Proceedings of the ACM SIGPLAN '94 Conference on Programming Language Design and Implementation.
3. Hiralal Agrawal and Joseph R. Horgan. Dynamic program slicing. In ACM SIGPLAN Notices, volume 25, pages 246-256, June 1990. Proceedings of the ACM SIGPLAN '90 Conference on Programming Language Design and Implementation.
4. Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers. Addison-Wesley, 1986.
5. L. Badger and M. Weiser. Minimizing communication for synchronizing parallel dataflow programs. In Proc. of the 1988 International Conference on Parallel Processing, University Park, PA, August 1988. Pennsylvania State University Press.
6. H. Ball and S. Horwitz. Slicing programs with arbitrary control flow. In Proc. of the 1st International Workshop on Automated and Algorithmic Debugging, number 749 in Lecture Notes in Computer Science, pages 206-222, November 1993.
7. D. Binkley. Using semantic differencing to reduce the cost of regression testing. In Proc. IEEE Conference on Software Maintenance, pages 41-50, Washington, D.C., November 1992. IEEE Computer Society.
8. David Binkley. Precise executable interprocedural slices. ACM Letters on Programming Languages and Systems, 2(1-4):31-45, March-December 1993.
9. Jong-Deok Choi and Jeanne Ferrante. Static slicing in the presence of goto statements. ACM Trans. on Programming Languages and Systems, 16(4):1096-1113, July 1994.
10. Pierre Deransart, Martin Jourdan, and Bernard Lorho. Attribute Grammars: Definitions, Systems and Bibliography. Lecture Notes in Computer Science, vol. 323. Springer-Verlag, Berlin, Germany, 1988.
11. Jeanne Ferrante, Karl J. Ottenstein, and Joe D. Warren. The program dependence graph and its use in optimization. ACM Trans. on Programming Languages and Systems, 9(3):319-349, July 1987.
12. K. B. Gallagher and J. R. Lyle. Using program slicing in software maintenance. IEEE Trans. on Software Engineering, 17(8):751-761, August 1991.
13. Robert W. Gray, Vincent P. Heuring, Steven P. Levi, Anthony M. Sloane, and William M. Waite. Eli: A complete, flexible compiler construction system. Communications of the ACM, 35(2):121-131, February 1992.
14. Susan Horwitz, Jan Prins, and Thomas Reps. Integrating noninterfering versions of programs. ACM Trans. on Programming Languages and Systems, 11 (3):345-387, July 1989.
15. Susan Horwitz, Thomas Reps, and David Binkley. Interprocedural slicing using dependence graphs. ACM Trans. on Programming Languages and Systems, 12(1 ):26-60, January 1990.
16. Daniel Jackson and Eugene Rollins. A new model of program dependences for reverse engineering. In David Wile, editor, Proceedings of the Second ACM SlGSO FT Symposium no Foundations of Software Engineering, volume 19 of ACM SIGSOFT Software Engineering Notes, pages 2-10, December 1994.
17. S.C. Johnson. YACC-Yet anothercompiler-compiler. Computer Science Tech. Rep. 32, Bell Telephone Laboratories, Murray Hill, N.J., 1975.
18. Uwe Kastens and William M. Waite. Modularity and reusability in attribute grammars. ACTA lnformatica, 31:601-627, 1994.
19. Bogdan Korel and Janusz Laski. Dynamic program slicing. Information Processing Letters, 29:155-163, October 1988.
20. Hareton K. N. Leung and Hassan K. Reghbati. Comments on program slicing. IEEE Trans. on Software Engineering, SE-13(12): 1370-1371, December 1987.
21. Betrand Meyer. Object-Oriented Software Construction. Prentice-Hall, 1988.
22. L. Ott and J. Thuss. The relationship between slices and module cohesion. In Proc. l l th International Conference on Software Engineering. IEEE Computer Society Press, May 1989.
23. K. J. Ottenstein and L. M. Ottenstein. The program dependence graph in a software development environment. ACM SIGPLANNotices, 19(5):177-184, May 1984. Proc. of the ACM SIGSOFT/SIGPLAN SOftware Engineering Symposium on Practical Software Development Environments.
24. Frank Tip. A survey of program slicing techniques. Technical Report CS-R9438, Computer Science/Department of Software Technology, Centrum voor Wiskunde en Inforrnatica, 1994.
25. William M. Waite and Lynn R. Carter. An Introduction to Compiler Construction. HarperCollins, New York, 1993.
26. Mark Weiser. Programmers use slices when debugging. Communications of the ACM, 25(7):446-452, July 1982.
27. Mark Weiser. Reconstructing sequential behavior from parallel behavior projections. Information Processing Letters, 17:129-135, October 1983.
28. Mark Weiser. Program slicing. IEEE Trans. on Software Engineering, SE-10(4):352-357, July 1984.