Key points are not available for this paper at this time.
We summarize the open challenges and opportunities for fuzzing and symbolic execution as they emerged in discussions among researchers and practitioners in a Shonan Meeting and that were validated in a subsequent survey.
Boehme et al. (Thu,) studied this question.