A Symbolic Execution Tool Based on the Elimination of Infeasible Paths.

Mike Papadakis Nicos Malevris

Published in: ICSEA (2010)

Keyphrases

symbolic execution
test data generation
test generation
static analysis
neural network
metadata
genetic programming
specification language