Robust switch-level test generation.

Ben Mathew Daniel G. Saab

Published in: VTS (1992)

Keyphrases

test generation
test sequences
test cases
design automation
databases
high speed
quality assurance
data sets
machine learning
relational databases
object oriented
programming language
quality assessment
static analysis
symbolic execution