An accurate algorithm for computing mutation coverage in model checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Huina Chao' in GoogleThis author has not been identified. Look up 'Huawei Li' in GoogleThis author has not been identified. Look up 'Tiancheng Wang' in GoogleThis author has not been identified. Look up 'Xiaowei Li' in GoogleThis author has not been identified. Look up 'Bo Liu' in Google

runs on WebDSL