Saturation Effects in Testing of Formal Models.

Tim Menzies David Owen Bojan Cukic

Published in: ISSRE (2002)

Keyphrases

formal models
formal model
rule based systems
process model
databases
multiscale
test cases
information retrieval
learning algorithm
hidden markov models
knn
positive effects
computer based instruction