On adaptive diagnostic test generation.

Yiming Gong Sreejit Chakravarty

Published in: ICCAD (1995)

Keyphrases

test generation
test cases
test sequences
design automation
static analysis
symbolic execution
expert systems
feature selection
quality assurance
test data generation
data sets
databases
information systems
cooperative
training set