{"id":"https://openalex.org/W1982483659","doi":"https://doi.org/10.1145/2642937.2642994","title":"Search-based inference of polynomial metamorphic relations","display_name":"Search-based inference of polynomial metamorphic relations","publication_year":2014,"publication_date":"2014-09-15","ids":{"openalex":"https://openalex.org/W1982483659","doi":"https://doi.org/10.1145/2642937.2642994","mag":"1982483659"},"language":"en","primary_location":{"id":"doi:10.1145/2642937.2642994","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2642937.2642994","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering","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/A5088708850","display_name":"Jie M. Zhang","orcid":"https://orcid.org/0000-0003-0481-7264"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]},{"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":true,"raw_author_name":"Jie Zhang","raw_affiliation_strings":["Institute of Software, School of EECS, Peking University, China, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Software, School of EECS, Peking University, China, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100365555","display_name":"Junjie Chen","orcid":"https://orcid.org/0000-0003-3056-9962"},"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"]},{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Junjie Chen","raw_affiliation_strings":["Institute of Software, School of EECS, Peking University, China, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Software, School of EECS, Peking University, China, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085393851","display_name":"Dan Hao","orcid":"https://orcid.org/0000-0001-8295-303X"},"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"]},{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Dan Hao","raw_affiliation_strings":["Institute of Software, School of EECS, Peking University, China, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Software, School of EECS, Peking University, China, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100712724","display_name":"Yingfei Xiong","orcid":"https://orcid.org/0000-0001-8991-747X"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]},{"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":"Yingfei Xiong","raw_affiliation_strings":["Institute of Software, School of EECS, Peking University, China, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Software, School of EECS, Peking University, China, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102928967","display_name":"Bing Xie","orcid":"https://orcid.org/0000-0002-2988-2575"},"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"]},{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bing Xie","raw_affiliation_strings":["Institute of Software, School of EECS, Peking University, China, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Software, School of EECS, Peking University, China, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100388576","display_name":"Lu Zhang","orcid":"https://orcid.org/0000-0001-8304-7055"},"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"]},{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lu Zhang","raw_affiliation_strings":["Institute of Software, School of EECS, Peking University, China, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Software, School of EECS, Peking University, China, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I20231570"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100633784","display_name":"Hong Mei","orcid":"https://orcid.org/0000-0003-2380-3976"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]},{"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":"Hong Mei","raw_affiliation_strings":["Institute of Software, School of EECS, Peking University, China, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Software, School of EECS, Peking University, China, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I20231570"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5088708850"],"corresponding_institution_ids":["https://openalex.org/I20231570","https://openalex.org/I4210128818"],"apc_list":null,"apc_paid":null,"fwci":7.6605,"has_fulltext":false,"cited_by_count":119,"citation_normalized_percentile":{"value":0.97203149,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"701","last_page":"712"},"is_retracted":false,"is_paratext":false,"is_xpac":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/T12423","display_name":"Software Reliability and Analysis Research","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/T10260","display_name":"Software Engineering Research","score":0.9961000084877014,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6823821663856506},{"id":"https://openalex.org/keywords/metamorphic-rock","display_name":"Metamorphic rock","score":0.6687670350074768},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6606980562210083},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.46734410524368286},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.4145807921886444},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3926595151424408},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3666225075721741},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3632546067237854},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.32003840804100037},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.13556265830993652}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6823821663856506},{"id":"https://openalex.org/C26687426","wikidata":"https://www.wikidata.org/wiki/Q47069","display_name":"Metamorphic rock","level":2,"score":0.6687670350074768},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6606980562210083},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.46734410524368286},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4145807921886444},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3926595151424408},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3666225075721741},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3632546067237854},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32003840804100037},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.13556265830993652},{"id":"https://openalex.org/C17409809","wikidata":"https://www.wikidata.org/wiki/Q161764","display_name":"Geochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","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},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2642937.2642994","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2642937.2642994","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.651.1376","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.651.1376","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://sei.pku.edu.cn/~zhanglu/Download/ASE14.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1298562472","display_name":"\u9762\u5411\u591a\u7ef4\u5ea6\u7684\u6d4b\u8bd5\u7528\u4f8b\u5316\u7b80\u6280\u672f\u7814\u7a76","funder_award_id":"61272157","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2804735246","display_name":null,"funder_award_id":"2014CB347701","funder_id":"https://openalex.org/F4320321540","funder_display_name":"Ministry of Science and Technology of the People's Republic of China"},{"id":"https://openalex.org/G2892983952","display_name":null,"funder_award_id":"61225007","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G362285260","display_name":null,"funder_award_id":"61228203","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4128844391","display_name":null,"funder_award_id":"61121063","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4725297293","display_name":"\u4e91\u8ba1\u7b97\u73af\u5883\u4e0b\u8f6f\u4ef6\u53ef\u9760\u6027\u548c\u5b89\u5168\u6027\u7406\u8bba\u3001\u6280\u672f\u4e0e\u5b9e\u8bc1\u7814\u7a76","funder_award_id":"61332010","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6508445312","display_name":null,"funder_award_id":"2013AA01A605","funder_id":"https://openalex.org/F4320321540","funder_display_name":"Ministry of Science and Technology of the People's Republic of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321540","display_name":"Ministry of Science and Technology of the People's Republic of China","ror":"https://ror.org/027s68j25"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":86,"referenced_works":["https://openalex.org/W3364806","https://openalex.org/W90447038","https://openalex.org/W940632121","https://openalex.org/W1505496191","https://openalex.org/W1521711401","https://openalex.org/W1541317711","https://openalex.org/W1579638562","https://openalex.org/W1582375610","https://openalex.org/W1594099667","https://openalex.org/W1680797894","https://openalex.org/W1702158037","https://openalex.org/W1820051232","https://openalex.org/W1966151649","https://openalex.org/W1968346511","https://openalex.org/W1969604823","https://openalex.org/W1971453974","https://openalex.org/W1978277032","https://openalex.org/W1981485014","https://openalex.org/W1986969990","https://openalex.org/W1992019261","https://openalex.org/W1992570401","https://openalex.org/W2002875905","https://openalex.org/W2013711971","https://openalex.org/W2023556458","https://openalex.org/W2025003613","https://openalex.org/W2029384314","https://openalex.org/W2031042671","https://openalex.org/W2034553498","https://openalex.org/W2035661891","https://openalex.org/W2043998723","https://openalex.org/W2044527526","https://openalex.org/W2046957481","https://openalex.org/W2057998500","https://openalex.org/W2062477928","https://openalex.org/W2066257627","https://openalex.org/W2067676171","https://openalex.org/W2072000086","https://openalex.org/W2075485888","https://openalex.org/W2076609667","https://openalex.org/W2083807551","https://openalex.org/W2092382400","https://openalex.org/W2096654515","https://openalex.org/W2097915232","https://openalex.org/W2098278465","https://openalex.org/W2099613036","https://openalex.org/W2100230555","https://openalex.org/W2100568614","https://openalex.org/W2105864475","https://openalex.org/W2109612250","https://openalex.org/W2110020954","https://openalex.org/W2110034988","https://openalex.org/W2110441383","https://openalex.org/W2110908283","https://openalex.org/W2112265708","https://openalex.org/W2117453981","https://openalex.org/W2117866489","https://openalex.org/W2119861793","https://openalex.org/W2120681761","https://openalex.org/W2121326730","https://openalex.org/W2123267559","https://openalex.org/W2129942570","https://openalex.org/W2131613989","https://openalex.org/W2131954495","https://openalex.org/W2133591107","https://openalex.org/W2134124281","https://openalex.org/W2141933055","https://openalex.org/W2142756246","https://openalex.org/W2143198621","https://openalex.org/W2143712427","https://openalex.org/W2144368431","https://openalex.org/W2146136779","https://openalex.org/W2146178292","https://openalex.org/W2147678316","https://openalex.org/W2147889321","https://openalex.org/W2151584853","https://openalex.org/W2159919030","https://openalex.org/W2163011370","https://openalex.org/W2174535387","https://openalex.org/W2402846924","https://openalex.org/W2543580944","https://openalex.org/W3098458918","https://openalex.org/W4237820715","https://openalex.org/W4285719527","https://openalex.org/W6637620405","https://openalex.org/W6678880349","https://openalex.org/W6682642761"],"related_works":["https://openalex.org/W2388869842","https://openalex.org/W2354163170","https://openalex.org/W2012269922","https://openalex.org/W2368683800","https://openalex.org/W4255743663","https://openalex.org/W2401987651","https://openalex.org/W1006855143","https://openalex.org/W4220704332","https://openalex.org/W2958820572","https://openalex.org/W4220799108"],"abstract_inverted_index":{"Metamorphic":[0],"testing":[1,8],"(MT)":[2],"is":[3,18],"an":[4,55],"effective":[5],"methodology":[6],"for":[7,22],"those":[9],"so-called":[10],"``non-testable''":[11],"programs":[12],"(e.g.,":[13],"scientific":[14],"programs),":[15],"where":[16],"it":[17],"sometimes":[19],"very":[20],"difficult":[21],"testers":[23,59],"to":[24,42,63],"know":[25],"whether":[26],"the":[27,43,46,52],"outputs":[28],"are":[29],"correct.":[30],"In":[31],"metamorphic":[32,34],"testing,":[33],"relations":[35],"(MRs)":[36],"(which":[37],"specify":[38],"how":[39],"particular":[40],"changes":[41],"input":[44],"of":[45],"program":[47],"under":[48],"test":[49],"would":[50],"change":[51],"output)":[53],"play":[54],"essential":[56],"role.":[57],"However,":[58],"may":[60],"typically":[61],"have":[62],"obtain":[64],"MRs":[65],"manually.":[66]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":7},{"year":2024,"cited_by_count":17},{"year":2023,"cited_by_count":10},{"year":2022,"cited_by_count":13},{"year":2021,"cited_by_count":17},{"year":2020,"cited_by_count":16},{"year":2019,"cited_by_count":11},{"year":2018,"cited_by_count":8},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":7},{"year":2015,"cited_by_count":8}],"updated_date":"2026-06-06T09:05:17.133730","created_date":"2025-10-10T00:00:00"}