1996 | ||
---|---|---|
2 | EE | 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] |