Designing Robust Software Systems through Parametric Markov Chain Synthesis.
Radu CalinescuMilan CeskaSimos GerasimouMarta KwiatkowskaNicola PaolettiPublished in: ICSA (2017)
Keyphrases
- markov chain
- software systems
- steady state
- software engineering
- source code
- software development
- software maintenance
- monte carlo simulation
- monte carlo method
- stationary distribution
- markov process
- random walk
- transition probabilities
- software components
- monte carlo
- state space
- software design
- transition matrix
- markov model
- software evolution
- software engineers
- software architecture
- software testing
- software repositories
- dynamic programming
- multi agent systems
- machine learning
- software quality
- queue length
- sufficient conditions
- maximum likelihood
- support vector
- database
- component based software