Acknowledgement

Frog Auto Test Generation is based on KLEE

KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure, and available under the UIUC open source license.