Jian Wang, Huawei Li, Tao Lv, Tiancheng Wang, Xiaowei Li
Functional test generation guided by steady-state probabilities of abstract design
DATE, 2014.
@inproceedings{DATE-2014-WangLLW0,
author = "Jian Wang and Huawei Li and Tao Lv and Tiancheng Wang and Xiaowei Li",
booktitle = "{Proceedings of the 18th Conference and Exhibition on Design, Automation and Test in Europe}",
doi = "10.7873/DATE.2014.334",
pages = "1--4",
publisher = "{IEEE}",
title = "{Functional test generation guided by steady-state probabilities of abstract design}",
year = 2014,
}