A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems.
Marwa ShoushaLionel C. BriandYvan LabichePublished in: MoDELS (2009)
Keyphrases
- input data
- test data
- prior knowledge
- synthetic data
- detection method
- data analysis
- statistical model
- experimental data
- correlation analysis
- data sets
- probabilistic model
- learned models
- cost function
- objective function
- statistical methods
- predictive model
- empirical data
- statistical analysis
- parameter estimation
- prior information
- mathematical model
- similarity measure
- contingency tables
- prediction model
- dimensional vector
- clustering method
- missing data
- regression analysis
- em algorithm
- probability distribution
- data points
- training data
- concurrent systems
- conceptual model
- detection algorithm
- object detectors
- object oriented
- case study