KLEE

https://klee-se.org/docs

KLEE is a symbolic execution engine that automatically generates test cases for C and C++ programs...

Tokens:13,831
Snippets:202
Trust Score:7.3
Update:1 month ago
Tokens:
Raw