Two Notions of Correctness and Their Relation to Testing.

Timothy A. Budd Dana Angluin

Published in: Acta Informatica (1982)

Keyphrases

test cases
real time
social networks
metadata
multimedia
data model
test set
test data
concurrent programs