TY  - RPRT
TI  - Evaluating Manual Intervention to Address the Challenges of Bug Finding with KLEE
AU  - John Galea
AU  - Sean Heelan
AU  - Daniel Neville
AU  - Daniel Kroening
PY  - 2018
UR  - https://arxiv.org/abs/1805.03450
ID  - 1805.03450
ER  -