A Unified Symbolic Execution System.

C. Koutsikas Nicos Malevris

Published in: AICCSA (2001)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
specification language
source code
data flow
high level
test cases
genetic algorithm
general purpose
machine vision
simulated annealing algorithm