Implicit-Specification Errors and Automatic, Trace-Based Debugging

TitleImplicit-Specification Errors and Automatic, Trace-Based Debugging
Publication TypeConference Paper
Year of Publication1993
AuthorsOkie, E. G., and J. D. Arthur
Conference NameProceedings of the 21st Annual Computer Science Conference
Date PublishedFebruary 1993
Conference LocationIndianapolis, IN