DISSECT-A Symbolic Evaluation and Program Testing System.

William E. Howden

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

Keyphrases

symbolic execution
data sets
static analysis
intermediate level
computer vision
case study
high level
test cases
test collection
evaluation criteria
gold standard
xml retrieval
test data generation