Testing Finitary Probabilistic Processes.

Yuxin Deng Rob J. van Glabbeek Matthew Hennessy Carroll Morgan

Published in: CONCUR (2009)

Keyphrases

probabilistic model
uncertain data
bayesian networks
finite state
probabilistic relational
decision trees
data driven
test cases
test data
probabilistic approaches
probabilistic logic
stochastic processes
software testing
belief networks
posterior probability
database
test set
relational databases
neural network