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]
No references recorded for this publication.
No citations of this publication recorded.