A generic framework for symbolic execution: A coinductive approach.

Dorel Lucanu Vlad Rusu Andrei Arusoaie

Published in: J. Symb. Comput. (2017)

Keyphrases

symbolic execution
test generation
static analysis
test data generation
specification language
source code
data flow
test cases
high level
real world
training data
general purpose
database
open source
error rate