Exploratory testing supported by automated reengineering of model of the system under test.

Karel Frajták Miroslav Bures Ivan Jelínek

Published in: Clust. Comput. (2017)

Keyphrases

conceptual model
probabilistic model
statistical model
computational model
item response theory
metamodel
formal model
experimental data
high level
em algorithm
theoretical framework
control system
hierarchical structure
prior knowledge
multiscale
bayesian networks
image sequences