Yanhong Zhou, Tiancheng Wang, Tao Lv, Huawei Li, Xiaowei Li 0001. Path Constraint Solving Based Test Generation for Hard-to-Reach States. In 22nd Asian Test Symposium, ATS 2013, Yilan County, Taiwan, November 18-21, 2013. pages 239-244, IEEE, 2013. [doi]
@inproceedings{ZhouWLL013,
title = {Path Constraint Solving Based Test Generation for Hard-to-Reach States},
author = {Yanhong Zhou and Tiancheng Wang and Tao Lv and Huawei Li and Xiaowei Li 0001},
year = {2013},
doi = {10.1109/ATS.2013.52},
url = {http://doi.ieeecomputersociety.org/10.1109/ATS.2013.52},
researchr = {https://researchr.org/publication/ZhouWLL013},
cites = {0},
citedby = {0},
pages = {239-244},
booktitle = {22nd Asian Test Symposium, ATS 2013, Yilan County, Taiwan, November 18-21, 2013},
publisher = {IEEE},
}