C Cadar, M Nowack - International Journal on Software Tools for …, 2021 - Springer
KLEE is a popular dynamic symbolic execution engine, initially designed at Stanford
University and now primarily developed and maintained by the Software Reliability Group at …