Statements (26)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:symbolic_execution_tool
|
| gptkbp:citation |
over 3000
|
| gptkbp:developedBy |
gptkb:Stanford_University
gptkb:University_of_California,_Berkeley |
| gptkbp:firstReleased |
2008
|
| gptkbp:format |
gptkb:LLVM_bitcode
|
| gptkbp:license |
gptkb:UIUC_License
|
| gptkbp:notableContributor |
gptkb:Dawson_Engler
Daniel Dunbar Cristian Cadar |
| gptkbp:notablePublication |
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
|
| gptkbp:openSource |
true
|
| gptkbp:platform |
gptkb:Linux
gptkb:Unix-like_systems |
| gptkbp:programmingLanguage |
gptkb:C++
C |
| gptkbp:relatedTo |
gptkb:LLVM
software testing symbolic execution |
| gptkbp:usedFor |
program analysis
bug finding automatic test case generation |
| gptkbp:website |
https://klee.github.io/
|
| gptkbp:bfsParent |
gptkb:STP_SMT_solver
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
KLEE
|