Linear-Time and May-Testing in a Probabilistic Reactive Setting.
Lucia AcciaiMichele BorealeRocco De NicolaPublished in: FMOODS/FORTE (2011)
Keyphrases
- probabilistic model
- bayesian networks
- data sets
- test cases
- context sensitive
- image segmentation
- information theoretic
- probabilistic relational
- database
- probabilistic interpretation
- software testing
- probabilistic reasoning
- uncertain data
- graphical models
- artificial neural networks
- training data
- feature selection
- information systems
- computer vision
- information retrieval
- machine learning
- databases