Algorithmic software fault localization

Proceedings of the Annual Hawaii International Conference on System Sciences

Volumn 2, Issue , 1991, Pages 246-252

  Korel, B ^a   Laski, J ^b  

^a WAYNE STATE UNIVERSITY   (United States)

^b OAKLAND UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION;

AUTOMATIC IDENTIFICATION; BREAKPOINT; DEBUGGING TOOLS; FAULT LOCALIZATION; PROGRAM COMPONENTS; SOFTWARE FAULT LOCALIZATION; TESTING AND DEBUGGING; TRAJECTORY-BASED;

PROGRAM DEBUGGING;

EID: 84885648508     PISSN: 15301605     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HICSS.1991.183985     Document Type: Conference Paper

References (13)

1. [BER85] J. F. Bergeretti, B. A. Carre, "Information-flow and data-flow analysis of while-programs, " ACM Trans, on Program. Languages and Systems, vol. 7, No. 1, Jan. 1985, pp. 37-61.
2. [DEM88] R. A. DeMillo, et al., "An Extended Overview of the Mothra Software Testing Environment, " IEEE 2nd Workshop on Software Testing, Verification and Analysis, Banff, Alberta, Canada, July 19-21, 1988, pp. 142-151.
3. [HECH77] M. S. Hecht Flow analysis of computer programs North-Holland 1977.
4. [HOW82] W. E. Howden, "Weak mutation testing and completeness of test sets, ' IEEE Tran. on Software Engineering, vol. SE-82, No. 4, July 1982, pp. 371-379.
5. [GOUL75] J. D. Gould, "Some psychological evidence on how people debug computer program, " Int. Journal Man-Machine Studies, vol. 7, No. 2, March 1975, pp. 151-182.
6. [KOR86] B. Korel, "Dependence-based modelling in the automation of error localization in computer programs, " Ph. D. Thesis, School of Eng., Computer Science, Oakland University, 1986.
7. [KOR88a] B. Korel, "PELAS-Program Error Locating Assistant System, " IEEE Transactions on Software Engineering, vol. SE-14, No. 9, September 1988, pp. 1253-1260.
8. [KOLA88b] B. Korel, J. Laski, "STAD-A System for Testing and Debugging, " IEEE 2nd Workshop on Software Testing, Verification and Analysis, Banff, Alberta, Canada. July 19-21, 1988, pp. 13-20.
9. [KOLA88c] B. Korel, J. Laski, "Dynamic program slicing, " Information Processing Letters, vol. 29, No. 3, October 1988, pp. 155-163.
10. [KOLA90] B. Korel, J. Laski, "Algorithmic Localization of Faults in Computer Programs, " Technical Report TR-CSE-90-02-1, Department of Computer Science and Engineering, Oakland University, Feb. 1990.
11. [LAS 80] J. Laski, "A Hierarchical Approach to Program Debugging, " SIGPLAN Notices, Vol. 15, Jan. 1980, pp. 77-85.
12. [REN82] S. Renner, "Location of logical errors on Pascal programs, " Technical Report UILU-ENG 82 1710, University of Illinois at Urbana-Champaign, Urbana, IL, 1982.
13. [SHA82] E. Shapiro, "Algorithmic program debugging, " Ph. D. Thesis, Department of Computer Science, Yale University, 1982.