Login / Signup
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