Algorithmic Debugging with Assertions.

Wlodzimierz Drabent Simin Nadjm-Tehrani Jan Maluszynski

Published in: META (1988)

Keyphrases

knowledge base
model based diagnosis
databases
data structure
search algorithm
real time
data sets
information systems
cooperative
natural language
expert systems
test cases
parallel processing
software testing
fault localization
java programs