Huina Chao, Huawei Li, Tiancheng Wang, Xiaowei Li, Bo Liu. An accurate algorithm for computing mutation coverage in model checking. In 2016 IEEE International Test Conference, ITC 2016, Fort Worth, TX, USA, November 15-17, 2016. pages 1-10, IEEE, 2016. [doi]
Abstract is missing.