Test derivation for SDL based on ACTs.

Finn Kristoffersen Louis Verhaard Michael Zeeberg

Published in: FORTE (1992)

Keyphrases

test cases
test data
database
data sets
neural network
information retrieval
information systems
high level
bayesian networks
expert systems
probabilistic model