A randomized scheduler with probabilistic guarantees of finding bugs.

Sebastian Burckhardt Pravesh Kothari Madanlal Musuvathi Santosh Nagarakatte

Published in: ASPLOS (2010)

Keyphrases

probabilistic model
bayesian networks
databases
quality guarantees
probabilistic logic
generative model
case study
knowledge base
high level
search engine
artificial intelligence
source code
data driven
machine learning
probabilistic reasoning
neural network
data sets