4 ms·

Hah, I actually used Klee doing a CS Masters at Georgia Tech. Small world. https://klee.github.io/publications/ https://klee.github.io/publications/ Edit: And

by w8rbt 8y ago

Hah, I actually used Klee doing a CS Masters at Georgia Tech. Small world. https://klee.github.io/publications/ https://klee.github.io/publications/ Edit: And most of the bugs seem to be gone now ;)

sus_007 8y ago
Is Klee something like LaTeX ? What is it actually ?
- Cyph0n 8y ago
  No, it looks like a symbolic execution-based software testing framework. Here is a link to the paper that started the project: http://llvm.org/pubs/2008-12-OSDI-KLEE.html http://llvm.org/pubs/2008-12-OSDI-KLEE.html.