{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T10:13:25Z","timestamp":1768212805731,"version":"3.49.0"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032123343","type":"print"},{"value":"9783032123350","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-12335-0_2","type":"book-chapter","created":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T07:12:20Z","timestamp":1768201940000},"page":"19-36","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Optimizing Smart Contract Testing via\u00a0Neural-MCTS Test Prioritization"],"prefix":"10.1007","author":[{"given":"Morena","family":"Barboni","sequence":"first","affiliation":[]},{"given":"Filippo","family":"Lampa","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Morichetta","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Polini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2026,1,13]]},"reference":[{"key":"2_CR1","unstructured":"Code4rena \u2014 code4rena.com. https:\/\/code4rena.com\/ (2025)"},{"issue":"8","key":"2_CR2","doi-asserted-by":"publisher","first-page":"608","DOI":"10.1109\/TSE.2006.83","volume":"32","author":"JH Andrews","year":"2006","unstructured":"Andrews, J.H., Briand, L.C., Labiche, Y., Namin, A.S.: Using mutation analysis for assessing and comparing testing coverage criteria. IEEE Trans. Software Eng. 32(8), 608\u2013624 (2006)","journal-title":"IEEE Trans. Software Eng."},{"issue":"8","key":"2_CR3","doi-asserted-by":"publisher","first-page":"2836","DOI":"10.1109\/TSE.2021.3070549","volume":"48","author":"M Bagherzadeh","year":"2021","unstructured":"Bagherzadeh, M., Kahani, N., Briand, L.: Reinforcement learning for test case prioritization. IEEE Trans. Software Eng. 48(8), 2836\u20132856 (2021)","journal-title":"IEEE Trans. Software Eng."},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"126355","DOI":"10.1109\/ACCESS.2019.2938260","volume":"7","author":"A Bajaj","year":"2019","unstructured":"Bajaj, A., Sangwan, O.P.: A systematic literature review of test case prioritization using genetic algorithms. IEEE Access 7, 126355\u2013126375 (2019)","journal-title":"IEEE Access"},{"key":"2_CR5","doi-asserted-by":"publisher","unstructured":"Banescu, S., Barboni, M., Morichetta, A., Polini, A., Zulkoski, E.: Enhanced mutation testing of smart contracts in support of code inspection. In: 2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), pp. 558\u2013566 (2024). https:\/\/doi.org\/10.1109\/ICBC59979.2024.10634403","DOI":"10.1109\/ICBC59979.2024.10634403"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Barboni, M., Lampa, F., Morichetta, A., Polini, A., Zulkoski, E.: Alchemist: LLM-driven test generation using solidity mutants and the scientific method. In: IEEE International Conference on Blockchain and Cryptocurrency (ICBC) (2025)","DOI":"10.1109\/ICBC64466.2025.11114643"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Barboni, M., Lampa, F., Morichetta, A., Polini, A., Zulkoski, E.: Mutant-driven test generation for ethereum smart contracts via llms. In: IEEE International Conference on Artificial Intelligence Testing (AITest) (2025)","DOI":"10.1109\/AITest66680.2025.00033"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Barboni, M., Morichetta, A., Polini, A.: Smart contract testing: challenges and opportunities. In: Proceedings of the 5th International Workshop on Emerging Trends in Software Engineering for Blockchain, WETSEB@ICSE 2022, pp. 21\u201324. ACM (2022)","DOI":"10.1145\/3528226.3528370"},{"key":"2_CR9","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2022.111445","volume":"193","author":"M Barboni","year":"2022","unstructured":"Barboni, M., Morichetta, A., Polini, A.: Sumo: a mutation testing approach and tool for the Ethereum blockchain. J. Syst. Softw. 193, 111445 (2022)","journal-title":"J. Syst. Softw."},{"issue":"1","key":"2_CR10","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/s11219-023-09637-1","volume":"32","author":"M Barboni","year":"2024","unstructured":"Barboni, M., Morichetta, A., Polini, A., Casoni, F.: Resumo: a regression strategy and tool for mutation testing of solidity smart contracts. Software Qual. J. 32(1), 225\u2013253 (2024)","journal-title":"Software Qual. J."},{"key":"2_CR11","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2022.106902","volume":"147","author":"G Barbosa","year":"2022","unstructured":"Barbosa, G., de Souza, \u00c9.F., dos Santos, L.B.R., da Silva, M., Balera, J.M., Vijaykumar, N.L.: A systematic literature review on prioritizing software test cases using markov chains. Inf. Softw. Technol. 147, 106902 (2022)","journal-title":"Inf. Softw. Technol."},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Chen, H., Zhu, C., Zhang, L., Zhao, Y., Wang, L.: A survey of mutation based testing adequacy study on smart contract. In: 11th International Conference on Dependable Systems and Their Applications, DSA 2024, pp. 217\u2013220. IEEE (2024)","DOI":"10.1109\/DSA63982.2024.00037"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Chen, L., Zhang, L.: Speeding up mutation testing via regression test selection: an extensive study. In: 11th IEEE International Conference on Software Testing, Verification and Validation, ICST 2018, pp. 58\u201369. IEEE Computer Society (2018)","DOI":"10.1109\/ICST.2018.00016"},{"issue":"2","key":"2_CR14","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1109\/32.988497","volume":"28","author":"S Elbaum","year":"2002","unstructured":"Elbaum, S., Malishevsky, A.G., Rothermel, G.: Test case prioritization: a family of empirical studies. IEEE Trans. Softw. Eng. 28(2), 159\u2013182 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Farooq, F., Nadeem, A.: A fault based approach to test case prioritization. In: 2017 International Conference on Frontiers of Information Technology (FIT), pp. 52\u201357. IEEE (2017)","DOI":"10.1109\/FIT.2017.00017"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Gr\u00fcn, B.J.M., Schuler, D., Zeller, A.: The impact of equivalent mutants. In: 2009 International Conference on Software Testing, Verification, and Validation Workshops, pp. 192\u2013199 (2009)","DOI":"10.1109\/ICSTW.2009.37"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Hartel, P., Schumi, R.: Mutation testing of smart contracts at scale. In: International conference on tests and proofs, pp. 23\u201342. Springer (2020)","DOI":"10.1007\/978-3-030-50995-8_2"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Honig, J.J., Everts, M.H., Huisman, M.: Practical mutation testing for smart contracts. In: Data Privacy Management, Cryptocurrencies and Blockchain Technology, pp. 289\u2013303. Springer (2019)","DOI":"10.1007\/978-3-030-31500-9_19"},{"issue":"5","key":"2_CR19","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1109\/TSE.2010.62","volume":"37","author":"Y Jia","year":"2010","unstructured":"Jia, Y., Harman, M.: An analysis and survey of the development of mutation testing. IEEE Trans. Software Eng. 37(5), 649\u2013678 (2010)","journal-title":"IEEE Trans. Software Eng."},{"key":"2_CR20","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1016\/j.infsof.2017.08.014","volume":"93","author":"M Khatibsyarbini","year":"2018","unstructured":"Khatibsyarbini, M., Isa, M.A., Jawawi, D.N., Tumeng, R.: Test case prioritization approaches in regression testing: A systematic literature review. Inf. Softw. Technol. 93, 74\u201393 (2018)","journal-title":"Inf. Softw. Technol."},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Lou, Y., Hao, D., Zhang, L.: Mutation-based test-case prioritization in software evolution. In: 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE), pp. 46\u201357 (2015)","DOI":"10.1109\/ISSRE.2015.7381798"},{"issue":"247","key":"2_CR22","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1080\/01621459.1949.10483310","volume":"44","author":"N Metropolis","year":"1949","unstructured":"Metropolis, N., Ulam, S.: The monte carlo method. J. Am. Stat. Assoc. 44(247), 335\u2013341 (1949)","journal-title":"J. Am. Stat. Assoc."},{"issue":"4","key":"2_CR23","doi-asserted-by":"publisher","first-page":"47","DOI":"10.9790\/0661-16414751","volume":"16","author":"A Mor","year":"2014","unstructured":"Mor, A.: Evaluate the effectiveness of test suite prioritization techniques using APFD metric. IOSR J. Comput. 16(4), 47\u201351 (2014)","journal-title":"IOSR J. Comput."},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Offutt, A.J., Untch, R.H.: Mutation 2000: Uniting the orthogonal. Mutation testing for the new century 4 (2001)","DOI":"10.1007\/978-1-4757-5939-6_7"},{"issue":"2","key":"2_CR25","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/s10664-021-10066-6","volume":"27","author":"R Pan","year":"2022","unstructured":"Pan, R., Bagherzadeh, M., Ghaleb, T.A., Briand, L.: Test case selection and prioritization using machine learning: a systematic literature review. Empir. Softw. Eng. 27(2), 29 (2022)","journal-title":"Empir. Softw. Eng."},{"key":"2_CR26","unstructured":"Paszke, A., et al.: Pytorch: An imperative style, high-performance deep learning library (2019). https:\/\/arxiv.org\/abs\/1912.01703"},{"issue":"10","key":"2_CR27","doi-asserted-by":"publisher","first-page":"929","DOI":"10.1109\/32.962562","volume":"27","author":"G Rothermel","year":"2001","unstructured":"Rothermel, G., Untch, R.H., Chu, C., Harrold, M.J.: Prioritizing test cases for regression testing. IEEE Trans. Software Eng. 27(10), 929\u2013948 (2001)","journal-title":"IEEE Trans. Software Eng."},{"issue":"2","key":"2_CR28","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/s10664-008-9102-8","volume":"14","author":"P Runeson","year":"2009","unstructured":"Runeson, P., H\u00f6st, M.: Guidelines for conducting and reporting case study research in software engineering. Empir. Softw. Eng. 14(2), 131\u2013164 (2009)","journal-title":"Empir. Softw. Eng."},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Shi, T., Xiao, L., Wu, K.: Reinforcement learning based test case prioritization for enhancing the security of software. In: 2020 IEEE 7th International Conference on Data Science and Advanced Analytics (DSAA), pp. 663\u2013672. IEEE (2020)","DOI":"10.1109\/DSAA49011.2020.00076"},{"issue":"1\u20132","key":"2_CR30","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1695","volume":"29","author":"D Shin","year":"2019","unstructured":"Shin, D., Yoo, S., Papadakis, M., Bae, D.H.: Empirical evaluation of mutation-based test case prioritization techniques. Softw. Test., Verif. Reliab. 29(1\u20132), e1695 (2019)","journal-title":"Softw. Test., Verif. Reliab."},{"key":"2_CR31","unstructured":"Silver, D., et al.: Mastering chess and shogi by self-play with a general reinforcement learning algorithm. CoRR abs\/1712.01815 (2017). http:\/\/arxiv.org\/abs\/1712.01815"},{"key":"2_CR32","doi-asserted-by":"crossref","unstructured":"Spieker, H., Gotlieb, A., Marijan, D., Mossige, M.: Reinforcement learning for automatic test case prioritization and selection in continuous integration. In: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 12\u201322 (2017)","DOI":"10.1145\/3092703.3092709"},{"key":"2_CR33","unstructured":"Srivastava, P.R.: Test case prioritization. J. Theor. Appl. Inform. Technol. 4(3) (2008)"},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"Zhang, L., Marinov, D., Khurshid, S.: Faster mutation testing inspired by test prioritization and reduction. In: Proceedings of the 2013 International Symposium on Software Testing and Analysis, pp. 235\u2013245. ISSTA 2013, Association for Computing Machinery, New York, NY, USA (2013)","DOI":"10.1145\/2483760.2483782"},{"key":"2_CR35","doi-asserted-by":"crossref","unstructured":"Zhang, L., Marinov, D., Zhang, L., Khurshid, S.: Regression mutation testing. In: Heimdahl, M.P.E., Su, Z. (eds.) International Symposium on Software Testing and Analysis, ISSTA 2012, pp. 331\u2013341. ACM (2012)","DOI":"10.1145\/2338965.2336793"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Blockchain Technology and Emerging Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-12335-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T07:12:23Z","timestamp":1768201943000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-12335-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032123343","9783032123350"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-12335-0_2","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"value":"1867-8211","type":"print"},{"value":"1867-822X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"13 January 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"Blocktea","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Blockchain Technology and Emerging Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Venice","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"blocktea2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/blocktea.eai-conferences.org\/2025","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}