Slicing programs in the presence of errors

Formal Aspects of Computing

Volumn 8, Issue 4, 1996, Pages 490-497

  Harman, Mark ^a   Simpson, Dan ^b   Danicic, Sebastian ^a  

^a LONDON METROPOLITAN UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF BRIGHTON   (United Kingdom)

Author keywords

Errors; Program slicing; Semantics

Indexed keywords

CUTTING; ERROR DETECTION;

DEBUGGING; PROGRAM TRANSFORMATION; SEMANTICS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0030357070     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF01213536     Document Type: Article

References (20)

1. Aho, A. V., Sethi, R. and Ullman, J. D.: Compilers: Principles, techniques and tools. Addison Wesley, 1986.
2. Bieman, J. M. and Ott, L. M.: Measuring functional cohesion. IEEE Transactions on Software Engineering, 20(8):644-657, August 1994.
3. Cartwright, R. and Felleisen, M.: The semantics of program dependence. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 13-27, 1989.
4. Ferrante, J. Ottenstein, K. J. and Warren, J. D.: The program dependence graph and its uses in optimization. ACM Transactions on Programming Languages and Systems, 9:319-349, July 1987.
5. Gallagher, K. B. and Lyle, J. R.: Using program slicing in software maintenance. IEEE Transactions on Software Engineering, 17(8):751-761, August 1991.
6. Harman, M. and Danicic, S.: Using program slicing to simplify testing. Journal of Software Testing, Verification and Reliability, 1995. To appear.
7. th International Quality Week, pages Paper 3-T-2, pp 1-14, San Francisco, May 29th - June 2nd. 1995.
8. Horwitz, S., Prins, J and Reps, T.: Integrating non-interfering versions of programs. ACM Transactions on Programming Languages and Systems, 11(3):345-387, July 1989.
9. Kamkar, M.: Interprocedural dynamic slicing with applications to debugging and testing. PhD Thesis, Department of Computer Science and Information Science, Linköping University, Sweden, 1993. Available as Linköping Studies in Science and Technology, Dissertations, Number 297.
10. Korel, B. and Laski, J.: Dynamic program slicing. Information Processing Letters, 29(3):155-163, October 1988.
11. th Conference on Software Engineering (ICSE-15), pages 34-44, 1993.
12. Liu, L. and Ellis, R.: An approach to eliminating COMMON blocks and deriving ADTs from Fortran programs. Technical report, University of Westminster, UK, February 1993.
13. nd International Conference on Computers and Applications, pages 877-882, Peking, 1987.
14. Simpson, D., Valentine, S. H., Mitchell, R., Liu, L. and Ellis, R.: Recoup - Maintaining Fortran. ACM SIGPlan Fortran forum, 12(3):26-32, September 1993.
15. Tip, F.: Generation of Program Analysis Tools, PhD thesis. Centrum voor Wiskunde en Informatica, Amsterdam, 1995.
16. Tip, F.: A survey of program slicing techniques. Journal of Programming Languages, 1995. To appear.
17. Venkatesh, G. A.: 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.
18. Venkatesh, G. A.: 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.
19. Weiser, M.: Program slices. Formal, psychological, and practical investigations of an automatic program abstraction method. PhD thesis, University of Michigan, Ann Arbor, MI, 1979.
20. Weiser, M.: Program slicing. IEEE Transactions on Software Engineering, 10(4):352-357, 1984.