Symbolic Execution Techniques for Refinement Testing.

Pascale Le Gall Nicolas Rapin Assia Touil

Published in: TAP (2007)

Keyphrases

symbolic execution
test generation
test data generation
static analysis
source code
specification language
test cases
data flow
software testing
simulated annealing algorithm
neural network
search algorithm
search space
optimization algorithm
machine vision
quality assurance