| 1996 | ||
|---|---|---|
| 2 | Richard Denney, Richard A. Kemmerer, Nancy G. Leveson, Alberto Savoia: Why State-of-the-Art is not State-of-the-Practice (Panel Abstract). ISSTA 1996: 293 | |
| 1991 | ||
| 1 | Richard Denney: Test-Case Generation from Prolog-Based Specifications. IEEE Software 8(2): 49-57 (1991) | |
| 1 | Richard A. Kemmerer | [2] |
| 2 | Nancy G. Leveson | [2] |
| 3 | Alberto Savoia | [2] |