{"id":"https://openalex.org/W4405056412","doi":"https://doi.org/10.1109/tr.2024.3494798","title":"Test Case Generation for Ethereum Smart Contracts Based on Cross-Contract Data Flow Analysis","display_name":"Test Case Generation for Ethereum Smart Contracts Based on Cross-Contract Data Flow Analysis","publication_year":2024,"publication_date":"2024-12-05","ids":{"openalex":"https://openalex.org/W4405056412","doi":"https://doi.org/10.1109/tr.2024.3494798"},"language":"en","primary_location":{"id":"doi:10.1109/tr.2024.3494798","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tr.2024.3494798","pdf_url":null,"source":{"id":"https://openalex.org/S87725633","display_name":"IEEE Transactions on Reliability","issn_l":"0018-9529","issn":["0018-9529","1558-1721"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Reliability","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/A5019841065","display_name":"Xingya Wang","orcid":"https://orcid.org/0000-0002-7331-4831"},"institutions":[{"id":"https://openalex.org/I134687103","display_name":"Nanjing Tech University","ror":"https://ror.org/03sd35x91","country_code":"CN","type":"education","lineage":["https://openalex.org/I134687103"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xingya Wang","raw_affiliation_strings":["College of Computer and Information Engineering (College of Artificial Intelligence), Nanjing Tech University, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"College of Computer and Information Engineering (College of Artificial Intelligence), Nanjing Tech University, Nanjing, China","institution_ids":["https://openalex.org/I134687103"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009365645","display_name":"Yaru Yang","orcid":"https://orcid.org/0000-0002-3170-3572"},"institutions":[{"id":"https://openalex.org/I134687103","display_name":"Nanjing Tech University","ror":"https://ror.org/03sd35x91","country_code":"CN","type":"education","lineage":["https://openalex.org/I134687103"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yumao Yang","raw_affiliation_strings":["College of Computer and Information Engineering (College of Artificial Intelligence), Nanjing Tech University, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"College of Computer and Information Engineering (College of Artificial Intelligence), Nanjing Tech University, Nanjing, China","institution_ids":["https://openalex.org/I134687103"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016970057","display_name":"Linwei Liu","orcid":"https://orcid.org/0000-0002-4028-631X"},"institutions":[{"id":"https://openalex.org/I134687103","display_name":"Nanjing Tech University","ror":"https://ror.org/03sd35x91","country_code":"CN","type":"education","lineage":["https://openalex.org/I134687103"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Linwei Liu","raw_affiliation_strings":["College of Computer and Information Engineering (College of Artificial Intelligence), Nanjing Tech University, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"College of Computer and Information Engineering (College of Artificial Intelligence), Nanjing Tech University, Nanjing, China","institution_ids":["https://openalex.org/I134687103"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100422935","display_name":"Zhenyu Chen","orcid":"https://orcid.org/0000-0002-9592-7022"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhenyu Chen","raw_affiliation_strings":["State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018385255","display_name":"Song Huang","orcid":"https://orcid.org/0000-0002-6894-3916"},"institutions":[{"id":"https://openalex.org/I4210163363","display_name":"PLA Army Engineering University","ror":"https://ror.org/05mgp8x93","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210163363"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Song Huang","raw_affiliation_strings":["College of Command and Control Engineering, Army Engineering University of PLA, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"College of Command and Control Engineering, Army Engineering University of PLA, Nanjing, China","institution_ids":["https://openalex.org/I4210163363"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5019841065"],"corresponding_institution_ids":["https://openalex.org/I134687103"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.35824344,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"74","issue":"3","first_page":"3398","last_page":"3411"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13003","display_name":"Regional Development and Environment","score":0.6121000051498413,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T13003","display_name":"Regional Development and Environment","score":0.6121000051498413,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T13444","display_name":"Medical Research and Treatments","score":0.5644999742507935,"subfield":{"id":"https://openalex.org/subfields/2707","display_name":"Complementary and alternative medicine"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/smart-contract","display_name":"Smart contract","score":0.5835670232772827},{"id":"https://openalex.org/keywords/test-data","display_name":"Test data","score":0.504869282245636},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.48805415630340576},{"id":"https://openalex.org/keywords/flow","display_name":"Flow (mathematics)","score":0.42368507385253906},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3989204168319702},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3642970621585846},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2986275851726532},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.16966447234153748},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.16061672568321228},{"id":"https://openalex.org/keywords/blockchain","display_name":"Blockchain","score":0.09460750222206116},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.08515763282775879}],"concepts":[{"id":"https://openalex.org/C2779950589","wikidata":"https://www.wikidata.org/wiki/Q7544035","display_name":"Smart contract","level":3,"score":0.5835670232772827},{"id":"https://openalex.org/C16910744","wikidata":"https://www.wikidata.org/wiki/Q7705759","display_name":"Test data","level":2,"score":0.504869282245636},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.48805415630340576},{"id":"https://openalex.org/C38349280","wikidata":"https://www.wikidata.org/wiki/Q1434290","display_name":"Flow (mathematics)","level":2,"score":0.42368507385253906},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3989204168319702},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3642970621585846},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2986275851726532},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16966447234153748},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.16061672568321228},{"id":"https://openalex.org/C2779687700","wikidata":"https://www.wikidata.org/wiki/Q20514253","display_name":"Blockchain","level":2,"score":0.09460750222206116},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.08515763282775879},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tr.2024.3494798","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tr.2024.3494798","pdf_url":null,"source":{"id":"https://openalex.org/S87725633","display_name":"IEEE Transactions on Reliability","issn_l":"0018-9529","issn":["0018-9529","1558-1721"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Reliability","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7733047819","display_name":null,"funder_award_id":"KFKT2024B26","funder_id":"https://openalex.org/F4320324852","funder_display_name":"Nanjing University"}],"funders":[{"id":"https://openalex.org/F4320324852","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760"},{"id":"https://openalex.org/F4320335440","display_name":"Natural Science Research of Jiangsu Higher Education Institutions of China","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W1852477053","https://openalex.org/W1993760289","https://openalex.org/W2101629181","https://openalex.org/W2114900930","https://openalex.org/W2114934447","https://openalex.org/W2118349824","https://openalex.org/W2118915305","https://openalex.org/W2376557535","https://openalex.org/W2539190473","https://openalex.org/W2586946380","https://openalex.org/W2921197708","https://openalex.org/W2921813635","https://openalex.org/W2990403016","https://openalex.org/W3042599897","https://openalex.org/W3088497414","https://openalex.org/W3129004430","https://openalex.org/W3203756125","https://openalex.org/W3207487452","https://openalex.org/W3211874208","https://openalex.org/W4225727354","https://openalex.org/W4284883066","https://openalex.org/W4285060547","https://openalex.org/W4285201111","https://openalex.org/W4285490421","https://openalex.org/W4286266904","https://openalex.org/W4292230185","https://openalex.org/W4299848005","https://openalex.org/W4312495723","https://openalex.org/W4321061989","https://openalex.org/W4384154486","https://openalex.org/W4405954723"],"related_works":["https://openalex.org/W3164449666","https://openalex.org/W4294052985","https://openalex.org/W3211874208","https://openalex.org/W4293370806","https://openalex.org/W4308628416","https://openalex.org/W2949247668","https://openalex.org/W4383227219","https://openalex.org/W4377970296","https://openalex.org/W4361855429","https://openalex.org/W641782856"],"abstract_inverted_index":{"Smart":[0],"contracts":[1,178],"manage":[2],"numerous":[3],"digital":[4],"assets,":[5],"their":[6],"security":[7],"requirements":[8],"are":[9],"particularly":[10],"prominent.":[11],"Testing":[12],"is":[13,143],"an":[14,131],"effective":[15],"way":[16],"to":[17,44,114,129,152,165,196],"ensure":[18],"the":[19,32,75,85,107,111,125,138,155,160,167,185,197],"reliability":[20],"of":[21,34,87,134,140,188],"smart":[22,68,177,189],"contracts.":[23,69],"Current":[24],"test":[25,46,135,169,199],"case":[26,62,200],"generation":[27,201],"methods":[28],"do":[29],"not":[30],"consider":[31],"impact":[33],"state":[35,94],"variables":[36],"and":[37],"cross-contract":[38,102,205],"calls":[39],"on":[40,84,106,174],"constraint":[41],"conditions,":[42],"leading":[43],"low":[45],"coverage":[47,187],"for":[48,66,71,97],"cross-contracts.":[49],"In":[50],"this":[51,121],"regard,":[52],"we":[53],"propose":[54],"a":[55,192],"Cross-contract":[56],"Data":[57],"flow":[58,104],"Analysis":[59],"based":[60,83],"Test":[61],"Generation":[63],"(CDA-TG)":[64],"method":[65,202],"Ethereum":[67],"First,":[70],"each":[72,98,141],"function":[73,126],"in":[74,204],"target":[76,108],"contract,":[77,109],"CDA-TG":[78,100,123,158,181],"generates":[79],"its":[80,116,147],"invocation":[81,127],"sequence":[82],"principle":[86],"prioritizing":[88],"functions":[89],"that":[90,180],"define":[91],"or":[92],"modify":[93],"variables.":[95],"Then,":[96],"parameter,":[99],"performs":[101],"data":[103],"analysis":[105],"extracting":[110],"hard-coded":[112],"values":[113],"build":[115],"parameter":[117,142,148],"input":[118,149],"pool.":[119,150],"On":[120],"basis,":[122],"applies":[124,159],"sequences":[128],"generate":[130],"initial":[132,168],"set":[133],"cases,":[136],"where":[137],"value":[139],"selected":[144],"randomly":[145],"from":[146],"Finally,":[151],"further":[153],"improve":[154,184],"branch":[156,186],"coverage,":[157],"multiobjective":[161],"sorting":[162],"algorithm":[163],"DynaMOSA":[164],"optimize":[166],"cases.":[170],"Our":[171],"empirical":[172],"study":[173],"66":[175],"real":[176],"verified":[179],"can":[182],"significantly":[183],"contracts,":[190],"with":[191],"8.86%":[193],"improvement":[194],"compared":[195],"state-of-the-art":[198],"AGSolT":[203],"scenario.":[206]},"counts_by_year":[],"updated_date":"2026-03-13T16:22:10.518609","created_date":"2025-10-10T00:00:00"}