Behavioral validation of JFSL specifications through model synthesis.
Carlo GhezziAndrea MocciPublished in: ICSE (2012)
Keyphrases
- computational model
- mathematical model
- prior knowledge
- probabilistic model
- decision trees
- neural network
- management system
- conceptual model
- hierarchical structure
- experimental data
- theoretical framework
- theoretical analysis
- software engineering
- probability distribution
- reinforcement learning
- case study
- genetic algorithm