On Automating Inference of OCL Constraints from Counterexamples and Examples.

Duc-Hanh Dang Jordi Cabot

Published in: KSE (2014)

Keyphrases

constraint language
constraint satisfaction
constrained optimization
probabilistic inference
bayesian inference
artificial intelligence
training examples
metamodel
inference process
database
decision trees
training data
lower bound
training set
search space
graphical models