Scalar Outcomes Suffice for Finitary Probabilistic Testing.

Yuxin Deng Rob J. van Glabbeek Carroll Morgan Chenyi Zhang

Published in: ESOP (2007)

Keyphrases

probabilistic model
generative model
information theoretic
finite state
real time
relational databases
data driven
test cases
software testing
computer vision
clustering algorithm
database systems
bayesian networks
test data
uncertain data