A Comparative Analysis of Functional Correctness.

Douglas D. Dunlop Victor R. Basili

Published in: ACM Comput. Surv. (1982)

Keyphrases

real time
learning algorithm
case study
databases
information retrieval
image segmentation
cooperative
concurrent execution