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]
Abstract is missing.