Richard Denney

According to our database, Richard Denney authored at least 4 papers between 1987 and 1996.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1996

A comparison of the model-based & algebraic styles of specification as a basis for test specification.

Richard Denney

ACM SIGSOFT Softw. Eng. Notes, 1996

Why State-of-the-Art is not State-of-the-Practice (Panel Abstract).

Richard Denney, Richard A. Kemmerer, Nancy G. Leveson, Alberto Savoia

Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

1991

Test-Case Generation from Prolog-Based Specifications.

Richard Denney

IEEE Softw., 1991

1987

Deriving contingencies among diagnostic tests with Prolog by code examination.

Richard Denney

Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow, 1987