Knowledge-Based Program Debugging Systems

Authors:
R. E. Seviora
Affiliations:
University of Waterloo
Venue:
IEEE Software
Year:
1987

Citing 0
Cited 2

Logical debugging

Journal of Symbolic Computation - Special issue on automatic programming
Application of redundant computation in program debugging

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

No one likes to debug programs, and there is no way to automate the task. However, knowledge-based approaches offer some possibilities for the future.