Test Generation for Time Critical Systems: Tool and Case Study.

Brian Nielsen Arne Skou

Published in: ECRTS (2001)

Keyphrases

test generation
case study
test cases
databases
test sequences
design automation
database
data sets
image data
building blocks
visual quality
development projects