A method for testing and validating executable statechart models.
Tom MensAlexandre DecanNikolaos I. SpanoudakisPublished in: Softw. Syst. Model. (2019)
Keyphrases
- statistical model
- computational complexity
- high accuracy
- preprocessing
- model selection
- pairwise
- optimization method
- data sets
- experimental evaluation
- cost function
- detection method
- em algorithm
- test data
- support vector machine
- computational cost
- high precision
- multiscale
- parametric models
- least squares
- statistical methods
- monte carlo simulation
- linear model
- parameter estimation
- denoising
- significant improvement
- prior knowledge
- objective function
- bayesian networks
- similarity measure
- neural network