{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T16:20:07Z","timestamp":1783527607040,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,12,6]],"date-time":"2024-12-06T00:00:00Z","timestamp":1733443200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,12,6]]},"DOI":"10.1145\/3708622.3708633","type":"proceedings-article","created":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T12:03:57Z","timestamp":1737461037000},"page":"49-54","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Portable Blockchain for System Testing of Solana Smart Contracts"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4619-2971","authenticated-orcid":false,"given":"Yash","family":"Madhwal","sequence":"first","affiliation":[{"name":"Project center for Next Generation Wireless and IoT, Skolkovo Institute of Science and Technology, Moscow, Russian Federation"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4651-7585","authenticated-orcid":false,"given":"Yury","family":"Yanovich","sequence":"additional","affiliation":[{"name":"Project center for Next Generation Wireless and IoT, Skolkovo Institute of Science and Technology, Moscow, Russian Federation"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-4755-8899","authenticated-orcid":false,"given":"Grigoriy","family":"Zhintiy","sequence":"additional","affiliation":[{"name":"Faculty of Computer Science, HSE University, Moscow, Russian Federation"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,1,21]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","unstructured":"Vladislav Amelin Ernest Gatiyatullin Nikita Romanov Ratmir Samarkhanov Robert Vasilyev and Yury Yanovich. 2022. Black-Box for Blockchain Parameters Adjustment. IEEE Access 10 (2022) 101795\u2013101802. 10.1109\/ACCESS.2022.3208702","DOI":"10.1109\/ACCESS.2022.3208702"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","unstructured":"Karthikeyan Bhargavan Nikhil Swamy Santiago Zanella-B\u00e9guelin Antoine Delignat-Lavaud C\u00e9dric Fournet Anitha Gollamudi Georges Gonthier Nadim Kobeissi Natalia Kulatova Aseem Rastogi and Thomas Sibut-Pinote. 2016. Formal Verification of Smart Contracts. Association for Computing Machinery (ACM) 91\u201396. 10.1145\/2993600.2993611","DOI":"10.1145\/2993600.2993611"},{"key":"e_1_3_3_1_4_2","volume-title":"Terraform: Up & Running! (3rd edition ed.)","author":"Brikman Yevgeniy","year":"2022","unstructured":"Yevgeniy Brikman. 2022. Terraform: Up & Running! (3rd edition ed.). O\u2019Reilly Media, Inc."},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-73830-7_29"},{"key":"e_1_3_3_1_6_2","unstructured":"Ethereum Foundation. [n. d.]. Remix IDE. https:\/\/remix.ethereum.org\/"},{"key":"e_1_3_3_1_7_2","unstructured":"Ben Hauser. [n. d.]. Brownie. https:\/\/eth-brownie.readthedocs.io\/"},{"key":"e_1_3_3_1_8_2","unstructured":"Jeremy Then. [n. d.]. Why are testnet faucet drips are limited?https:\/\/ethereum.stackexchange.com\/questions\/132766\/why-are-testnet-faucet-drips-are-limited"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23082"},{"key":"e_1_3_3_1_10_2","unstructured":"Solana Labs. [n. d.]. Solana Documentation. https:\/\/docs.solana.com\/"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14306-9_8"},{"key":"e_1_3_3_1_12_2","unstructured":"Chhagan Lal and Dusica Marijan. 2021. Blockchain testing: Challenges techniques and research directions. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2103.10074 (2021)."},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","unstructured":"Srinivas Nidhra and Jagruthi Dondeti. 2012. Black Box and White Box Testing Techniques - A Literature Review. International Journal of Embedded Systems and Applications 2 (6 2012) 29\u201350. Issue 2. 10.5121\/ijesa.2012.2204","DOI":"10.5121\/ijesa.2012.2204"},{"key":"e_1_3_3_1_14_2","unstructured":"Nomic Labs. [n. d.]. Hardhat. https:\/\/hardhat.org\/"},{"key":"e_1_3_3_1_15_2","unstructured":"Truffle Suite. [n. d.]. Ganache. https:\/\/trufflesuite.com\/ganache\/"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","unstructured":"Fei\u00a0Richard Yu Jianmin Liu Ying He Pengbo Si and Yanhua Zhang. 2018. Virtualization for Distributed Ledger Technology (vDLT). IEEE Access 6 (2018) 25019\u201325028. 10.1109\/ACCESS.2018.2829141","DOI":"10.1109\/ACCESS.2018.2829141"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"publisher","unstructured":"Weiqin Zou David Lo Pavneet\u00a0Singh Kochhar Xuan Bach\u00a0Dinh Le Xin Xia Yang Feng Zhenyu Chen and Baowen Xu. 2021. Smart Contract Development: Challenges and Opportunities. IEEE Transactions on Software Engineering 47 (2021). Issue 10. 10.1109\/TSE.2019.2942301","DOI":"10.1109\/TSE.2019.2942301"}],"event":{"name":"ICBTA '24: 2024 7th International Conference on Blockchain Technology and Applications","location":"Xi'an China","acronym":"ICBTA '24"},"container-title":["Proceedings of the 2024 7th International Conference on Blockchain Technology and Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3708622.3708633","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3708622.3708633","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:57:03Z","timestamp":1750298223000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3708622.3708633"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,6]]},"references-count":16,"alternative-id":["10.1145\/3708622.3708633","10.1145\/3708622"],"URL":"https:\/\/doi.org\/10.1145\/3708622.3708633","relation":{},"subject":[],"published":{"date-parts":[[2024,12,6]]},"assertion":[{"value":"2025-01-21","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}