Functional test generation guided by steady-state probabilities of abstract design.

Jian Wang Huawei Li Tao Lv Tiancheng Wang Xiaowei Li

Published in: DATE (2014)

Keyphrases

steady state
test generation
markov chain
design automation
product form
design process
queueing networks
explicit expressions
machine learning
queue length
operating conditions
steady states
variance estimator
state dependent
stationary distribution
software systems
image processing