{"id":"https://openalex.org/W2130746431","doi":"https://doi.org/10.1109/apsec.2010.39","title":"An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique","display_name":"An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique","publication_year":2010,"publication_date":"2010-11-01","ids":{"openalex":"https://openalex.org/W2130746431","doi":"https://doi.org/10.1109/apsec.2010.39","mag":"2130746431"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/apsec.2010.39","pdf_url":null,"source":{"id":"https://openalex.org/S4306417766","display_name":"Asia-Pacific Software Engineering Conference","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5068887390","display_name":"Qiuming Tao","orcid":null},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qiuming Tao","raw_affiliation_strings":["Nat. Eng. Res. Center of Fundamental Software, Chinese Acad. of Sci., Beijing, China"],"affiliations":[{"raw_affiliation_string":"Nat. Eng. Res. Center of Fundamental Software, Chinese Acad. of Sci., Beijing, China","institution_ids":["https://openalex.org/I4210128818"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112029285","display_name":"Wei Wu","orcid":null},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wei Wu","raw_affiliation_strings":["Nat. Eng. Res. Center of Fundamental Software, Chinese Acad. of Sci., Beijing, China"],"affiliations":[{"raw_affiliation_string":"Nat. Eng. Res. Center of Fundamental Software, Chinese Acad. of Sci., Beijing, China","institution_ids":["https://openalex.org/I4210128818"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101768577","display_name":"Chen Zhao","orcid":"https://orcid.org/0000-0002-2550-4382"},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chen Zhao","raw_affiliation_strings":["Nat. Eng. Res. Center of Fundamental Software, Chinese Acad. of Sci., Beijing, China"],"affiliations":[{"raw_affiliation_string":"Nat. Eng. Res. Center of Fundamental Software, Chinese Acad. of Sci., Beijing, China","institution_ids":["https://openalex.org/I4210128818"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066312294","display_name":"Wuwei Shen","orcid":null},"institutions":[{"id":"https://openalex.org/I141649380","display_name":"Western Michigan University","ror":"https://ror.org/04j198w64","country_code":"US","type":"education","lineage":["https://openalex.org/I141649380"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Wuwei Shen","raw_affiliation_strings":["Department of Computer Science, Western Michigan University; Kalamazoo MI USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Western Michigan University; Kalamazoo MI USA","institution_ids":["https://openalex.org/I141649380"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.452,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":72,"citation_normalized_percentile":{"value":0.915033,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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":1.0,"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/T10260","display_name":"Software Engineering Research","score":0.9987,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9979,"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/soundness","display_name":"Soundness","score":0.531026},{"id":"https://openalex.org/keywords/compiler-construction","display_name":"Compiler construction","score":0.47053227},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.45317182}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8617273},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7974485},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6190049},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.55503064},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.531026},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.499763},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.4869686},{"id":"https://openalex.org/C9957790","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler construction","level":3,"score":0.47053227},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.45317182},{"id":"https://openalex.org/C68366613","wikidata":"https://www.wikidata.org/wiki/Q5156378","display_name":"Compiler correctness","level":3,"score":0.43190733}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/apsec.2010.39","pdf_url":null,"source":{"id":"https://openalex.org/S4306417766","display_name":"Asia-Pacific Software Engineering Conference","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":19,"referenced_works":["https://openalex.org/W105688525","https://openalex.org/W109452506","https://openalex.org/W1487472891","https://openalex.org/W1491178396","https://openalex.org/W1494930385","https://openalex.org/W1683468393","https://openalex.org/W1702158037","https://openalex.org/W1996576978","https://openalex.org/W2009007001","https://openalex.org/W2019793857","https://openalex.org/W2025898372","https://openalex.org/W2079124302","https://openalex.org/W2112265708","https://openalex.org/W2129942570","https://openalex.org/W2134124281","https://openalex.org/W2138284121","https://openalex.org/W2141717815","https://openalex.org/W2141933055","https://openalex.org/W2143702316"],"related_works":["https://openalex.org/W4246454774","https://openalex.org/W4240253816","https://openalex.org/W4232954277","https://openalex.org/W4226439887","https://openalex.org/W3000589862","https://openalex.org/W2749133591","https://openalex.org/W2374859588","https://openalex.org/W2169584677","https://openalex.org/W2094199724","https://openalex.org/W2089705195"],"abstract_inverted_index":{"Compilers":[0],"play":[1],"an":[2,143],"important":[3],"role":[4],"in":[5,26,101,187,212,221,233],"software":[6,126],"development,":[7],"and":[8,43,77,141,229,235],"it":[9],"is":[10,29,56,95,116,181],"quite":[11],"necessary":[12],"to":[13,17,30,183],"perform":[14],"abundant":[15],"testing":[16,28,112,146,222],"ensure":[18],"the":[19,32,99,102,119,134,138,190,194],"correctness":[20],"of":[21,40,45,58,121,189,214,225],"compilers.":[22],"A":[23],"critical":[24],"task":[25],"compiler":[27],"validate":[31],"semantic-soundness":[33,191],"property":[34],"which":[35,124],"requires":[36],"consistence":[37],"between":[38],"semantics":[39],"source":[41,160,227],"programs":[42,161],"behavior":[44],"target":[46],"executables.":[47],"For":[48],"validating":[49],"this":[50,73],"property,":[51],"one":[52],"main":[53,68],"challenging":[54],"issue":[55],"generation":[57],"a":[59,107,171,223],"test":[60,93,163,204],"oracle.":[61],"Most":[62],"existing":[63,103],"approaches":[64,76,82,201],"fall":[65],"into":[66],"two":[67,230],"categories":[69],"when":[70,86],"dealing":[71],"with":[72],"issue:":[74],"reference-based":[75],"assertion-based":[78],"approaches.":[79],"All":[80],"these":[81],"have":[83,238],"their":[84],"weakness":[85,100],"new":[87,108],"programming":[88],"languages":[89],"are":[90,206],"involved":[91],"or":[92],"automation":[94],"required.":[96],"To":[97],"overcome":[98],"approaches,":[104],"we":[105,169],"propose":[106,142,152],"automatic":[109,144],"approach":[110,115],"for":[111,148,156,202],"compiler.":[113,149],"Our":[114,175],"based":[117],"on":[118,166],"technique":[120],"metamorphic":[122,139,145],"testing,":[123],"validates":[125],"systems":[127],"via":[128],"so-called":[129],"\"metamorphic":[130],"relations\".":[131],"We":[132,150,217],"select":[133],"equivalence-preservation":[135],"relation":[136,140],"as":[137,162],"framework":[147],"also":[151,197,218],"three":[153],"different":[154],"techniques":[155],"automatically":[157],"generating":[158],"equivalent":[159],"inputs.":[164],"Based":[165],"our":[167],"approach,":[168],"developed":[170],"tool":[172],"called":[173],"Mettoc.":[174,242],"mutation":[176],"experiments":[177],"show":[178],"that":[179,199],"Mettoc":[180,220],"effective":[182],"reveal":[184,198],"compilers'":[185],"errors":[186,232],"terms":[188,213],"property.":[192],"Moreover,":[193],"empirical":[195],"results":[196],"simple":[200],"constructing":[203],"inputs":[205],"not":[207],"weaker":[208],"than":[209],"complicated":[210],"ones":[211],"fault-detection":[215],"capability.":[216],"applied":[219],"number":[224],"open":[226],"compilers,":[228],"real":[231],"GCC-4.4.3":[234],"UCC-1.6":[236],"respectively":[237],"been":[239],"detected":[240],"by":[241]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2130746431","counts_by_year":[{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":8},{"year":2022,"cited_by_count":8},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":9},{"year":2019,"cited_by_count":9},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":8},{"year":2016,"cited_by_count":6},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2}],"updated_date":"2024-12-10T10:56:42.303630","created_date":"2016-06-24"}