Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement.

Colin Paterson Radu Calinescu

Published in: ICSA (2017)

Keyphrases

markov chain
steady state
monte carlo simulation
monte carlo
markov model
markov process
finite state
state space
random walk
monte carlo method
neural network
stationary distribution
markov chain monte carlo
dynamic programming
search algorithm
bayesian networks
image segmentation
data mining