Automated model repair for Alloy.

Kaiyuan Wang Allison Sullivan Sarfraz Khurshid

Published in: ASE (2018)

Keyphrases

learning algorithm
machine learning
probabilistic model
computational model
high level
database systems
cost function
statistical model
theoretical analysis
linear model
database
formal model
neural network model
experimental data
em algorithm
e learning
data mining
data sets
real time