Login / Signup
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