Statements (26)
Predicate | Object |
---|---|
gptkbp:instanceOf |
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
|
https://www.w3.org/2000/01/rdf-schema#label |
KLEE
|
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
|