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:2 months ago
Tokens:
Raw