Login / Signup
Targeted program transformations for symbolic execution.
Cristian Cadar
Published in:
ESEC/SIGSOFT FSE (2015)
Keyphrases
</>
symbolic execution
static analysis
test generation
test data generation
specification language
source code
test cases
data flow
orders of magnitude
multi objective
neural network
quality control
formal specification
description language
software testing