Symbolic Testing and the DISSECT Symbolic Evaluation System.

William E. Howden

Published in: IEEE Trans. Software Eng. (1977)

Keyphrases

symbolic representation
high level
databases
real time
symbolic description
connectionist models
evaluation method
connectionist systems
connectionist learning
symbolic knowledge
symbolic data
evaluation model
gold standard
test cases
low level
image processing
genetic algorithm
machine learning