Dynamically Discovering Likely Program Invariants (Ernst et al., 2001)
URI: https://gptkb.org/entity/Dynamically_Discovering_Likely_Program_Invariants_(Ernst_et_al.,_2001)
GPTKB entity
Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:academic_journal
|
| gptkbp:author |
gptkb:David_Notkin
gptkb:Michael_D._Ernst gptkb:Jake_Cockrell gptkb:William_G._Griswold |
| gptkbp:citation |
highly cited
|
| gptkbp:contribution |
introduction of Daikon tool
|
| https://www.w3.org/2000/01/rdf-schema#label |
Dynamically Discovering Likely Program Invariants (Ernst et al., 2001)
|
| gptkbp:publicationYear |
2001
|
| gptkbp:publishedIn |
gptkb:ACM_Transactions_on_Software_Engineering_and_Methodology
|
| gptkbp:toolDescribed |
gptkb:Daikon
|
| gptkbp:topic |
software engineering
dynamic analysis program invariants |
| gptkbp:url |
https://dl.acm.org/doi/10.1145/502034.502036
|
| gptkbp:bfsParent |
gptkb:Daikon_(dynamic_invariant_detection_tool)
|
| gptkbp:bfsLayer |
6
|