Richard Denney

Publication Activity (10 Years)

Years Active: 1987-1996
Publications (10 Years): 0

Publications

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)
Richard Denney
A comparison of the model-based & algebraic styles of specification as a basis for test specification. ACM SIGSOFT Softw. Eng. Notes 21 (5) (1996)
Richard Denney
Test-Case Generation from Prolog-Based Specifications. IEEE Softw. 8 (2) (1991)
Richard Denney
Deriving contingencies among diagnostic tests with Prolog by code examination. FJCC (1987)