{"id":"https://openalex.org/W4205689130","doi":"https://doi.org/10.1109/ase51524.2021.9678888","title":"SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses","display_name":"SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses","publication_year":2021,"publication_date":"2021-11-01","ids":{"openalex":"https://openalex.org/W4205689130","doi":"https://doi.org/10.1109/ase51524.2021.9678888"},"language":"en","primary_location":{"id":"doi:10.1109/ase51524.2021.9678888","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase51524.2021.9678888","pdf_url":null,"source":{"id":"https://openalex.org/S4363608212","display_name":"2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)","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/A5068362003","display_name":"Jaeseung Choi","orcid":"https://orcid.org/0000-0002-5493-9174"},"institutions":[{"id":"https://openalex.org/I4210099236","display_name":"Kootenay Association for Science & Technology","ror":"https://ror.org/011pv9p44","country_code":"CA","type":"nonprofit","lineage":["https://openalex.org/I4210099236"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Jaeseung Choi","raw_affiliation_strings":["Kaist"],"affiliations":[{"raw_affiliation_string":"Kaist","institution_ids":["https://openalex.org/I4210099236"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100652831","display_name":"Doyeon Kim","orcid":"https://orcid.org/0000-0002-6484-8575"},"institutions":[{"id":"https://openalex.org/I4210099236","display_name":"Kootenay Association for Science & Technology","ror":"https://ror.org/011pv9p44","country_code":"CA","type":"nonprofit","lineage":["https://openalex.org/I4210099236"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Doyeon Kim","raw_affiliation_strings":["Kaist"],"affiliations":[{"raw_affiliation_string":"Kaist","institution_ids":["https://openalex.org/I4210099236"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107249439","display_name":"Soomin Kim","orcid":"https://orcid.org/0000-0003-3129-3857"},"institutions":[{"id":"https://openalex.org/I4210099236","display_name":"Kootenay Association for Science & Technology","ror":"https://ror.org/011pv9p44","country_code":"CA","type":"nonprofit","lineage":["https://openalex.org/I4210099236"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Soomin Kim","raw_affiliation_strings":["Kaist"],"affiliations":[{"raw_affiliation_string":"Kaist","institution_ids":["https://openalex.org/I4210099236"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048781020","display_name":"Gustavo Grieco","orcid":null},"institutions":[{"id":"https://openalex.org/I4210099236","display_name":"Kootenay Association for Science & Technology","ror":"https://ror.org/011pv9p44","country_code":"CA","type":"nonprofit","lineage":["https://openalex.org/I4210099236"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Gustavo Grieco","raw_affiliation_strings":["Kaist"],"affiliations":[{"raw_affiliation_string":"Kaist","institution_ids":["https://openalex.org/I4210099236"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026932942","display_name":"Alex Groce","orcid":"https://orcid.org/0000-0003-0273-4668"},"institutions":[{"id":"https://openalex.org/I4210099236","display_name":"Kootenay Association for Science & Technology","ror":"https://ror.org/011pv9p44","country_code":"CA","type":"nonprofit","lineage":["https://openalex.org/I4210099236"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Alex Groce","raw_affiliation_strings":["Kaist"],"affiliations":[{"raw_affiliation_string":"Kaist","institution_ids":["https://openalex.org/I4210099236"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031854438","display_name":"Sang Kil","orcid":"https://orcid.org/0000-0002-6012-7228"},"institutions":[{"id":"https://openalex.org/I4210099236","display_name":"Kootenay Association for Science & Technology","ror":"https://ror.org/011pv9p44","country_code":"CA","type":"nonprofit","lineage":["https://openalex.org/I4210099236"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Sang Kil Cha","raw_affiliation_strings":["Kaist"],"affiliations":[{"raw_affiliation_string":"Kaist","institution_ids":["https://openalex.org/I4210099236"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5068362003"],"corresponding_institution_ids":["https://openalex.org/I4210099236"],"apc_list":null,"apc_paid":null,"fwci":16.873,"has_fulltext":false,"cited_by_count":163,"citation_normalized_percentile":{"value":0.99797844,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":99,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"227","last_page":"239"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9998000264167786,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994999766349792,"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/T11424","display_name":"Security and Verification in Computing","score":0.9918000102043152,"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/fuzz-testing","display_name":"Fuzz testing","score":0.9846502542495728},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8546346426010132},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.6264692544937134},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.6087560057640076},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5177904367446899},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.45591577887535095},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.44073039293289185},{"id":"https://openalex.org/keywords/smart-contract","display_name":"Smart contract","score":0.42544063925743103},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.4112184941768646},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.41081029176712036},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.32978326082229614},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3099226951599121},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.2854454815387726},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.08901095390319824}],"concepts":[{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.9846502542495728},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8546346426010132},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.6264692544937134},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.6087560057640076},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5177904367446899},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.45591577887535095},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.44073039293289185},{"id":"https://openalex.org/C2779950589","wikidata":"https://www.wikidata.org/wiki/Q7544035","display_name":"Smart contract","level":3,"score":0.42544063925743103},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.4112184941768646},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.41081029176712036},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.32978326082229614},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3099226951599121},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2854454815387726},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.08901095390319824}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ase51524.2021.9678888","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase51524.2021.9678888","pdf_url":null,"source":{"id":"https://openalex.org/S4363608212","display_name":"2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.47999998927116394,"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":64,"referenced_works":["https://openalex.org/W612300255","https://openalex.org/W1976878954","https://openalex.org/W2009489720","https://openalex.org/W2043100293","https://openalex.org/W2114869486","https://openalex.org/W2137351629","https://openalex.org/W2539190473","https://openalex.org/W2596289355","https://openalex.org/W2613534458","https://openalex.org/W2741068848","https://openalex.org/W2757104921","https://openalex.org/W2765435026","https://openalex.org/W2787648539","https://openalex.org/W2790202156","https://openalex.org/W2794825356","https://openalex.org/W2805052744","https://openalex.org/W2805827286","https://openalex.org/W2846896781","https://openalex.org/W2888922197","https://openalex.org/W2888928288","https://openalex.org/W2891235722","https://openalex.org/W2898569715","https://openalex.org/W2908007588","https://openalex.org/W2928702109","https://openalex.org/W2946130184","https://openalex.org/W2947109320","https://openalex.org/W2947182139","https://openalex.org/W2954151438","https://openalex.org/W2954292831","https://openalex.org/W2963594166","https://openalex.org/W2963610883","https://openalex.org/W2964097210","https://openalex.org/W2967191362","https://openalex.org/W2970809537","https://openalex.org/W2979357014","https://openalex.org/W2982275082","https://openalex.org/W2982383932","https://openalex.org/W2985495886","https://openalex.org/W2999378142","https://openalex.org/W3015325345","https://openalex.org/W3039183210","https://openalex.org/W3043398834","https://openalex.org/W3043576244","https://openalex.org/W3049474072","https://openalex.org/W3089408602","https://openalex.org/W3089794841","https://openalex.org/W3091620507","https://openalex.org/W3098149161","https://openalex.org/W3098450669","https://openalex.org/W3101845936","https://openalex.org/W3104664063","https://openalex.org/W3105187050","https://openalex.org/W3128660473","https://openalex.org/W3151748982","https://openalex.org/W3155065762","https://openalex.org/W4237492309","https://openalex.org/W4289548059","https://openalex.org/W6751645507","https://openalex.org/W6753904454","https://openalex.org/W6754293714","https://openalex.org/W6754374649","https://openalex.org/W6754519360","https://openalex.org/W6781883526","https://openalex.org/W6793285265"],"related_works":["https://openalex.org/W4312355434","https://openalex.org/W614438062","https://openalex.org/W4313066017","https://openalex.org/W4205454537","https://openalex.org/W4365601033","https://openalex.org/W3173990398","https://openalex.org/W2914996832","https://openalex.org/W3089408602","https://openalex.org/W4381785649","https://openalex.org/W4226494072"],"abstract_inverted_index":{"Unlike":[0],"traditional":[1],"software,":[2],"smart":[3,47,53,133],"contracts":[4,134],"have":[5],"the":[6,86,136,139],"unique":[7],"organization":[8],"in":[9,131,155,167],"which":[10,58],"a":[11,20,72,98,103,121],"sequence":[12],"of":[13,169],"transactions":[14],"shares":[15],"persistent":[16],"states.":[17],"Unfortunately,":[18],"such":[19],"characteristic":[21],"makes":[22],"it":[23],"difficult":[24],"for":[25,45,138],"existing":[26,152],"fuzzers":[27],"to":[28,56,63,85,91,108,112],"find":[29],"out":[30,68],"critical":[31],"transaction":[32,59,77],"sequences.":[33],"To":[34],"tackle":[35],"this":[36],"challenge,":[37],"we":[38,50,101],"employ":[39],"both":[40],"static":[41],"and":[42,66,89],"dynamic":[43,105],"analyses":[44],"fuzzing":[46,87,99],"contracts.":[48,161],"First,":[49],"statically":[51],"analyze":[52],"contract":[54],"bytecodes":[55],"predict":[57],"sequences":[60],"will":[61],"lead":[62],"effective":[64,150],"testing,":[65],"figure":[67],"if":[69],"there":[70],"is":[71,82,148],"certain":[73],"constraint":[74],"that":[75,146],"each":[76],"should":[78],"satisfy.":[79],"Such":[80],"information":[81],"then":[83],"passed":[84],"phase":[88],"used":[90],"construct":[92],"an":[93],"initial":[94],"seed":[95],"corpus.":[96],"During":[97],"campaign,":[100],"perform":[102],"lightweight":[104],"data-flow":[106],"analysis":[107],"collect":[109],"data-flow-based":[110],"feedback":[111],"effectively":[113],"guide":[114],"fuzzing.":[115],"We":[116],"implement":[117],"our":[118],"ideas":[119],"on":[120],"practical":[122],"open-source":[123],"fuzzer,":[124],"named":[125],"SMARTIAN.":[126],"SMARTIAN":[127,147,162],"can":[128],"discover":[129],"bugs":[130],"real-world":[132,160],"without":[135],"need":[137],"source":[140],"code.":[141],"Our":[142],"experimental":[143],"results":[144],"show":[145],"more":[149],"than":[151],"state-of-the-art":[153],"tools":[154,166],"finding":[156],"known":[157],"CVEs":[158],"from":[159],"also":[163],"outperforms":[164],"other":[165],"terms":[168],"code":[170],"coverage.":[171]},"counts_by_year":[{"year":2026,"cited_by_count":6},{"year":2025,"cited_by_count":59},{"year":2024,"cited_by_count":52},{"year":2023,"cited_by_count":31},{"year":2022,"cited_by_count":15}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}