{"id":"https://openalex.org/W7122797233","doi":"https://doi.org/10.1007/978-3-032-12335-0_2","title":"Optimizing Smart Contract Testing via\u00a0Neural-MCTS Test Prioritization","display_name":"Optimizing Smart Contract Testing via\u00a0Neural-MCTS Test Prioritization","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7122797233","doi":"https://doi.org/10.1007/978-3-032-12335-0_2"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-032-12335-0_2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-032-12335-0_2","pdf_url":null,"source":{"id":"https://openalex.org/S4393917809","display_name":"Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","issn_l":"1867-8211","issn":["1867-8211","1867-822X"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","raw_type":"book-chapter"},"type":"book-chapter","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/A5003097391","display_name":"Morena Barboni","orcid":"https://orcid.org/0000-0002-1281-4058"},"institutions":[{"id":"https://openalex.org/I112859197","display_name":"Universit\u00e0 di Camerino","ror":"https://ror.org/0005w8d69","country_code":"IT","type":"education","lineage":["https://openalex.org/I112859197"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Morena Barboni","raw_affiliation_strings":["University of Camerino, Via Madonna delle Carceri 7, Camerino, 62032, Italy"],"affiliations":[{"raw_affiliation_string":"University of Camerino, Via Madonna delle Carceri 7, Camerino, 62032, Italy","institution_ids":["https://openalex.org/I112859197"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5119353216","display_name":"Filippo Lampa","orcid":null},"institutions":[{"id":"https://openalex.org/I112859197","display_name":"Universit\u00e0 di Camerino","ror":"https://ror.org/0005w8d69","country_code":"IT","type":"education","lineage":["https://openalex.org/I112859197"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Filippo Lampa","raw_affiliation_strings":["University of Camerino, Via Madonna delle Carceri 7, Camerino, 62032, Italy"],"affiliations":[{"raw_affiliation_string":"University of Camerino, Via Madonna delle Carceri 7, Camerino, 62032, Italy","institution_ids":["https://openalex.org/I112859197"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088062736","display_name":"Andrea Morichetta","orcid":"https://orcid.org/0000-0003-3765-3067"},"institutions":[{"id":"https://openalex.org/I112859197","display_name":"Universit\u00e0 di Camerino","ror":"https://ror.org/0005w8d69","country_code":"IT","type":"education","lineage":["https://openalex.org/I112859197"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Andrea Morichetta","raw_affiliation_strings":["University of Camerino, Via Madonna delle Carceri 7, Camerino, 62032, Italy"],"affiliations":[{"raw_affiliation_string":"University of Camerino, Via Madonna delle Carceri 7, Camerino, 62032, Italy","institution_ids":["https://openalex.org/I112859197"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016180635","display_name":"Andrea Polini","orcid":"https://orcid.org/0000-0002-2840-7561"},"institutions":[{"id":"https://openalex.org/I112859197","display_name":"Universit\u00e0 di Camerino","ror":"https://ror.org/0005w8d69","country_code":"IT","type":"education","lineage":["https://openalex.org/I112859197"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Andrea Polini","raw_affiliation_strings":["University of Camerino, Via Madonna delle Carceri 7, Camerino, 62032, Italy"],"affiliations":[{"raw_affiliation_string":"University of Camerino, Via Madonna delle Carceri 7, Camerino, 62032, Italy","institution_ids":["https://openalex.org/I112859197"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5119353216"],"corresponding_institution_ids":["https://openalex.org/I112859197"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.33846154,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"19","last_page":"36"},"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.77920001745224,"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.77920001745224,"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/T10270","display_name":"Blockchain Technology Applications and Security","score":0.047200001776218414,"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/T12127","display_name":"Software System Performance and Reliability","score":0.017899999395012856,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/correctness","display_name":"Correctness","score":0.633899986743927},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.5425000190734863},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5228000283241272},{"id":"https://openalex.org/keywords/test-suite","display_name":"Test suite","score":0.4772999882698059},{"id":"https://openalex.org/keywords/test-strategy","display_name":"Test strategy","score":0.46470001339912415},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.4503999948501587},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.42480000853538513},{"id":"https://openalex.org/keywords/prioritization","display_name":"Prioritization","score":0.4221999943256378},{"id":"https://openalex.org/keywords/mutation","display_name":"Mutation","score":0.42100000381469727},{"id":"https://openalex.org/keywords/system-under-test","display_name":"System under test","score":0.3928000032901764}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7595000267028809},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.633899986743927},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.5425000190734863},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.5291000008583069},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5228000283241272},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.4772999882698059},{"id":"https://openalex.org/C188598960","wikidata":"https://www.wikidata.org/wiki/Q7705805","display_name":"Test strategy","level":3,"score":0.46470001339912415},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.4503999948501587},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.42480000853538513},{"id":"https://openalex.org/C2777615720","wikidata":"https://www.wikidata.org/wiki/Q11888847","display_name":"Prioritization","level":2,"score":0.4221999943256378},{"id":"https://openalex.org/C501734568","wikidata":"https://www.wikidata.org/wiki/Q42918","display_name":"Mutation","level":3,"score":0.42100000381469727},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4163999855518341},{"id":"https://openalex.org/C108913964","wikidata":"https://www.wikidata.org/wiki/Q2376856","display_name":"System under test","level":4,"score":0.3928000032901764},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.3725999891757965},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.3700999915599823},{"id":"https://openalex.org/C86469151","wikidata":"https://www.wikidata.org/wiki/Q917415","display_name":"Non-regression testing","level":5,"score":0.35749998688697815},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.3573000133037567},{"id":"https://openalex.org/C163565370","wikidata":"https://www.wikidata.org/wiki/Q4308623","display_name":"Mutation testing","level":4,"score":0.3547999858856201},{"id":"https://openalex.org/C80519477","wikidata":"https://www.wikidata.org/wiki/Q3532236","display_name":"Scenario testing","level":3,"score":0.3472999930381775},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3458000123500824},{"id":"https://openalex.org/C161821725","wikidata":"https://www.wikidata.org/wiki/Q917415","display_name":"Regression testing","level":5,"score":0.34389999508857727},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.3416000008583069},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.32600000500679016},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.3239000141620636},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.31619998812675476},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3158999979496002},{"id":"https://openalex.org/C182122060","wikidata":"https://www.wikidata.org/wiki/Q6752328","display_name":"Manual testing","level":5,"score":0.3156000077724457},{"id":"https://openalex.org/C178059732","wikidata":"https://www.wikidata.org/wiki/Q1982529","display_name":"Software performance testing","level":5,"score":0.31380000710487366},{"id":"https://openalex.org/C16910744","wikidata":"https://www.wikidata.org/wiki/Q7705759","display_name":"Test data","level":2,"score":0.30410000681877136},{"id":"https://openalex.org/C106159264","wikidata":"https://www.wikidata.org/wiki/Q17146789","display_name":"Random testing","level":4,"score":0.30399999022483826},{"id":"https://openalex.org/C198824145","wikidata":"https://www.wikidata.org/wiki/Q442770","display_name":"Dynamic testing","level":2,"score":0.29910001158714294},{"id":"https://openalex.org/C7166840","wikidata":"https://www.wikidata.org/wiki/Q1199682","display_name":"System testing","level":2,"score":0.29159998893737793},{"id":"https://openalex.org/C162443782","wikidata":"https://www.wikidata.org/wiki/Q1066228","display_name":"White-box testing","level":5,"score":0.2903999984264374},{"id":"https://openalex.org/C139143892","wikidata":"https://www.wikidata.org/wiki/Q7441615","display_name":"Search-based software engineering","level":5,"score":0.2854999899864197},{"id":"https://openalex.org/C2778362873","wikidata":"https://www.wikidata.org/wiki/Q24909565","display_name":"Solidity","level":2,"score":0.27959999442100525},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.2784000039100647},{"id":"https://openalex.org/C140006998","wikidata":"https://www.wikidata.org/wiki/Q2499307","display_name":"Dynamic program analysis","level":3,"score":0.26739999651908875},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.26669999957084656},{"id":"https://openalex.org/C46149586","wikidata":"https://www.wikidata.org/wiki/Q11785332","display_name":"Monte Carlo tree search","level":3,"score":0.2565999925136566},{"id":"https://openalex.org/C207685749","wikidata":"https://www.wikidata.org/wiki/Q2088941","display_name":"Domain knowledge","level":2,"score":0.25209999084472656}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-032-12335-0_2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-032-12335-0_2","pdf_url":null,"source":{"id":"https://openalex.org/S4393917809","display_name":"Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","issn_l":"1867-8211","issn":["1867-8211","1867-822X"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W1567503821","https://openalex.org/W2044527526","https://openalex.org/W2051203581","https://openalex.org/W2091556188","https://openalex.org/W2102742419","https://openalex.org/W2110068396","https://openalex.org/W2135841285","https://openalex.org/W2142557127","https://openalex.org/W2162739315","https://openalex.org/W2170771779","https://openalex.org/W2240451833","https://openalex.org/W2325594830","https://openalex.org/W2734711024","https://openalex.org/W2751032509","https://openalex.org/W2784018298","https://openalex.org/W2805937249","https://openalex.org/W2963161254","https://openalex.org/W2971209364","https://openalex.org/W2973664726","https://openalex.org/W3038057864","https://openalex.org/W3109742023","https://openalex.org/W3152154974","https://openalex.org/W3176989815","https://openalex.org/W4220907602","https://openalex.org/W4286266904","https://openalex.org/W4319150685","https://openalex.org/W4381054315","https://openalex.org/W4401720504","https://openalex.org/W4405974704","https://openalex.org/W4413319805","https://openalex.org/W7084030771"],"related_works":[],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-01-14T00:41:55.809242","created_date":"2026-01-13T00:00:00"}