Login / Signup
Fuzzing and Symbolic Execution: Reflections, Challenges, and Opportunities (NII Shonan Meeting 160).
Marcel Böhme
Cristian Cadar
Abhik Roychoudhury
Published in:
NII Shonan Meet. Rep. (2019)
Keyphrases
</>
symbolic execution
static analysis
test data generation
source code
test generation
specification language
real world
databases
database
metadata
distributed systems
test cases
monitoring system