{"id":"https://openalex.org/W2568345401","doi":"https://doi.org/10.1109/test.2016.7805864","title":"An accurate algorithm for computing mutation coverage in model checking","display_name":"An accurate algorithm for computing mutation coverage in model checking","publication_year":2016,"publication_date":"2016-11-01","ids":{"openalex":"https://openalex.org/W2568345401","doi":"https://doi.org/10.1109/test.2016.7805864","mag":"2568345401"},"language":"en","primary_location":{"id":"doi:10.1109/test.2016.7805864","is_oa":false,"landing_page_url":"https://doi.org/10.1109/test.2016.7805864","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE International Test Conference (ITC)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5024517513","display_name":"Huina Chao","orcid":null},"institutions":[{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Huina Chao","raw_affiliation_strings":["University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100768288","display_name":"Huawei Li","orcid":"https://orcid.org/0000-0001-8082-4218"},"institutions":[{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Huawei Li","raw_affiliation_strings":["University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100688448","display_name":"Tiancheng Wang","orcid":"https://orcid.org/0000-0001-7273-3607"},"institutions":[{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tiancheng Wang","raw_affiliation_strings":["University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023380073","display_name":"Xiaowei Li","orcid":"https://orcid.org/0000-0002-0874-814X"},"institutions":[{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaowei Li","raw_affiliation_strings":["University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5115587783","display_name":"\u0411\u043e \u041b\u044e","orcid":"https://orcid.org/0000-0003-3045-628X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bo Liu","raw_affiliation_strings":["Beijing Institute of Control Engineering, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Beijing Institute of Control Engineering, Beijing, China","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5024517513"],"corresponding_institution_ids":["https://openalex.org/I4210165038"],"apc_list":null,"apc_paid":null,"fwci":1.0454,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.81077918,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9797000288963318,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computation-tree-logic","display_name":"Computation tree logic","score":0.6950222253799438},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6629831194877625},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.6192333698272705},{"id":"https://openalex.org/keywords/mutation","display_name":"Mutation","score":0.5950366854667664},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5738831758499146},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.54345703125},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.5396369695663452},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5346604585647583},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5172644257545471},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.43429821729660034},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.4187595844268799},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.41045093536376953},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.23006808757781982},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08220183849334717}],"concepts":[{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.6950222253799438},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6629831194877625},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6192333698272705},{"id":"https://openalex.org/C501734568","wikidata":"https://www.wikidata.org/wiki/Q42918","display_name":"Mutation","level":3,"score":0.5950366854667664},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5738831758499146},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.54345703125},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5396369695663452},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5346604585647583},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5172644257545471},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.43429821729660034},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.4187595844268799},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41045093536376953},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23006808757781982},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08220183849334717},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/test.2016.7805864","is_oa":false,"landing_page_url":"https://doi.org/10.1109/test.2016.7805864","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE International Test Conference (ITC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.6000000238418579,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W1491807613","https://openalex.org/W1503170978","https://openalex.org/W1941805418","https://openalex.org/W1976597924","https://openalex.org/W2025939866","https://openalex.org/W2071144673","https://openalex.org/W2091220439","https://openalex.org/W2116153111","https://openalex.org/W2118373675","https://openalex.org/W2124025245","https://openalex.org/W2131811951","https://openalex.org/W2133819580","https://openalex.org/W2150240033","https://openalex.org/W2153174871","https://openalex.org/W2159301149","https://openalex.org/W2166120014","https://openalex.org/W2344671925","https://openalex.org/W2543899255","https://openalex.org/W3139676231","https://openalex.org/W3142533165","https://openalex.org/W6644480423","https://openalex.org/W6684525083","https://openalex.org/W6704706996","https://openalex.org/W6729011241"],"related_works":["https://openalex.org/W4247671148","https://openalex.org/W2963209892","https://openalex.org/W2073812501","https://openalex.org/W146107827","https://openalex.org/W1987761485","https://openalex.org/W1997518979","https://openalex.org/W1551070491","https://openalex.org/W4289687320","https://openalex.org/W2040233837","https://openalex.org/W4240265263"],"abstract_inverted_index":{"Property":[0],"coverage":[1,17,45,90],"is":[2],"an":[3,84],"important":[4],"way":[5],"to":[6,34,39,53,59,87,121,129,135],"evaluate":[7],"the":[8,15,27,31,36,40,49,102,119,122,137,140],"completeness":[9],"of":[10,14,42,63,74,110,133,139],"model":[11,47],"checking.":[12],"Most":[13],"property":[16],"metrics":[18],"are":[19],"based":[20],"on":[21],"mutation":[22,44,89],"coverage,":[23,65],"obtained":[24],"by":[25,114],"mutating":[26],"design":[28,141],"and":[29,66],"checking":[30],"property's":[32],"ability":[33],"detect":[35],"mutation.":[37],"Due":[38],"complexity":[41],"computing":[43],"in":[46],"checking,":[48],"previous":[50,116],"methods":[51],"resort":[52],"some":[54],"approximate":[55],"algorithms":[56],"which":[57],"tend":[58],"give":[60],"pessimistic":[61],"estimation":[62],"state":[64],"can":[67,105],"only":[68],"deal":[69],"with":[70,95],"a":[71,107,115],"limited":[72],"subset":[73],"Computation":[75],"Tree":[76],"Logic":[77],"(CTL).":[78],"In":[79],"this":[80],"paper,":[81],"we":[82],"present":[83],"improved":[85],"algorithm":[86,104],"compute":[88],"for":[91],"arbitrary":[92],"CTL":[93,124],"formulas":[94],"high":[96],"accuracy.":[97],"Experimental":[98],"results":[99],"show":[100],"that":[101],"proposed":[103],"identify":[106],"great":[108],"number":[109],"covered":[111],"states":[112],"missed":[113],"method.":[117],"Meanwhile,":[118],"extension":[120],"complete":[123],"set":[125],"makes":[126],"it":[127],"easy":[128],"write":[130],"all":[131],"kinds":[132],"properties":[134],"describe":[136],"features":[138],"better.":[142]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}