Integrating Testing into the Alloy Model Development Workflow.

Allison Sullivan

Published in: MODELS (2023)

Keyphrases

prior knowledge
high level
formal model
neural network
computational model
statistical model
data sets
objective function
management system
mathematical model
experimental data
test data
metamodel