Isolating and Understanding Program Errors Using Probabilistic Dispute Model.

Rong Chen Yaqing Liu Zhichun Jia Jian Gao

Published in: COMPSAC (2013)

Keyphrases

formal model
probabilistic model
computational model
theoretical analysis
mathematical model
high level
bayesian networks
objective function
prior knowledge
experimental data
neural network
machine learning
web services
decision trees
cost function
neural network model