C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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