Black-Box Specification in Spec.

Published in: Comput. Lang. (1991)

Keyphrases

black box
state transition
black boxes
white box
high level
specification language
benchmark suite
integration testing
databases
multimedia
feature extraction
test cases
rule extraction