{"id":"https://openalex.org/W4395049240","doi":"https://doi.org/10.1007/s11219-024-09673-5","title":"Differential testing solidity compiler through deep contract manipulation and mutation","display_name":"Differential testing solidity compiler through deep contract manipulation and mutation","publication_year":2024,"publication_date":"2024-04-23","ids":{"openalex":"https://openalex.org/W4395049240","doi":"https://doi.org/10.1007/s11219-024-09673-5"},"language":"en","primary_location":{"id":"doi:10.1007/s11219-024-09673-5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11219-024-09673-5","pdf_url":null,"source":{"id":"https://openalex.org/S7504070","display_name":"Software Quality Journal","issn_l":"0963-9314","issn":["0963-9314","1573-1367"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software Quality Journal","raw_type":"journal-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/A5049436913","display_name":"Zhenzhou Tian","orcid":"https://orcid.org/0000-0001-7608-8908"},"institutions":[{"id":"https://openalex.org/I4210136859","display_name":"Xi\u2019an University of Posts and Telecommunications","ror":"https://ror.org/04jn0td46","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210136859"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Zhenzhou Tian","raw_affiliation_strings":["Department of Computer Science and Technology, Xi\u2019an University of Posts and Telecommunications, Xi\u2019an, 710121, Shaanxi, China","Shaanxi Key Laboratory of Network Data Analysis and Intelligent Processing, Xi\u2019an University of Posts and Telecommunications, Xi\u2019an, 710121, Shaanxi, China","Xi\u2019an Key Laboratory of Big Data and Intelligent Computing, Xi\u2019an University of Posts and Telecommunications, Xi\u2019an, 710121, Shaanxi, China","Department of Computer Science and Technology, Xi'an University of Posts and Telecommunications, Xi'an, 710121, Shaanxi, China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Xi\u2019an University of Posts and Telecommunications, Xi\u2019an, 710121, Shaanxi, China","institution_ids":["https://openalex.org/I4210136859"]},{"raw_affiliation_string":"Shaanxi Key Laboratory of Network Data Analysis and Intelligent Processing, Xi\u2019an University of Posts and Telecommunications, Xi\u2019an, 710121, Shaanxi, China","institution_ids":["https://openalex.org/I4210136859"]},{"raw_affiliation_string":"Xi\u2019an Key Laboratory of Big Data and Intelligent Computing, Xi\u2019an University of Posts and Telecommunications, Xi\u2019an, 710121, Shaanxi, China","institution_ids":["https://openalex.org/I4210136859"]},{"raw_affiliation_string":"Department of Computer Science and Technology, Xi'an University of Posts and Telecommunications, Xi'an, 710121, Shaanxi, China","institution_ids":["https://openalex.org/I4210136859"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101587016","display_name":"Fanfan Wang","orcid":"https://orcid.org/0009-0002-4209-2700"},"institutions":[{"id":"https://openalex.org/I4210136859","display_name":"Xi\u2019an University of Posts and Telecommunications","ror":"https://ror.org/04jn0td46","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210136859"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fanfan Wang","raw_affiliation_strings":["Department of Computer Science and Technology, Xi\u2019an University of Posts and Telecommunications, Xi\u2019an, 710121, Shaanxi, China","Department of Computer Science and Technology, Xi'an University of Posts and Telecommunications, Xi'an, 710121, Shaanxi, China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Xi\u2019an University of Posts and Telecommunications, Xi\u2019an, 710121, Shaanxi, China","institution_ids":["https://openalex.org/I4210136859"]},{"raw_affiliation_string":"Department of Computer Science and Technology, Xi'an University of Posts and Telecommunications, Xi'an, 710121, Shaanxi, China","institution_ids":["https://openalex.org/I4210136859"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100419627","display_name":"Yanping Chen","orcid":"https://orcid.org/0000-0001-6548-6070"},"institutions":[{"id":"https://openalex.org/I4210136859","display_name":"Xi\u2019an University of Posts and Telecommunications","ror":"https://ror.org/04jn0td46","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210136859"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yanping Chen","raw_affiliation_strings":["Department of Computer Science and Technology, Xi\u2019an University of Posts and Telecommunications, Xi\u2019an, 710121, Shaanxi, China","Shaanxi Key Laboratory of Network Data Analysis and Intelligent Processing, Xi\u2019an University of Posts and Telecommunications, Xi\u2019an, 710121, Shaanxi, China","Xi\u2019an Key Laboratory of Big Data and Intelligent Computing, Xi\u2019an University of Posts and Telecommunications, Xi\u2019an, 710121, Shaanxi, China","Department of Computer Science and Technology, Xi'an University of Posts and Telecommunications, Xi'an, 710121, Shaanxi, China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Xi\u2019an University of Posts and Telecommunications, Xi\u2019an, 710121, Shaanxi, China","institution_ids":["https://openalex.org/I4210136859"]},{"raw_affiliation_string":"Shaanxi Key Laboratory of Network Data Analysis and Intelligent Processing, Xi\u2019an University of Posts and Telecommunications, Xi\u2019an, 710121, Shaanxi, China","institution_ids":["https://openalex.org/I4210136859"]},{"raw_affiliation_string":"Xi\u2019an Key Laboratory of Big Data and Intelligent Computing, Xi\u2019an University of Posts and Telecommunications, Xi\u2019an, 710121, Shaanxi, China","institution_ids":["https://openalex.org/I4210136859"]},{"raw_affiliation_string":"Department of Computer Science and Technology, Xi'an University of Posts and Telecommunications, Xi'an, 710121, Shaanxi, China","institution_ids":["https://openalex.org/I4210136859"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017524689","display_name":"Lingwei Chen","orcid":"https://orcid.org/0000-0003-1550-6170"},"institutions":[{"id":"https://openalex.org/I19648265","display_name":"Wright State University","ror":"https://ror.org/04qk6pt94","country_code":"US","type":"education","lineage":["https://openalex.org/I19648265"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lingwei Chen","raw_affiliation_strings":["Department of Computer Science and Engineering, Wright State University, Dayton, 45435, OH, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Wright State University, Dayton, 45435, OH, USA","institution_ids":["https://openalex.org/I19648265"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5049436913"],"corresponding_institution_ids":["https://openalex.org/I4210136859"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":1.5076,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.82978723,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":"32","issue":"2","first_page":"765","last_page":"790"},"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.9977999925613403,"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.9977999925613403,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.996399998664856,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T11424","display_name":"Security and Verification in Computing","score":0.9943000078201294,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/solidity","display_name":"Solidity","score":0.8884412050247192},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.8688570261001587},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8192139863967896},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5122867822647095},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.45242252945899963},{"id":"https://openalex.org/keywords/opcode","display_name":"Opcode","score":0.41999268531799316},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.39790186285972595}],"concepts":[{"id":"https://openalex.org/C2778362873","wikidata":"https://www.wikidata.org/wiki/Q24909565","display_name":"Solidity","level":2,"score":0.8884412050247192},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8688570261001587},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8192139863967896},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5122867822647095},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.45242252945899963},{"id":"https://openalex.org/C52173422","wikidata":"https://www.wikidata.org/wiki/Q766483","display_name":"Opcode","level":2,"score":0.41999268531799316},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.39790186285972595}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11219-024-09673-5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11219-024-09673-5","pdf_url":null,"source":{"id":"https://openalex.org/S7504070","display_name":"Software Quality Journal","issn_l":"0963-9314","issn":["0963-9314","1573-1367"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software Quality Journal","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.4699999988079071}],"awards":[{"id":"https://openalex.org/G2123794166","display_name":null,"funder_award_id":"62272387","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W1966021031","https://openalex.org/W2098456636","https://openalex.org/W2098639318","https://openalex.org/W2131774270","https://openalex.org/W2370472429","https://openalex.org/W2598139937","https://openalex.org/W2766540688","https://openalex.org/W2798388185","https://openalex.org/W2808279976","https://openalex.org/W2808317661","https://openalex.org/W2904932877","https://openalex.org/W2947109320","https://openalex.org/W2963350015","https://openalex.org/W2979357014","https://openalex.org/W3001458527","https://openalex.org/W3007855180","https://openalex.org/W3025529919","https://openalex.org/W3087775079","https://openalex.org/W3090416608","https://openalex.org/W3107362213","https://openalex.org/W3136690412","https://openalex.org/W3195390991","https://openalex.org/W3205281171","https://openalex.org/W4281613925","https://openalex.org/W4284692355","https://openalex.org/W4284961179","https://openalex.org/W4312402125","https://openalex.org/W4317038445","https://openalex.org/W4324007042","https://openalex.org/W4386569390","https://openalex.org/W4391136507","https://openalex.org/W4403421060","https://openalex.org/W6619192471","https://openalex.org/W6631721891","https://openalex.org/W6739901393","https://openalex.org/W6853293212","https://openalex.org/W7010129021"],"related_works":["https://openalex.org/W4379933579","https://openalex.org/W4381746828","https://openalex.org/W2357088637","https://openalex.org/W2759596553","https://openalex.org/W82161441","https://openalex.org/W2931705856","https://openalex.org/W1576042299","https://openalex.org/W1713081424","https://openalex.org/W2127315869","https://openalex.org/W2181943964"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}