%0 Conference Paper %1 conf/itc/ChaoLWLL16 %A Chao, Huina %A Li, Huawei %A Wang, Tiancheng %A Li, Xiaowei %A Liu, Bo %B ITC %D 2016 %I IEEE %K dblp %P 1-10 %T An accurate algorithm for computing mutation coverage in model checking. %U http://dblp.uni-trier.de/db/conf/itc/itc2016.html#ChaoLWLL16 %@ 978-1-4673-8773-6

@inproceedings{conf/itc/ChaoLWLL16, added-at = {2023-05-11T00:00:00.000+0200}, author = {Chao, Huina and Li, Huawei and Wang, Tiancheng and Li, Xiaowei and Liu, Bo}, biburl = {https://www.bibsonomy.org/bibtex/2038f3ef8d99e6007ab77861d92af5224/dblp}, booktitle = {ITC}, crossref = {conf/itc/2016}, ee = {https://doi.org/10.1109/TEST.2016.7805864}, interhash = {efa6b8727368921a745e23b59f78b803}, intrahash = {038f3ef8d99e6007ab77861d92af5224}, isbn = {978-1-4673-8773-6}, keywords = {dblp}, pages = {1-10}, publisher = {IEEE}, timestamp = {2024-04-10T04:29:36.000+0200}, title = {An accurate algorithm for computing mutation coverage in model checking.}, url = {http://dblp.uni-trier.de/db/conf/itc/itc2016.html#ChaoLWLL16}, year = 2016 }