{"id":"https://openalex.org/W4401215570","doi":"https://doi.org/10.1145/3638530.3654283","title":"Enhancing Fault Detection in Smart Contract Loops Through Adaptive Probabilistic Sampling","display_name":"Enhancing Fault Detection in Smart Contract Loops Through Adaptive Probabilistic Sampling","publication_year":2024,"publication_date":"2024-07-14","ids":{"openalex":"https://openalex.org/W4401215570","doi":"https://doi.org/10.1145/3638530.3654283"},"language":"en","primary_location":{"id":"doi:10.1145/3638530.3654283","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3638530.3654283","pdf_url":null,"source":{"id":"https://openalex.org/S4363608771","display_name":"Proceedings of the Genetic and Evolutionary Computation Conference Companion","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":"Proceedings of the Genetic and Evolutionary Computation Conference Companion","raw_type":"proceedings-article"},"type":"conference-paper","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/A5071355325","display_name":"Stuart D. Semujju","orcid":"https://orcid.org/0000-0002-1843-577X"},"institutions":[{"id":"https://openalex.org/I90610280","display_name":"South China University of Technology","ror":"https://ror.org/0530pts50","country_code":"CN","type":"education","lineage":["https://openalex.org/I90610280"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Stuart Semujju","raw_affiliation_strings":["South China University of Technology, Guangzhou, China"],"raw_orcid":"https://orcid.org/0000-0002-1843-577X","affiliations":[{"raw_affiliation_string":"South China University of Technology, Guangzhou, China","institution_ids":["https://openalex.org/I90610280"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017699446","display_name":"Fangqing Liu","orcid":"https://orcid.org/0000-0001-6830-6733"},"institutions":[{"id":"https://openalex.org/I90610280","display_name":"South China University of Technology","ror":"https://ror.org/0530pts50","country_code":"CN","type":"education","lineage":["https://openalex.org/I90610280"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fangqing Liu","raw_affiliation_strings":["South China University of Technology, Guangzhou, China"],"raw_orcid":"https://orcid.org/0000-0001-6830-6733","affiliations":[{"raw_affiliation_string":"South China University of Technology, Guangzhou, China","institution_ids":["https://openalex.org/I90610280"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088160732","display_name":"Han Huang","orcid":"https://orcid.org/0000-0003-1617-4147"},"institutions":[{"id":"https://openalex.org/I90610280","display_name":"South China University of Technology","ror":"https://ror.org/0530pts50","country_code":"CN","type":"education","lineage":["https://openalex.org/I90610280"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Han Huang","raw_affiliation_strings":["South China University of Technology, Guangzhou, China"],"raw_orcid":"https://orcid.org/0000-0003-1617-4147","affiliations":[{"raw_affiliation_string":"South China University of Technology, Guangzhou, China","institution_ids":["https://openalex.org/I90610280"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027424271","display_name":"Yi Xiang","orcid":"https://orcid.org/0000-0003-2118-4825"},"institutions":[{"id":"https://openalex.org/I90610280","display_name":"South China University of Technology","ror":"https://ror.org/0530pts50","country_code":"CN","type":"education","lineage":["https://openalex.org/I90610280"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yi Xiang","raw_affiliation_strings":["South China University of Technology, Guangzhou, China"],"raw_orcid":"https://orcid.org/0000-0003-2118-4825","affiliations":[{"raw_affiliation_string":"South China University of Technology, Guangzhou, China","institution_ids":["https://openalex.org/I90610280"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I90610280"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"731","last_page":"734"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9886999726295471,"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":0.9886999726295471,"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/T11652","display_name":"Imbalanced Data Classification Techniques","score":0.9872999787330627,"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"}},{"id":"https://openalex.org/T11512","display_name":"Anomaly Detection Techniques and Applications","score":0.9787999987602234,"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.7142961025238037},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6288328766822815},{"id":"https://openalex.org/keywords/sampling","display_name":"Sampling (signal processing)","score":0.5447198152542114},{"id":"https://openalex.org/keywords/adaptive-sampling","display_name":"Adaptive sampling","score":0.47920140624046326},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.4529978632926941},{"id":"https://openalex.org/keywords/fault-detection-and-isolation","display_name":"Fault detection and isolation","score":0.4516729712486267},{"id":"https://openalex.org/keywords/smart-contract","display_name":"Smart contract","score":0.4421497583389282},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.34460023045539856},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.29056787490844727},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2063804566860199},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.1404472291469574},{"id":"https://openalex.org/keywords/monte-carlo-method","display_name":"Monte Carlo method","score":0.12077289819717407},{"id":"https://openalex.org/keywords/blockchain","display_name":"Blockchain","score":0.09817871451377869},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.09209281206130981},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08932328224182129},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.0858738124370575},{"id":"https://openalex.org/keywords/actuator","display_name":"Actuator","score":0.07765516638755798},{"id":"https://openalex.org/keywords/detector","display_name":"Detector","score":0.06585392355918884}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7142961025238037},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6288328766822815},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.5447198152542114},{"id":"https://openalex.org/C2781395549","wikidata":"https://www.wikidata.org/wiki/Q4680762","display_name":"Adaptive sampling","level":3,"score":0.47920140624046326},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.4529978632926941},{"id":"https://openalex.org/C152745839","wikidata":"https://www.wikidata.org/wiki/Q5438153","display_name":"Fault detection and isolation","level":3,"score":0.4516729712486267},{"id":"https://openalex.org/C2779950589","wikidata":"https://www.wikidata.org/wiki/Q7544035","display_name":"Smart contract","level":3,"score":0.4421497583389282},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.34460023045539856},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.29056787490844727},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2063804566860199},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.1404472291469574},{"id":"https://openalex.org/C19499675","wikidata":"https://www.wikidata.org/wiki/Q232207","display_name":"Monte Carlo method","level":2,"score":0.12077289819717407},{"id":"https://openalex.org/C2779687700","wikidata":"https://www.wikidata.org/wiki/Q20514253","display_name":"Blockchain","level":2,"score":0.09817871451377869},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.09209281206130981},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08932328224182129},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0858738124370575},{"id":"https://openalex.org/C172707124","wikidata":"https://www.wikidata.org/wiki/Q423488","display_name":"Actuator","level":2,"score":0.07765516638755798},{"id":"https://openalex.org/C94915269","wikidata":"https://www.wikidata.org/wiki/Q1834857","display_name":"Detector","level":2,"score":0.06585392355918884},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3638530.3654283","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3638530.3654283","pdf_url":null,"source":{"id":"https://openalex.org/S4363608771","display_name":"Proceedings of the Genetic and Evolutionary Computation Conference Companion","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":"Proceedings of the Genetic and Evolutionary Computation Conference Companion","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1674466302","display_name":null,"funder_award_id":"2022A1515110058","funder_id":"https://openalex.org/F4320321921","funder_display_name":"Natural Science Foundation of Guangdong Province"},{"id":"https://openalex.org/G6808554491","display_name":null,"funder_award_id":"62276103","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"},{"id":"https://openalex.org/F4320321921","display_name":"Natural Science Foundation of Guangdong Province","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1599808047","https://openalex.org/W1772789612","https://openalex.org/W2145922831","https://openalex.org/W2306992465","https://openalex.org/W2604844934","https://openalex.org/W2605553599","https://openalex.org/W2795144752","https://openalex.org/W2846896781","https://openalex.org/W2911270308","https://openalex.org/W2995389513","https://openalex.org/W3016155638","https://openalex.org/W3048096037","https://openalex.org/W3091620507","https://openalex.org/W3174546212","https://openalex.org/W4226144303","https://openalex.org/W4251988601","https://openalex.org/W4312495723","https://openalex.org/W4367359426","https://openalex.org/W6833780757"],"related_works":["https://openalex.org/W2038693912","https://openalex.org/W1991602789","https://openalex.org/W1582396021","https://openalex.org/W1988359706","https://openalex.org/W312558119","https://openalex.org/W4210985407","https://openalex.org/W2335441444","https://openalex.org/W138014004","https://openalex.org/W2075598034","https://openalex.org/W2984441180"],"abstract_inverted_index":{"Smart":[0],"contracts":[1,14],"are":[2,26,63],"programs":[3],"that":[4,19,38,82],"reside":[5],"on":[6],"a":[7,34],"block-chain.":[8],"A":[9],"key":[10],"feature":[11],"of":[12,87,111,122],"smart":[13,44,126],"is":[15,37],"their":[16],"immutability,":[17],"meaning":[18],"they":[20,25],"cannot":[21],"be":[22],"modified":[23],"once":[24],"deployed.":[27],"Despite":[28],"existing":[29],"efforts":[30],"to":[31,99],"uncover":[32],"vulnerabilities,":[33],"common":[35],"assumption":[36],"loop":[39],"structures":[40],"rarely":[41],"occur":[42],"in":[43,51,55,118],"contracts.":[45],"Traditional":[46],"search-based":[47,97,136],"algorithms":[48,98],"encounter":[49],"challenges":[50],"uniform":[52],"exploration,":[53],"particularly":[54],"complex":[56],"control":[57],"flow":[58],"paths":[59,62,103,124],"where":[60],"certain":[61],"more":[64],"critical":[65,88,123],"than":[66],"others":[67],"for":[68,84],"fault":[69],"detection.":[70],"To":[71],"overcome":[72],"this":[73],"challenge,":[74],"we":[75],"propose":[76],"an":[77],"adaptive":[78,92,114],"probabilistic":[79,93,115],"sampling":[80,94,116],"strategy":[81,95,117],"allows":[83],"targeted":[85,120],"exploration":[86,121],"paths.":[89],"The":[90],"proposed":[91,113],"empowers":[96],"select":[100],"individuals":[101],"covering":[102],"with":[104,135],"defects.":[105],"Experimental":[106],"results":[107],"demonstrate":[108],"the":[109,112],"efficacy":[110],"ensuring":[119],"within":[125],"contract":[127],"loops":[128],"and":[129],"enhanced":[130],"mutant-killing":[131],"capabilities":[132],"when":[133],"combined":[134],"algorithms.":[137]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}