CP with Architectural State Lookup for Functional Test Generation.

Boris Gutkovich Anna Moss

Published in: HLDVT (2006)

Keyphrases

symbolic execution
test generation
test cases
design automation
test sequences
databases
constraint programming
database
data sets
machine learning
case study
high quality
software architecture