Implicit-Specification Errors and Automatic, Trace-Based Debugging.

Edward G. Okie James D. Arthur

Published in: ACM Conference on Computer Science (1993)

Keyphrases

execution traces
semi automatic
real time
formal verification
data sets
data mining
web services
database systems
data structure
user defined
novice programmers