{"id":"https://openalex.org/W4306784136","doi":"https://doi.org/10.1002/spe.3156","title":"Detecting functional and security\u2010related issues in smart contracts: A systematic literature review","display_name":"Detecting functional and security\u2010related issues in smart contracts: A systematic literature review","publication_year":2022,"publication_date":"2022-10-19","ids":{"openalex":"https://openalex.org/W4306784136","doi":"https://doi.org/10.1002/spe.3156"},"language":"en","primary_location":{"id":"doi:10.1002/spe.3156","is_oa":false,"landing_page_url":"https://doi.org/10.1002/spe.3156","pdf_url":null,"source":{"id":"https://openalex.org/S122199241","display_name":"Software Practice and Experience","issn_l":"0038-0644","issn":["0038-0644","1097-024X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software: Practice and Experience","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/A5081093154","display_name":"Valentina Piantadosi","orcid":"https://orcid.org/0000-0003-0666-6121"},"institutions":[{"id":"https://openalex.org/I129627893","display_name":"University of Molise","ror":"https://ror.org/04z08z627","country_code":"IT","type":"education","lineage":["https://openalex.org/I129627893"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Valentina Piantadosi","raw_affiliation_strings":["Department of Biosciences and Territory University of Molise Molise Italy","Department of Biosciences and Territory, University of Molise, Molise, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Biosciences and Territory University of Molise Molise Italy","institution_ids":["https://openalex.org/I129627893"]},{"raw_affiliation_string":"Department of Biosciences and Territory, University of Molise, Molise, Italy","institution_ids":["https://openalex.org/I129627893"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101499242","display_name":"Giovanni Rosa","orcid":"https://orcid.org/0000-0002-5241-1608"},"institutions":[{"id":"https://openalex.org/I129627893","display_name":"University of Molise","ror":"https://ror.org/04z08z627","country_code":"IT","type":"education","lineage":["https://openalex.org/I129627893"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giovanni Rosa","raw_affiliation_strings":["Department of Biosciences and Territory University of Molise Molise Italy","Department of Biosciences and Territory, University of Molise, Molise, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Biosciences and Territory University of Molise Molise Italy","institution_ids":["https://openalex.org/I129627893"]},{"raw_affiliation_string":"Department of Biosciences and Territory, University of Molise, Molise, Italy","institution_ids":["https://openalex.org/I129627893"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006590092","display_name":"Davide Placella","orcid":null},"institutions":[{"id":"https://openalex.org/I129627893","display_name":"University of Molise","ror":"https://ror.org/04z08z627","country_code":"IT","type":"education","lineage":["https://openalex.org/I129627893"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Davide Placella","raw_affiliation_strings":["Department of Biosciences and Territory University of Molise Molise Italy","Department of Biosciences and Territory, University of Molise, Molise, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Biosciences and Territory University of Molise Molise Italy","institution_ids":["https://openalex.org/I129627893"]},{"raw_affiliation_string":"Department of Biosciences and Territory, University of Molise, Molise, Italy","institution_ids":["https://openalex.org/I129627893"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079406478","display_name":"Simone Scalabrino","orcid":"https://orcid.org/0000-0003-1764-9685"},"institutions":[{"id":"https://openalex.org/I129627893","display_name":"University of Molise","ror":"https://ror.org/04z08z627","country_code":"IT","type":"education","lineage":["https://openalex.org/I129627893"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Simone Scalabrino","raw_affiliation_strings":["Department of Biosciences and Territory University of Molise Molise Italy","Department of Biosciences and Territory, University of Molise, Molise, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Biosciences and Territory University of Molise Molise Italy","institution_ids":["https://openalex.org/I129627893"]},{"raw_affiliation_string":"Department of Biosciences and Territory, University of Molise, Molise, Italy","institution_ids":["https://openalex.org/I129627893"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009727039","display_name":"Rocco Oliveto","orcid":"https://orcid.org/0000-0002-7995-8582"},"institutions":[{"id":"https://openalex.org/I129627893","display_name":"University of Molise","ror":"https://ror.org/04z08z627","country_code":"IT","type":"education","lineage":["https://openalex.org/I129627893"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Rocco Oliveto","raw_affiliation_strings":["Department of Biosciences and Territory University of Molise Molise Italy","Department of Biosciences and Territory, University of Molise, Molise, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Biosciences and Territory University of Molise Molise Italy","institution_ids":["https://openalex.org/I129627893"]},{"raw_affiliation_string":"Department of Biosciences and Territory, University of Molise, Molise, Italy","institution_ids":["https://openalex.org/I129627893"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5081093154"],"corresponding_institution_ids":["https://openalex.org/I129627893"],"apc_list":{"value":4220,"currency":"USD","value_usd":4220},"apc_paid":null,"fwci":7.8819,"has_fulltext":false,"cited_by_count":26,"citation_normalized_percentile":{"value":0.97518696,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":"53","issue":"2","first_page":"465","last_page":"495"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":1.0,"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/T11182","display_name":"Auction Theory and Applications","score":0.9344000220298767,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9024999737739563,"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/computer-science","display_name":"Computer science","score":0.7782772779464722},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.5959976315498352},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5942142009735107},{"id":"https://openalex.org/keywords/blockchain","display_name":"Blockchain","score":0.5158388018608093},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.4588533043861389},{"id":"https://openalex.org/keywords/smart-contract","display_name":"Smart contract","score":0.4268537163734436},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.416443407535553},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.4030991196632385},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.34290948510169983},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.14754807949066162},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.07362702488899231}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7782772779464722},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.5959976315498352},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5942142009735107},{"id":"https://openalex.org/C2779687700","wikidata":"https://www.wikidata.org/wiki/Q20514253","display_name":"Blockchain","level":2,"score":0.5158388018608093},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.4588533043861389},{"id":"https://openalex.org/C2779950589","wikidata":"https://www.wikidata.org/wiki/Q7544035","display_name":"Smart contract","level":3,"score":0.4268537163734436},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.416443407535553},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.4030991196632385},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.34290948510169983},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.14754807949066162},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07362702488899231},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/spe.3156","is_oa":false,"landing_page_url":"https://doi.org/10.1002/spe.3156","pdf_url":null,"source":{"id":"https://openalex.org/S122199241","display_name":"Software Practice and Experience","issn_l":"0038-0644","issn":["0038-0644","1097-024X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software: Practice and Experience","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":93,"referenced_works":["https://openalex.org/W1969344535","https://openalex.org/W2041588692","https://openalex.org/W2126094482","https://openalex.org/W2155456334","https://openalex.org/W2293740362","https://openalex.org/W2538848838","https://openalex.org/W2539190473","https://openalex.org/W2624953603","https://openalex.org/W2752925090","https://openalex.org/W2769609281","https://openalex.org/W2778144710","https://openalex.org/W2783886477","https://openalex.org/W2788841915","https://openalex.org/W2790202156","https://openalex.org/W2804791132","https://openalex.org/W2805052744","https://openalex.org/W2805827286","https://openalex.org/W2808815243","https://openalex.org/W2846896781","https://openalex.org/W2885034081","https://openalex.org/W2888393465","https://openalex.org/W2890995863","https://openalex.org/W2898569715","https://openalex.org/W2898652659","https://openalex.org/W2899026971","https://openalex.org/W2899450160","https://openalex.org/W2899593607","https://openalex.org/W2899626999","https://openalex.org/W2900015620","https://openalex.org/W2901515670","https://openalex.org/W2901598045","https://openalex.org/W2901943454","https://openalex.org/W2905139052","https://openalex.org/W2908007588","https://openalex.org/W2920157079","https://openalex.org/W2922265937","https://openalex.org/W2923108279","https://openalex.org/W2954151438","https://openalex.org/W2954753582","https://openalex.org/W2955493330","https://openalex.org/W2955886508","https://openalex.org/W2958298858","https://openalex.org/W2958408931","https://openalex.org/W2961845816","https://openalex.org/W2962584186","https://openalex.org/W2963220038","https://openalex.org/W2963594166","https://openalex.org/W2963610883","https://openalex.org/W2964144608","https://openalex.org/W2964257386","https://openalex.org/W2965913753","https://openalex.org/W2970809537","https://openalex.org/W2971532963","https://openalex.org/W2973664726","https://openalex.org/W2974196887","https://openalex.org/W2979368426","https://openalex.org/W2979374757","https://openalex.org/W2981038883","https://openalex.org/W2982383932","https://openalex.org/W2984656466","https://openalex.org/W2985495886","https://openalex.org/W2990807061","https://openalex.org/W2994936169","https://openalex.org/W2996320455","https://openalex.org/W2997633178","https://openalex.org/W2997640974","https://openalex.org/W2997876541","https://openalex.org/W2998271084","https://openalex.org/W2999378142","https://openalex.org/W2999412776","https://openalex.org/W2999673069","https://openalex.org/W3000032641","https://openalex.org/W3000285051","https://openalex.org/W3005700089","https://openalex.org/W3005736698","https://openalex.org/W3008826875","https://openalex.org/W3013386053","https://openalex.org/W3014254281","https://openalex.org/W3014684725","https://openalex.org/W3014792488","https://openalex.org/W3020706470","https://openalex.org/W3034459010","https://openalex.org/W3095039369","https://openalex.org/W3102542096","https://openalex.org/W3104720502","https://openalex.org/W3105187050","https://openalex.org/W3116484444","https://openalex.org/W3151748982","https://openalex.org/W4211068006","https://openalex.org/W4220942018","https://openalex.org/W4229558542","https://openalex.org/W4248175462","https://openalex.org/W4250254118"],"related_works":["https://openalex.org/W3092702943","https://openalex.org/W4297798448","https://openalex.org/W2939663913","https://openalex.org/W4285161539","https://openalex.org/W2982625131","https://openalex.org/W4320715980","https://openalex.org/W3034787960","https://openalex.org/W3122124622","https://openalex.org/W3150062897","https://openalex.org/W3197684247"],"abstract_inverted_index":{"Abstract":[0],"Blockchain":[1],"is":[2],"a":[3,15,73,112,132],"platform":[4],"of":[5,18,70,83,115,143],"distributed":[6],"elaboration,":[7],"which":[8,84],"allows":[9],"users":[10,58],"to":[11,59,120,164,168,189,193],"provide":[12,169,190],"software":[13],"for":[14,139],"huge":[16],"range":[17],"next\u2010generation":[19],"decentralized":[20],"applications":[21],"without":[22,63],"involving":[23,64],"reliable":[24,61],"third":[25,65],"parties.":[26,66],"Smart":[27],"contracts":[28],"(SCs)":[29],"are":[30,38],"an":[31,53],"important":[32,54],"component":[33],"in":[34,125,147,185],"blockchain":[35],"applications:":[36],"they":[37,56,102],"programmatic":[39],"agreements":[40],"among":[41],"two":[42],"or":[43],"more":[44],"parties":[45],"that":[46],"cannot":[47,103],"be":[48,96,104],"rescinded.":[49],"Furthermore,":[50],"SCs":[51,71,78,94,107],"have":[52,72,108,117],"characteristic:":[55],"allow":[57],"implement":[60],"transactions":[62],"However,":[67],"the":[68,137,140,182],"advantages":[69],"price.":[74],"Like":[75],"any":[76],"program,":[77],"can":[79,95],"contain":[80],"bugs,":[81],"some":[82],"may":[85],"also":[86],"constitute":[87],"security":[88],"threats.":[89],"Writing":[90],"correct":[91],"and":[92,123,145,156,158,172],"secure":[93],"extremely":[97],"difficult":[98],"because,":[99],"once":[100],"deployed,":[101],"modified.":[105],"Although":[106],"been":[109,118],"recently":[110],"introduced,":[111],"large":[113],"number":[114],"approaches":[116,138],"proposed":[119],"find":[121,173],"bugs":[122,144],"vulnerabilities":[124,146],"SCs.":[126,148],"In":[127],"this":[128,186],"article,":[129],"we":[130,159,180],"present":[131],"systematic":[133],"literature":[134],"review":[135],"on":[136],"automated":[141],"detection":[142],"We":[149],"survey":[150],"68":[151],"papers":[152],"published":[153],"between":[154],"2015":[155],"2020,":[157],"annotate":[160],"each":[161],"paper":[162],"according":[163],"our":[165],"classification":[166],"framework":[167],"quantitative":[170],"results":[171],"possible":[174,191],"areas":[175],"not":[176],"explored":[177],"yet.":[178],"Finally,":[179],"identify":[181],"open":[183],"problems":[184],"research":[187],"field":[188],"directions":[192],"future":[194],"researchers.":[195]},"counts_by_year":[{"year":2025,"cited_by_count":12},{"year":2024,"cited_by_count":11},{"year":2023,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}