On Evaluating and Constraining Assertions Using Conflicts in Absent Scenarios

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]

Authors

Huina Chao

This author has not been identified. Look up 'Huina Chao' in Google

Huawei Li

This author has not been identified. Look up 'Huawei Li' in Google

Xiaoyu Song

This author has not been identified. Look up 'Xiaoyu Song' in Google

Tiancheng Wang

This author has not been identified. Look up 'Tiancheng Wang' in Google

Xiaowei Li

This author has not been identified. Look up 'Xiaowei Li' in Google