Evaluation of the CFA Test Programs Via Formal Computer Descriptions.

Mario R. Barbacci Daniel P. Siewiorek

Published in: Computer (1977)

Keyphrases

computer programs
evaluation model
computer systems
real time
high level
image quality
test cases
test data
computer technology
evaluation method
statistical tests
semantic description