MMFuzz: Towards Enhancing RTL Fuzz Testing Using Metric Feedbacks Based on Markov Chain.

Yue Cheng Hongji Zou Jiayu He Chen Chen Tun Li Han Long

Published in: ATS (2023)

Keyphrases

markov chain
steady state
transition probabilities
finite state
markov model
state space
monte carlo
markov process
monte carlo simulation
stochastic process
random walk
stationary distribution
monte carlo method
transition matrix
image segmentation
dynamic programming