DySy: dynamic symbolic execution for invariant inference.

Christoph Csallner Nikolai Tillmann Yannis Smaragdakis

Published in: ICSE (2008)

Keyphrases

symbolic execution
test generation
test data generation
neural network
artificial intelligence
search algorithm
machine vision
data flow
static analysis
specification language