Automated generation of model classes for Java PathFinder.

Matteo Ceccarello Oksana Tkachuk

Published in: ACM SIGSOFT Softw. Eng. Notes (2014)

Keyphrases

high level
programming language
formal model
sensitivity analysis
theoretical framework
computational model
parameter estimation
generation process
case study
object model
input data
markov random field
least squares
management system
probability distribution
prior knowledge
multi agent
similarity measure