KLEE

Software_ToolDev Tools

KLEE generates high-coverage test cases for C/C++ code in under 1 minute, increasing code reliability by up to 30% with its symbolic execution engine.

Information

Product Type
Software_Tool
Industry
Dev Tools
Homepage
http://klee.github.io/

Activity

Recent Events
0
Score0

Recent Updates

No Updates Available

No recent updates have been reported for this product.