Huina Chao, Huawei Li, Xiaoyu Song, Tiancheng Wang, Xiaowei Li. On Evaluating and Constraining Assertions Using Conflicts in Absent Scenarios. In 26th IEEE Asian Test Symposium, ATS 2017, Taipei City, Taiwan, November 27-30, 2017. pages 195-200, IEEE Computer Society, 2017. [doi]
@inproceedings{ChaoLSWL17,
title = {On Evaluating and Constraining Assertions Using Conflicts in Absent Scenarios},
author = {Huina Chao and Huawei Li and Xiaoyu Song and Tiancheng Wang and Xiaowei Li},
year = {2017},
doi = {10.1109/ATS.2017.45},
url = {http://doi.ieeecomputersociety.org/10.1109/ATS.2017.45},
researchr = {https://researchr.org/publication/ChaoLSWL17},
cites = {0},
citedby = {0},
pages = {195-200},
booktitle = {26th IEEE Asian Test Symposium, ATS 2017, Taipei City, Taiwan, November 27-30, 2017},
publisher = {IEEE Computer Society},
isbn = {978-1-5386-2437-1},
}