Validation, Verification, and Testing of Computer Software.

W. Richards Adrion Martha A. Branstad John C. Cherniavsky

Published in: ACM Comput. Surv. (1982)

Keyphrases

computer software
computer hardware
programming education
test generation
young children
mathematical knowledge
model checking
test cases
control group
software engineering
artificial intelligence