{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,7]],"date-time":"2026-05-07T05:10:49Z","timestamp":1778130649533,"version":"3.51.4"},"reference-count":39,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T00:00:00Z","timestamp":1773705600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T00:00:00Z","timestamp":1773705600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,3,17]]},"DOI":"10.1109\/saner-c67878.2026.00010","type":"proceedings-article","created":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T19:39:18Z","timestamp":1778096358000},"page":"22-30","source":"Crossref","is-referenced-by-count":0,"title":["Exploratory Study on LLMs for Test Amplification in Solidity"],"prefix":"10.1109","author":[{"given":"Jorden","family":"Van Handenhoven","sequence":"first","affiliation":[{"name":"University of Antwerp,Department of Computer Science,Antwerp,Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Billy","family":"Vanhove","sequence":"additional","affiliation":[{"name":"University of Antwerp,Department of Computer Science,Antwerp,Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mutlu","family":"Beyazit","sequence":"additional","affiliation":[{"name":"University of Antwerp,Department of Computer Science,Antwerp,Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Onur","family":"Kilincceker","sequence":"additional","affiliation":[{"name":"University of Antwerp,Department of Computer Science,Antwerp,Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Serge","family":"Demeyer","sequence":"additional","affiliation":[{"name":"University of Antwerp,Department of Computer Science,Antwerp,Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-022-10169-8"},{"key":"ref2","volume-title":"Solidity Code Coverage","year":"2024"},{"key":"ref3","volume-title":"Claude 3.7 Sonnet and Claude Code","year":"2025"},{"key":"ref4","volume-title":"Introducing computer use, a new Claude 3.5 Sonnet, and Claude 3.5 Haiku","year":"2025"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.25"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2024.findings-emnlp.852"},{"key":"ref7","volume-title":"Why Every Solidity Developer Should Master Hardhat for Efficient Smart Contract Development","year":"2025"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-019-09692-y"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3663529.3663839"},{"key":"ref10","article-title":"Family friendly user","year":"2025","journal-title":"Real Talk: o3-mini (high effort) is a nightmare for actual coding"},{"key":"ref11","article-title":"Foundry","year":"2025","journal-title":"Foundry - ethereum development framework"},{"key":"ref12","volume-title":"GitHub Copilot Documentation","year":"2025"},{"key":"ref13","volume-title":"Gemini 2.0 Flash","year":"2025"},{"key":"ref14","article-title":"Hardhat","year":"2025","journal-title":"Hardhat: Ethereum development environment for professionals"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2015.7102580"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/MSR66628.2025.00105"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SANER-C66551.2025.00027"},{"key":"ref18","article-title":"Remix IDE","year":"2025","journal-title":"Remix - ethereum ide. Website"},{"key":"ref19","volume-title":"GitHub Copilot gains test generation with GPT-4","year":"2024"},{"key":"ref20","author":"Jain","year":"2025","journal-title":"Testforge: Feedback-driven, agentic test suite generation"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3747588"},{"key":"ref22","article-title":"Kingsley Arinze","year":"2025","journal-title":"Truffle vs. Hardhat: Breaking Down the Difference Between Ethereum\u2019s Top Development Environments"},{"key":"ref23","article-title":"Llm-based readability measurement for unit tests\u2019 context","author":"Liang","year":"2024","journal-title":"arXiv preprint"},{"key":"ref24","volume-title":"GPT-4o","year":"2024"},{"key":"ref25","year":"2023","journal-title":"Gpt-4 technical report. Technical report, OpenAI"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2025.findings-naacl.449"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.23919\/DATE64628.2025.10992817"},{"key":"ref28","volume-title":"Smart Contract Benchmark Suites - Dataset","author":"Meng","year":"2025"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1002\/smr.2490"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2023.3334955"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3728951"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.62"},{"key":"ref33","article-title":"Stack Overflow","year":"2023","journal-title":"Stack Overflow Developer Survey 2023"},{"key":"ref34","article-title":"The Verge","year":"2024","journal-title":"OpenAI launches O3 mini in ChatGPT and API"},{"key":"ref35","article-title":"Towards Data Science","year":"2025","journal-title":"How Copilot Helps Me Write Tests"},{"key":"ref36","article-title":"Truffle Suite","year":"2024","journal-title":"Truffle Suite Documentation Archive"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3696630.3728560"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/3660783"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2024.findings-emnlp.108"}],"event":{"name":"2026 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion (SANER-C)","location":"Limassol, Cyprus","start":{"date-parts":[[2026,3,17]]},"end":{"date-parts":[[2026,3,20]]}},"container-title":["2026 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion (SANER-C)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11500139\/11499992\/11499993.pdf?arnumber=11499993","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,7]],"date-time":"2026-05-07T04:17:55Z","timestamp":1778127475000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11499993\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,17]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/saner-c67878.2026.00010","relation":{},"subject":[],"published":{"date-parts":[[2026,3,17]]}}}