TY  - RPRT
TI  - Reviewing KLEE's Sonar-Search Strategy in Context of Greybox Fuzzing
AU  - Saahil Ognawala
AU  - Alexander Pretschner
AU  - Thomas Hutzelmann
AU  - Eirini Psallida
AU  - Ricardo Nales Amato
PY  - 2018
UR  - https://arxiv.org/abs/1803.04881
ID  - 1803.04881
ER  -