Runtime verification method for self-adaptive software using reachability of transition system model.
Euijong LeeYoung-Gab KimYoung-Duk SeoKwangsoo SeolDoo-Kwon BaikPublished in: SAC (2017)
Keyphrases
- verification method
- computational model
- experimental data
- statistical model
- mathematical model
- probabilistic model
- objective function
- data model
- high level
- conceptual model
- database
- software tools
- artificial intelligence
- prediction model
- formal model
- transitive closure
- theoretical analysis
- software architecture
- management system
- hidden markov models
- cost function
- website
- learning algorithm
- genetic algorithm