Finding Likely Errors with Bayesian Specifications.

Vijayaraghavan Murali Swarat Chaudhuri Chris Jermaine

Published in: CoRR (2017)

Keyphrases

data driven
database
machine learning
bayesian networks
databases
data mining
artificial intelligence
decision making
expert systems
formal specification
decision theory
bayesian learning
bayesian analysis
bayesian decision