Daikon (dynamic invariant detection tool)
GPTKB entity
Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
dynamic analysis tool |
| gptkbp:citation |
Ernst, Michael D.; Cockrell, Jake; Griswold, William G.; Notkin, David (2001). "Dynamically Discovering Likely Program Invariants". ACM Transactions on Software Engineering and Methodology.
|
| gptkbp:developedBy |
gptkb:MIT
gptkb:Michael_D._Ernst |
| gptkbp:firstReleased |
2001
|
| https://www.w3.org/2000/01/rdf-schema#label |
Daikon (dynamic invariant detection tool)
|
| gptkbp:input |
program execution traces
|
| gptkbp:license |
gptkb:GNU_General_Public_License
|
| gptkbp:notablePublication |
gptkb:Dynamically_Discovering_Likely_Program_Invariants_(Ernst_et_al.,_2001)
|
| gptkbp:output |
likely program invariants
|
| gptkbp:programmingLanguage |
gptkb:Java
gptkb:Perl gptkb:C++ C |
| gptkbp:purpose |
dynamic invariant detection
|
| gptkbp:usedFor |
software verification
program analysis bug detection |
| gptkbp:website |
https://plse.cs.washington.edu/daikon/
|
| gptkbp:bfsParent |
gptkb:Michael_Ernst
|
| gptkbp:bfsLayer |
5
|