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