Integration of CP and Compilation Techniques for Instruction Sequence Test Generation.

Boris Gutkovich

Published in: CPAIOR (2008)

Keyphrases

test generation
test cases
symbolic execution
test sequences
mutation testing
quality assurance
design automation
static analysis
constraint programming
software testing
case study
machine learning
high level
training data
training set
data model