Merging cloned Alloy models with colorful refactorings.

Chong Liu Nuno Macedo Alcino Cunha

Published in: Sci. Comput. Program. (2022)

Keyphrases

probabilistic model
statistical models
parameter estimation
experimental data
machine learning
genetic algorithm
decision trees
accurate models