Symbolic Execution Techniques for Test Purpose Definition.

Christophe Gaston Pascale Le Gall Nicolas Rapin Assia Touil

Published in: TestCom (2006)

Keyphrases

symbolic execution
test generation
test data generation
test cases
specification language
neural network
source code
data sets
training data
search algorithm
programming language
machine vision
data flow
software testing
static analysis
artificial intelligence
databases