Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Person
|
| gptkbp:affiliation |
gptkb:University_of_Massachusetts_Amherst
|
| gptkbp:contribution |
Model Checking
Software Reliability |
| gptkbp:field_of_study |
gptkb:test_subjects
|
| https://www.w3.org/2000/01/rdf-schema#label |
David R. Dwyer
|
| gptkbp:known_for |
gptkb:developers
|
| gptkbp:occupation |
gptkb:Computer_Scientist
|
| gptkbp:publication |
gptkb:ACM_Transactions_on_Software_Engineering_and_Methodology
gptkb:IEEE_Transactions_on_Software_Engineering Software Engineering Research and Practice |
| gptkbp:bfsParent |
gptkb:Accurate_Background
|
| gptkbp:bfsLayer |
6
|