ALDB: Debugging Alloy Models of Behavioural Requirements.

Aman Dureja Aditya Keerthi Andrew Liang Paul Zhang Nancy Day

Published in: MoDRE@RE (2020)

Keyphrases

probabilistic model
database
statistical models
neural network
real world
experimental data
prior knowledge
functional requirements
autoregressive
computational models
test cases
parameter estimation
programming language
artificial neural networks
bayesian networks
case study
data sets
real time