{"id":"https://openalex.org/W4386764794","doi":"https://doi.org/10.1109/dac56929.2023.10247962","title":"Mantra: Mutation Testing of Hardware Design Code Based on Real Bugs","display_name":"Mantra: Mutation Testing of Hardware Design Code Based on Real Bugs","publication_year":2023,"publication_date":"2023-07-09","ids":{"openalex":"https://openalex.org/W4386764794","doi":"https://doi.org/10.1109/dac56929.2023.10247962"},"language":"en","primary_location":{"id":"doi:10.1109/dac56929.2023.10247962","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dac56929.2023.10247962","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 60th ACM/IEEE Design Automation Conference (DAC)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5021371093","display_name":"Jiang Wu","orcid":"https://orcid.org/0000-0002-6353-8890"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiang Wu","raw_affiliation_strings":["National University of Defense Technology,Changsha,China","National University of Defense Technology, Changsha, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National University of Defense Technology,Changsha,China","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000615752","display_name":"Lei Yan","orcid":"https://orcid.org/0000-0002-4779-2688"},"institutions":[{"id":"https://openalex.org/I158842170","display_name":"Chongqing University","ror":"https://ror.org/023rhb549","country_code":"CN","type":"education","lineage":["https://openalex.org/I158842170"]},{"id":"https://openalex.org/I4210136793","display_name":"Peng Cheng Laboratory","ror":"https://ror.org/03qdqbt06","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210136793"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yan Lei","raw_affiliation_strings":["Chongqing University,Chongqing,China","Chongqing University, Chongqing, China","Peng Cheng Laboratory, ShenZhen, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chongqing University,Chongqing,China","institution_ids":["https://openalex.org/I158842170"]},{"raw_affiliation_string":"Chongqing University, Chongqing, China","institution_ids":["https://openalex.org/I158842170"]},{"raw_affiliation_string":"Peng Cheng Laboratory, ShenZhen, China","institution_ids":["https://openalex.org/I4210136793"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100429710","display_name":"Zhuo Zhang","orcid":"https://orcid.org/0000-0002-6515-0021"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhuo Zhang","raw_affiliation_strings":["National University of Defense Technology,Changsha,China","National University of Defense Technology, Changsha, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National University of Defense Technology,Changsha,China","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065413638","display_name":"Xiankai Meng","orcid":null},"institutions":[{"id":"https://openalex.org/I135905480","display_name":"Shanghai Polytechnic University","ror":"https://ror.org/02as5yg64","country_code":"CN","type":"education","lineage":["https://openalex.org/I135905480"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiankai Meng","raw_affiliation_strings":["Shanghai Polytechnic University,Shanghai,China","Shanghai Polytechnic University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Polytechnic University,Shanghai,China","institution_ids":["https://openalex.org/I135905480"]},{"raw_affiliation_string":"Shanghai Polytechnic University, Shanghai, China","institution_ids":["https://openalex.org/I135905480"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003136837","display_name":"Deheng Yang","orcid":"https://orcid.org/0000-0002-8383-1939"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Deheng Yang","raw_affiliation_strings":["National University of Defense Technology,Changsha,China","National University of Defense Technology, Changsha, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National University of Defense Technology,Changsha,China","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091013824","display_name":"Li Pan","orcid":"https://orcid.org/0000-0002-3499-6067"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Pan Li","raw_affiliation_strings":["National University of Defense Technology,Changsha,China","National University of Defense Technology, Changsha, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National University of Defense Technology,Changsha,China","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034699862","display_name":"Jiayu He","orcid":"https://orcid.org/0000-0002-1329-7312"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiayu He","raw_affiliation_strings":["National University of Defense Technology,Changsha,China","National University of Defense Technology, Changsha, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National University of Defense Technology,Changsha,China","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080183182","display_name":"Xiaoguang Mao","orcid":"https://orcid.org/0000-0003-4204-7424"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaoguang Mao","raw_affiliation_strings":["National University of Defense Technology,Changsha,China","National University of Defense Technology, Changsha, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National University of Defense Technology,Changsha,China","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.3423,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.85714286,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"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.9998999834060669,"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.9998999834060669,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9930999875068665,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9853000044822693,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mantra","display_name":"Mantra","score":0.8539842367172241},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7722150683403015},{"id":"https://openalex.org/keywords/mutation","display_name":"Mutation","score":0.6958368420600891},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5360880494117737},{"id":"https://openalex.org/keywords/mutation-testing","display_name":"Mutation testing","score":0.5016927719116211},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.4598146378993988},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.44624561071395874},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.43775683641433716},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.34580332040786743}],"concepts":[{"id":"https://openalex.org/C2778171436","wikidata":"https://www.wikidata.org/wiki/Q131510","display_name":"Mantra","level":2,"score":0.8539842367172241},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7722150683403015},{"id":"https://openalex.org/C501734568","wikidata":"https://www.wikidata.org/wiki/Q42918","display_name":"Mutation","level":3,"score":0.6958368420600891},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5360880494117737},{"id":"https://openalex.org/C163565370","wikidata":"https://www.wikidata.org/wiki/Q4308623","display_name":"Mutation testing","level":4,"score":0.5016927719116211},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.4598146378993988},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.44624561071395874},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.43775683641433716},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34580332040786743},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","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/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C27206212","wikidata":"https://www.wikidata.org/wiki/Q34178","display_name":"Theology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/dac56929.2023.10247962","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dac56929.2023.10247962","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 60th ACM/IEEE Design Automation Conference (DAC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4699999988079071,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1989065170","https://openalex.org/W2024486027","https://openalex.org/W2043292265","https://openalex.org/W2135841285","https://openalex.org/W2725449579","https://openalex.org/W2786944871","https://openalex.org/W2965110092","https://openalex.org/W3141518641","https://openalex.org/W3145296564","https://openalex.org/W3149907469","https://openalex.org/W3150356874","https://openalex.org/W3178469298","https://openalex.org/W4213151038","https://openalex.org/W4214519628","https://openalex.org/W4249966869"],"related_works":["https://openalex.org/W2123958666","https://openalex.org/W2546792321","https://openalex.org/W2951506308","https://openalex.org/W2488011889","https://openalex.org/W2165310406","https://openalex.org/W2139763472","https://openalex.org/W2546441935","https://openalex.org/W2047943031","https://openalex.org/W2126723155","https://openalex.org/W2232482475"],"abstract_inverted_index":{"Mutation":[0],"testing,":[1],"a":[2,83],"well-suited":[3],"technology":[4],"for":[5,36],"functional":[6],"validation,":[7],"is":[8],"regrettably":[9],"poorly":[10],"studied":[11],"in":[12],"hardware.":[13],"We":[14],"propose":[15],"Mantra:":[16],"the":[17,44,67],"first":[18],"open-source":[19],"code-level":[20],"mutation":[21,33,41,57],"testing":[22,42],"tool":[23],"based":[24],"on":[25,63,69],"real":[26,64],"hardware":[27,40,47,56],"bugs.":[28,65],"Specifically,":[29],"Mantra":[30,78],"devises":[31],"time-aware":[32],"killing":[34],"mechanism":[35],"cost":[37],"reduction":[38],"of":[39,46,86],"using":[43],"parallelism":[45],"design":[48],"code,":[49],"and":[50,53,74],"then":[51],"defines":[52],"implements":[54],"19":[55],"operators":[58],"via":[59],"large-scale":[60],"empirical":[61],"analysis":[62],"Finally,":[66],"evaluation":[68],"public":[70],"datasets":[71],"from":[72],"CirFix":[73],"OpenCores":[75],"shows":[76],"that":[77],"achieves":[79],"promising":[80],"results":[81],"with":[82],"maximum":[84],"boost":[85],"83.44%.":[87]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":5}],"updated_date":"2026-08-12T21:12:35.861297","created_date":"2025-10-10T00:00:00"}