RIDDLE: A Foundation for Test Generation on a High-Level Design Description.

Gabriel M. Silberman Ilan Y. Spillinger

Published in: IEEE Trans. Computers (1991)

Keyphrases

high level
test generation
design automation
case study
building blocks
computer aided
data sets
high quality
information systems
training set
user interface
programming language
test sequences