Keywords: Slicing; Real--Time Systems; Implicit State; I/O
Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97)
 Hiralal Agrawal and Joseph R. Horgan. Dynamic program slicing. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 246-256 New York, June 1980.
 Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers, Principles, techniques and tools. Addison Wesley 1986
 G. Canfora, A. Cimitile, Andrea De Lucia, and G. A. Di Lucca. Software salvaging based on conditions. In International Conference on Software Maintenance (ICSM’96), pages 424-433, Victoria, Canada, September1994. IEEE.
 Sebastian Danicic, Mark Harman, and Yogasundary Sivagurunathan. A parallel algorithm for static program slicing. Information Processing Letters, 56(6):307-314, December 1995.
 Andrea. De Lucia, Anna Rita Fasolino, and Malcolm Munro. Understanding function behaviours through program slicing. In th IEEE Workshop on Program Comprehension, Berlin, Germany, March 1996.
 Keith B. Gallagher and James R. Lyle. Using program slicing in software maintenance. IEEE Transactions on Software Engineering, 17(8):751-761 August 1991.
 Mark Harman. Functional Models of Procedural Programs. PhD thesis, University of North London, 1991.  Mark Harman and Sebastian Danicic. Using program slicing to simplify testing. Journal of Software Testing, Verification and Reliability, 5:143-162, September 1995.
 Mark Harman and Sebastian Danicic. Amorphous program slicing. In Anneliese von Mayrhauser, Gerardo Canfora, and Arun Lakhotia, editors,5th IEEE Internation Workshop on Program Comprehesion (IWPC’91), Dearborn, Michigan, USA, May 1997.
 Mark Harman, Dan Simpson, and Sebastian Danicic. Slicing programs in the presence of errors. Formal Aspects of Computing, 8:490-497, 1996.
 Susan Horwitz, Jan Prins, and Thomas Reps. Integrating non interfering versions of programs. ACM Transactions on Programming Languages and Systems, 11(3):345-387, July 1989.
 Susan Horwitz, Thomas Reps, and David Binkley. Interprocedural slicing using dependence graphs. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 25-46, Atlanta, Georgia, June 1988 Proceedings in SIGPLAN Notices, 23(7), pp.35-46, 1988.
 Mariam Kamkar. Interprocedural dynamic slicing with applications to debugging and testing. PhD Thesis, De partment of Computer Science and Information Science, Link√∂ping University, Sweden, 1993. Available as Link√∂ping Studies in Science and Technology, Dissertations, Number 297.
 Bogdan Korel and Janusz Laski. Dynamic programslicing. Information Processing Letters, 29(3): 155-163, October 1988.
 Arun Lakhotia. Rule based approach to computing module cohesion. In Proceedings of the 15th Conference on Software Engineering. (ICSE-15), pages 34-44.
 James R. Lyle, Dolores R. Wallace, James R. Graham, Keith B. Gallagher, Joseph P. Poole, and David W. Binkley. Unravel project.
 Linda M. Ott and J. J. Thuss. The relationship between slices and module cohesion. In Proceedings of the th ACM conference on Software Engineering, pages 198-204, May 1989.
 D. A. Schmidt. Denotational semantics, A Methodology for Language Development. Allyn and Bacon, 1986.
 Joseph E. Stoy. Denotational semantics, The Scott Strachey approach to programming language theory. MIT Press, 1985. Third edition.
 Guda A. Venkatesh. The semantic approach to program slicing. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 26-28, Toronto, Canada, June 1991. Proceedings in SIGPLAN Notices, 26(6), pp. 107-119,1991.
 Mark Weiser. Program slices, Formal, psychological, and practical investigations of an automatic program abstraction method. PhD thesis, University of Michigan, Ann Arbor, MI, 1979.
 Mark Weiser. Program slicing. IEEE Transactions on Software Engineering, 10(4):253-157, 1984.