Symbolic types for lenient symbolic execution.

Stephen Chang Alex Knauth Emina Torlak

Published in: Proc. ACM Program. Lang. (2018)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
specification language
neural network
high level
source code
domain independent
integrity constraints