Login / Signup
Combining static analysis and targeted symbolic execution for scalable bug-finding in application binaries.
Riyad Parvez
Paul A. S. Ward
Vijay Ganesh
Published in:
CASCON (2016)
Keyphrases
</>
static analysis
symbolic execution
source code
dynamic analysis
software systems
test generation
open source
test data generation
abstract interpretation
software projects
databases
domain specific