C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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