Login / Signup
Improving Function Coverage with Munch: A Hybrid Fuzzing and Directed Symbolic Execution Approach.
Saahil Ognawala
Thomas Hutzelmann
Eirini Psallida
Alexander Pretschner
Published in:
CoRR (2017)
Keyphrases
</>
symbolic execution
test generation
test data generation
static analysis
source code
databases
object oriented
test cases
specification language