Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes.
Shoji YuenRance CleavelandZeynep DayarScott A. SmolkaPublished in: CONCUR (1994)
Keyphrases
- generative model
- probabilistic logic
- uncertain data
- high level
- low level
- probabilistic model
- test cases
- data sets
- neural network
- software testing
- test set
- acyclic database schemes
- intermediate level
- probabilistic reasoning
- belief networks
- computational models
- process model
- higher level
- data driven
- programming language
- bayesian networks
- real world
- databases