Login / Signup
Input Validation with Symbolic Execution.
Anay Mehrotra
Ayush Bansal
Awanish Pandey
Subhajit Roy
Published in:
CoRR (2021)
Keyphrases
</>
symbolic execution
test generation
static analysis
source code
specification language
test data generation
artificial intelligence
search space
test cases
database
databases
real world
database systems
general purpose
genetic programming
differential evolution