{"id":"https://openalex.org/W1636987652","doi":"https://doi.org/10.1109/icinfa.2015.7279469","title":"Concurrent program semantic mutation testing based on abstract memory model","display_name":"Concurrent program semantic mutation testing based on abstract memory model","publication_year":2015,"publication_date":"2015-08-01","ids":{"openalex":"https://openalex.org/W1636987652","doi":"https://doi.org/10.1109/icinfa.2015.7279469","mag":"1636987652"},"language":"en","primary_location":{"id":"doi:10.1109/icinfa.2015.7279469","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icinfa.2015.7279469","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE International Conference on Information and Automation","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/A5100957035","display_name":"Lixin Cao","orcid":null},"institutions":[{"id":"https://openalex.org/I17145004","display_name":"Northwestern Polytechnical University","ror":"https://ror.org/01y0j0j86","country_code":"CN","type":"education","lineage":["https://openalex.org/I17145004"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Lixin Cao","raw_affiliation_strings":["College of Software & Micro-electronics, Northwestern Polytechnical University, Xi'an, Shaanxi Province, CHINA"],"affiliations":[{"raw_affiliation_string":"College of Software & Micro-electronics, Northwestern Polytechnical University, Xi'an, Shaanxi Province, CHINA","institution_ids":["https://openalex.org/I17145004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101513400","display_name":"Wei Zheng","orcid":"https://orcid.org/0000-0003-2905-7193"},"institutions":[{"id":"https://openalex.org/I17145004","display_name":"Northwestern Polytechnical University","ror":"https://ror.org/01y0j0j86","country_code":"CN","type":"education","lineage":["https://openalex.org/I17145004"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wei Zheng","raw_affiliation_strings":["College of Software & Micro-electronics, Northwestern Polytechnical University, Xi'an, Shaanxi Province, CHINA"],"affiliations":[{"raw_affiliation_string":"College of Software & Micro-electronics, Northwestern Polytechnical University, Xi'an, Shaanxi Province, CHINA","institution_ids":["https://openalex.org/I17145004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002509989","display_name":"Desheng Hu","orcid":null},"institutions":[{"id":"https://openalex.org/I17145004","display_name":"Northwestern Polytechnical University","ror":"https://ror.org/01y0j0j86","country_code":"CN","type":"education","lineage":["https://openalex.org/I17145004"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Desheng Hu","raw_affiliation_strings":["College of Software & Micro-electronics, Northwestern Polytechnical University, Xi'an, Shaanxi Province, CHINA"],"affiliations":[{"raw_affiliation_string":"College of Software & Micro-electronics, Northwestern Polytechnical University, Xi'an, Shaanxi Province, CHINA","institution_ids":["https://openalex.org/I17145004"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100565257","display_name":"Han Bai","orcid":null},"institutions":[{"id":"https://openalex.org/I17145004","display_name":"Northwestern Polytechnical University","ror":"https://ror.org/01y0j0j86","country_code":"CN","type":"education","lineage":["https://openalex.org/I17145004"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Han Bai","raw_affiliation_strings":["College of Software & Micro-electronics, Northwestern Polytechnical University, Xi'an, Shaanxi Province, CHINA"],"affiliations":[{"raw_affiliation_string":"College of Software & Micro-electronics, Northwestern Polytechnical University, Xi'an, Shaanxi Province, CHINA","institution_ids":["https://openalex.org/I17145004"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100957035"],"corresponding_institution_ids":["https://openalex.org/I17145004"],"apc_list":null,"apc_paid":null,"fwci":1.1061,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.78521977,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"23","issue":null,"first_page":"1200","last_page":"1205"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994999766349792,"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.9922000169754028,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9894000291824341,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/computer-science","display_name":"Computer science","score":0.8614189624786377},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5956661701202393},{"id":"https://openalex.org/keywords/memory-model","display_name":"Memory model","score":0.5509117245674133},{"id":"https://openalex.org/keywords/test-suite","display_name":"Test suite","score":0.5487518906593323},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5294800996780396},{"id":"https://openalex.org/keywords/mutation-testing","display_name":"Mutation testing","score":0.42021384835243225},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4173647165298462},{"id":"https://openalex.org/keywords/mutation","display_name":"Mutation","score":0.37031567096710205},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.2719903588294983},{"id":"https://openalex.org/keywords/shared-memory","display_name":"Shared memory","score":0.26376843452453613},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.24406325817108154}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8614189624786377},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5956661701202393},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.5509117245674133},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.5487518906593323},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5294800996780396},{"id":"https://openalex.org/C163565370","wikidata":"https://www.wikidata.org/wiki/Q4308623","display_name":"Mutation testing","level":4,"score":0.42021384835243225},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4173647165298462},{"id":"https://openalex.org/C501734568","wikidata":"https://www.wikidata.org/wiki/Q42918","display_name":"Mutation","level":3,"score":0.37031567096710205},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.2719903588294983},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.26376843452453613},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.24406325817108154},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"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/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"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/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icinfa.2015.7279469","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icinfa.2015.7279469","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE International Conference on Information and Automation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5699999928474426,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1887412317","https://openalex.org/W2013711971","https://openalex.org/W2089961470","https://openalex.org/W2096155624","https://openalex.org/W2101964392","https://openalex.org/W2103278866","https://openalex.org/W2104966361","https://openalex.org/W2110852599","https://openalex.org/W2121217300","https://openalex.org/W2153229512","https://openalex.org/W2159856414","https://openalex.org/W2162969183","https://openalex.org/W2166509141","https://openalex.org/W2167744164","https://openalex.org/W2171008784","https://openalex.org/W2171480813","https://openalex.org/W4205950948","https://openalex.org/W4246548215","https://openalex.org/W4247669936","https://openalex.org/W4248584197","https://openalex.org/W4254906220","https://openalex.org/W6639248035","https://openalex.org/W6684356006"],"related_works":["https://openalex.org/W2123958666","https://openalex.org/W2546792321","https://openalex.org/W1995023328","https://openalex.org/W2951506308","https://openalex.org/W2731612402","https://openalex.org/W2488011889","https://openalex.org/W2165310406","https://openalex.org/W2139763472","https://openalex.org/W2960013457","https://openalex.org/W2546441935"],"abstract_inverted_index":{"Due":[0],"to":[1,22,34,64,86,93,133,144],"the":[2,47,67,79,88,123],"fact":[3],"that":[4,51],"concurrent":[5,41,69,109],"program's":[6],"semantics":[7,113],"can't":[8],"be":[9,23],"understood":[10],"by":[11],"relaxed":[12],"memory":[13,38,48,56,111],"model":[14,39,61],"correctly,":[15],"some":[16],"unexpected":[17],"faults,":[18],"which":[19],"are":[20],"difficult":[21],"detected,":[24],"exist":[25,53],"during":[26],"its":[27],"multi-threaded":[28],"cross-execution.":[29],"Therefore,":[30],"this":[31,74],"paper":[32],"intends":[33],"establish":[35],"an":[36],"abstract":[37],"for":[40,119],"program,":[42],"conduct":[43],"formal":[44,106],"description":[45],"of":[46,108,125],"access":[49,112],"process":[50,90],"may":[52],"in":[54,122,149],"program":[55,70,110,143],"access,":[57],"and":[58,83,91,96,114],"then":[59],"utilize":[60],"checking":[62],"technique":[63,139],"find":[65],"out":[66],"common":[68],"error":[71],"scenarios":[72],"on":[73],"basis.":[75],"We":[76],"further":[77],"design":[78],"semantic":[80,136],"mutation":[81,89,137],"operator,":[82],"investigate":[84],"how":[85,92],"optimize":[87],"generate":[94],"mutants":[95],"test":[97],"suite":[98],"automatically.":[99],"This":[100],"study":[101],"can":[102],"set":[103],"up":[104],"a":[105,116,131,135],"specification":[107],"provide":[115],"theoretical":[117],"basis":[118,132],"other":[120],"researches":[121],"field":[124],"testing.":[126],"It":[127],"also":[128],"serves":[129],"as":[130],"propose":[134],"testing":[138,148],"oriented":[140],"towards":[141],"parallel":[142,146],"assist":[145],"code":[147],"industry.":[150]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}