Bisimulation through Probabilistic Testing

Kim Guldstrand Larsen Arne Skou

Published in: Inf. Comput. (1991)

Keyphrases

data driven
generative model
context sensitive
test cases
computer vision
posterior probability
artificial neural networks
probabilistic model
software engineering
software testing
uncertain data
test set
data sets
digital libraries
three dimensional
case study
real world