An accurate algorithm for computing mutation coverage in model checking.

Huina Chao, Huawei Li, Tiancheng Wang, Xiaowei Li, Bo Liu

Browse the full ITC paper archive.