A Case Study: To Discuss the Construction of the Finite State Machine and Markov-Chain OP Models for Test Case Generation.
Saima ShaheenHasna ArshadMomeena MirMuhammad Tufail HashmiPublished in: ICACS (2024)
Keyphrases
- markov chain
- finite state machines
- monte carlo simulation
- transition probabilities
- steady state
- state transition
- test case generation
- random walk
- monte carlo
- transition matrix
- markov model
- monte carlo method
- model checking
- stationary distribution
- markov chain monte carlo
- gibbs sampler
- state space
- markov models
- mathematical models
- case study
- neural network
- fitness function
- model selection
- particle filter
- relational databases