A Model of Specification-Based Testing of Interactive Systems.

Ian MacColl David A. Carrington

Published in: World Congress on Formal Methods (1999)

Keyphrases

high level
probabilistic model
conceptual model
experimental data
computational model
data sets
formal model
test data
mathematical model
reactive systems
statistical model
multi agent
multiscale
similarity measure
decision trees
social networks
learning algorithm
neural network