Radius aware probabilistic testing of deadlocks with guarantees.
Yan CaiZijiang YangPublished in: ASE (2016)
Keyphrases
- probabilistic model
- generative model
- probabilistic interpretation
- test cases
- artificial intelligence
- probabilistic approaches
- probability theory
- database
- test set
- quality guarantees
- probabilistic relational
- belief networks
- uncertain data
- information theoretic
- object oriented
- probability distribution
- data structure
- database systems
- real world
- real time