Towards Automated Input Generation for Sketching Alloy Models.

Ana Jovanovic Allison Sullivan

Published in: FormaliSE@ICSE (2022)

Keyphrases

probabilistic model
support vector
complex systems
decision trees
bayesian networks
model selection
statistical models
semi automated
mechanical properties