Application of program slicing in algorithmic debugging

Information and Software Technology

Volumn 40, Issue 11-12, 1998, Pages 637-645

  Kamkar, Mariam ^a  

^a LINKÖPING UNIVERSITY   (Sweden)

Author keywords

Algorithmic debugging; Program slicing

Indexed keywords

ALGORITHMS; COMPUTER SOFTWARE MAINTENANCE; COMPUTER SYSTEM RECOVERY; ERROR DETECTION; PROGRAM DEBUGGING;

ALGORITHMIC DEBUGGING; PROGRAM SLICING;

SOFTWARE ENGINEERING;

EID: 0032290066     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0950-5849(98)00088-3     Document Type: Article

References (12)

1. A.V. Aho, R. Sethi, J.D. Ullman, Compilers: Principles, Techniques and Tools, Addison-Wesley, New York, 1986.
2. M. Ducassé, A.M. Emde, State of the art in automated program debugging, technical report, European Computer Industry, Research Center GmbH, Germany, September 1987, TR-LP-25.
3. P. Fritzson, M. Auguston, N. Shahmehri, Using assertions in declarative and operational models for semi-automated debugging, in: Proceedings of the Fifth International Conference on Software Engineering and its Applications, Toulouse, France, 1992, pp. 637-646.
4. P. Fritzson, T. Gyimothy, M. Kamkar, N. Shahmehri, Generalized algorithmic debugging and testing, in: Proceeding of the ACM SIGPLAN'91, 1991.
5. K.B. Gallagher, Using program slicing in software maintenance, PhD thesis, University of Maryland, College Park, MD, 1990.
6. M. Kamkar, P. Krajina, P. Fritzson, Dynamic slicing of parallel message-passing programs, in: Proceedings of the Fourth Euromicro Workshop on Parallel and Distributed Processing, Braga, Portugal, 1996.
7. B. Korel, J. Rilling, Application of dynamic slicing in program debugging, in: Proceedings of the Third International Workshop on Automated Debugging, AADEBUG'97, Linköping, Sweden, 1997.
8. M. Kamkar, N. Shahmehri, P. Fritzson, Bug localization by algorithmic debugging and program slicing, in: Proceedings of the Second International Conference on Programming Language Implementation and Logic Programming, PLILP'90, Linköping, Sweden, 1990, Lecture Notes in Computer Science, Vol. 456, Springer, Berlin, pp. 60-74.
9. R.E. Seviora, Knowledge-based program debugging systems, IEEE Software 4(3) (1987).
10. N. Shahmehri, P. Fritzson, Algorithmic debugging for imperative languages with side-effects, technical report, Department of Computer and Information Science, Linköping University, Sweden, 1989, LiTH-IDA-R-89-49.
11. E.Y. Shapiro, Algorithmic Program Debugging, MIT Press, Cambridge, MA, 1983.
12. N. Shahmehri, Generalized algorithmic debugging, PhD thesis, Linköping University, Linköping, Sweden, 1991, thesis No. 260.