{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,13]],"date-time":"2026-08-13T04:28:31Z","timestamp":1786595311428,"version":"build-2736575974"},"reference-count":54,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T00:00:00Z","timestamp":1779753600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T00:00:00Z","timestamp":1779753600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100014188","name":"Ministry of Science and ICT, South Korea","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100014188","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Autom Softw Eng"],"published-print":{"date-parts":[[2026,11]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>\n                    As Solidity becomes the dominant language for blockchain smart contracts, efficient debugging grows increasingly critical. However, current Solidity debugging remains inefficient: developers must compile, deploy, set up transactions, and trace bytecode execution step by step. This process is too slow for practical use. To address this challenge, this paper presents\n                    <jats:sc>SolQDebug<\/jats:sc>\n                    , the first edit-time debugging assistant for Solidity designed for interactive analysis within a single contract\/transaction context, providing abstract value summaries with millisecond feedback directly on source code. Developers specify symbolic interval inputs through annotations and compare them against abstract interpretation results, thereby capturing multiple input scenarios over various execution paths in a single analysis.\n                    <jats:sc>SolQDebug<\/jats:sc>\n                    was evaluated on 30 real-world functions from DAppSCAN, achieving millisecond-scale feedback. This paper also synthesizes experimental observations on annotation patterns for arithmetic operations and loop constructs into practical guidelines. These results demonstrate that\n                    <jats:sc>SolQDebug<\/jats:sc>\n                    serves as an effective edit-time debugging assistant for Solidity development.\n                  <\/jats:p>","DOI":"10.1007\/s10515-026-00618-9","type":"journal-article","created":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T10:51:44Z","timestamp":1779792704000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["SolQDebug: Debug solidity quickly for interactive immediacy in smart contract development"],"prefix":"10.1007","volume":"33","author":[{"given":"Inseong","family":"Jeon","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sundeuk","family":"Kim","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hyunwoo","family":"Kim","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hoh Peter","family":"In","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,5,26]]},"reference":[{"key":"618_CR1","unstructured":"ANTLR: https:\/\/www.antlr.org\/ (2025). Accessed November 2025"},{"key":"618_CR2","doi-asserted-by":"publisher","unstructured":"Chaliasos, S., et al.: Smart contract and defi security tools: Do they meet the needs of practitioners?. In: Proceedings of the 46th IEEE\/ACM International Conference on Software Engineering (ICSE), pp. 1\u201313 (2024). https:\/\/doi.org\/10.1145\/3597503.3623302","DOI":"10.1145\/3597503.3623302"},{"key":"618_CR3","unstructured":"ChatGPT: https:\/\/chatgpt.com\/ (2025). Accessed November 2025"},{"key":"618_CR4","doi-asserted-by":"publisher","unstructured":"Chen, X., et al.: Characterizing smart contract evolution. ACM Trans. Softw. Eng. Methodol. (2025). https:\/\/doi.org\/10.1145\/3719004","DOI":"10.1145\/3719004"},{"key":"618_CR5","doi-asserted-by":"publisher","unstructured":"Chen, J., et al.: NumScout: unveiling numerical defects in smart contracts using LLM-pruning symbolic execution. IEEE Trans. Softw. Eng. (2025). https:\/\/doi.org\/10.1109\/TSE.2025.3555622","DOI":"10.1109\/TSE.2025.3555622"},{"key":"618_CR6","doi-asserted-by":"publisher","unstructured":"Chimdyalwar, B.: Fast and precise interval analysis on industry code. In: 2024 IEEE 35th International Symposium on Software Reliability Engineering Workshops (ISSREW) (2024). https:\/\/doi.org\/10.1109\/ISSREW63542.2024.00049","DOI":"10.1109\/ISSREW63542.2024.00049"},{"key":"618_CR7","unstructured":"Cognition.run: https:\/\/www.cognition.run\/ (2026). Accessed January 2026"},{"key":"618_CR8","unstructured":"CoinMarketCap: https:\/\/coinmarketcap.com\/ (2025). Accessed November 2025"},{"key":"618_CR9","unstructured":"ConsenSys Diligence: Python Solidity Parser. https:\/\/github.com\/ConsenSysDiligence\/python-solidity-parser (2025). Accessed November 2025"},{"key":"618_CR10","doi-asserted-by":"publisher","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL) (1977). https:\/\/doi.org\/10.1145\/512950.512973","DOI":"10.1145\/512950.512973"},{"key":"618_CR11","doi-asserted-by":"publisher","unstructured":"Erhard, J., et al.: Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap. Int. J. Softw. Tools Technol. Trans. (2024). https:\/\/doi.org\/10.1007\/s10009-024-00768-9","DOI":"10.1007\/s10009-024-00768-9"},{"key":"618_CR12","doi-asserted-by":"publisher","unstructured":"Feist, J., Grieco, G., Groce, A.: Slither: a static analysis framework for smart contracts. In: 2019 IEEE\/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB), pp. 8\u201315 (2019). https:\/\/doi.org\/10.1109\/WETSEB.2019.00008","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"618_CR13","unstructured":"Foundry Forge: https:\/\/book.getfoundry.sh\/reference\/forge\/forge\/ (2025). Accessed November 2025"},{"key":"618_CR14","doi-asserted-by":"publisher","unstructured":"Grieco, G., et al.: Echidna: effective, usable, and fast fuzzing for smart contracts. In: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), pp. 557\u2013560 (2020). https:\/\/doi.org\/10.1145\/3395363.3404366","DOI":"10.1145\/3395363.3404366"},{"key":"618_CR15","doi-asserted-by":"crossref","unstructured":"Halder, R., et al.: Analyzing information flow in Solidity smart contracts. In: Distributed Computing to Blockchain, pp. 105\u2013123. Academic Press (2023)","DOI":"10.1016\/B978-0-323-96146-2.00024-3"},{"key":"618_CR16","doi-asserted-by":"publisher","unstructured":"Halder, R.: State-based invariant property generation of Solidity smart contracts using abstract interpretation. In: 2024 IEEE International Conference on Blockchain (2024). https:\/\/doi.org\/10.1109\/Blockchain62396.2024.00038","DOI":"10.1109\/Blockchain62396.2024.00038"},{"key":"618_CR17","unstructured":"Hardhat: https:\/\/hardhat.org\/ (2025). Accessed November 2025"},{"issue":"1","key":"618_CR18","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1109\/TR.2023.3233999","volume":"73","author":"T Hu","year":"2023","unstructured":"Hu, T., et al.: Detect defects of Solidity smart contract based on the knowledge graph. IEEE Trans. Reliab. 73(1), 186\u2013202 (2023). https:\/\/doi.org\/10.1109\/TR.2023.3233999","journal-title":"IEEE Trans. Reliab."},{"key":"618_CR19","unstructured":"JetBrains: PyCharm. https:\/\/www.jetbrains.com\/pycharm\/ (2025). Accessed November 2025"},{"key":"618_CR20","doi-asserted-by":"publisher","unstructured":"Jiang, B., Liu, Y., Chan, W.K.: ContractFuzzer: fuzzing smart contracts for vulnerability detection. In: Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering (ASE), pp. 259\u2013269 (2018). https:\/\/doi.org\/10.1145\/3238147.3238177","DOI":"10.1145\/3238147.3238177"},{"key":"618_CR21","doi-asserted-by":"publisher","unstructured":"Kalra, S., Goel, S., Dhawan, M., Sharma, S.: ZEUS: analyzing safety of smart contracts. In: Proceedings of the 2018 Network and Distributed System Security Symposium (NDSS) (2018). https:\/\/doi.org\/10.14722\/ndss.2018.23082","DOI":"10.14722\/ndss.2018.23082"},{"key":"618_CR22","unstructured":"Llama: https:\/\/www.llama.com\/ (2025). Accessed November 2025"},{"key":"618_CR23","doi-asserted-by":"publisher","unstructured":"Ma, C., Song, W., Huang, J.: TransRacer: function dependence-guided transaction race detection for smart contracts. In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE), pp. 947\u2013959 (2023). https:\/\/doi.org\/10.1145\/3611643.3616281","DOI":"10.1145\/3611643.3616281"},{"key":"618_CR24","doi-asserted-by":"publisher","unstructured":"Mehar, M.I., et al.: Understanding a revolutionary and flawed grand experiment in blockchain: the DAO attack. J Cases Inf Technol (2019). https:\/\/doi.org\/10.4018\/JCIT.2019010102","DOI":"10.4018\/JCIT.2019010102"},{"key":"618_CR54","doi-asserted-by":"publisher","unstructured":"Merlec, M.M., et al.: A smart contract-based dynamic consent management system for personal data usage under GDPR. Sensors 21(23), 7994 (2021). https:\/\/doi.org\/10.3390\/s21237994","DOI":"10.3390\/s21237994"},{"key":"618_CR25","unstructured":"Microsoft Visual Studio: https:\/\/visualstudio.microsoft.com\/ko\/ (2025). Accessed November 2025"},{"key":"618_CR26","doi-asserted-by":"publisher","unstructured":"Nguyen, T.D., et al.: sFuzz: an efficient adaptive fuzzer for Solidity smart contracts. In: Proceedings of the 42nd ACM\/IEEE International Conference on Software Engineering (ICSE), pp. 778\u2013788 (2020). https:\/\/doi.org\/10.1145\/3377811.3380334","DOI":"10.1145\/3377811.3380334"},{"key":"618_CR27","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2023.111653","volume":"200","author":"M Pasqua","year":"2023","unstructured":"Pasqua, M., et al.: Enhancing Ethereum smart-contracts static analysis by computing a precise control-flow graph of Ethereum bytecode. J. Syst. Softw. 200, 111653 (2023). https:\/\/doi.org\/10.1016\/j.jss.2023.111653","journal-title":"J. Syst. Softw."},{"key":"618_CR28","unstructured":"Remix Benchmark: https:\/\/github.com\/iwwyou\/SolDebug\/tree\/main\/Evaluation\/RQ1_Latency\/remix (2025). Accessed November 2025"},{"key":"618_CR29","unstructured":"Remix IDE: https:\/\/remix.ethereum.org\/ (2025). Accessed November 2025"},{"key":"618_CR30","doi-asserted-by":"publisher","unstructured":"Riouak, I., et al.: IntraJ: an on-demand framework for intraprocedural Java code analysis. Int. J. Softw. Tools Technol. Trans. (2024). https:\/\/doi.org\/10.1007\/s10009-024-00771-0","DOI":"10.1007\/s10009-024-00771-0"},{"key":"618_CR31","unstructured":"Rival, X., Yi, K.: Introduction to Static Analysis: an Abstract Interpretation Perspective (2020)"},{"key":"618_CR32","unstructured":"Selenium with Python: https:\/\/selenium-python.readthedocs.io\/ (2025). Accessed November 2025"},{"key":"618_CR33","doi-asserted-by":"publisher","unstructured":"Shou, C., Tan, S., Sen, K.: Ityfuzz: snapshot-based fuzzer for smart contract. In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), pp. 322\u2013333 (2023). https:\/\/doi.org\/10.1145\/3597926.3598059","DOI":"10.1145\/3597926.3598059"},{"key":"618_CR34","doi-asserted-by":"publisher","unstructured":"So, S., et al.: Verismart: a highly precise safety verifier for Ethereum smart contracts. In: 2020 IEEE Symposium on Security and Privacy (SP), pp. 1678\u20131694 (2020). https:\/\/doi.org\/10.1109\/SP40000.2020.00032","DOI":"10.1109\/SP40000.2020.00032"},{"key":"618_CR35","unstructured":"Solidity Compiler in Python (solcx): https:\/\/solcx.readthedocs.io\/en\/latest\/ (2025). Accessed November 2025"},{"key":"618_CR36","unstructured":"Solidity Debugger Pro: https:\/\/www.soliditydbg.org\/ (2025). Accessed November 2025"},{"key":"618_CR37","unstructured":"Solidity documentation: https:\/\/docs.soliditylang.org\/en\/v0.8.30\/ (2025). Accessed November 2025"},{"key":"618_CR38","unstructured":"Solidity Language Grammar Rule of SolQDebug : https:\/\/github.com\/iwwyou\/SolDebug\/blob\/main\/Parser\/Solidity.g4. Accessed November 2025"},{"key":"618_CR39","unstructured":"Solidity Language Grammar: https:\/\/docs.soliditylang.org\/en\/v0.8.30\/grammar.html (2025). Accessed November 2025"},{"key":"618_CR40","unstructured":"SolQDebug Complete Implementation: https:\/\/github.com\/iwwyou\/SolDebug\/tree\/main (2025). Accessed November 2025"},{"key":"618_CR41","doi-asserted-by":"publisher","unstructured":"Stein, B., Chang, B.-Y.E., Sridharan, M.: Demanded abstract interpretation. In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI) (2021). https:\/\/doi.org\/10.1145\/3453483.3454044","DOI":"10.1145\/3453483.3454044"},{"key":"618_CR42","doi-asserted-by":"publisher","unstructured":"Stein, B., Chang, B.-Y.E., Sridharan, M.: Interactive abstract interpretation with demanded summarization. ACM Transactions on Programming Languages and Systems (2024). https:\/\/doi.org\/10.1145\/3648484","DOI":"10.1145\/3648484"},{"key":"618_CR43","doi-asserted-by":"publisher","unstructured":"Stephens, J., et al.: SmartPulse: automated checking of temporal properties in smart contracts. In: 2021 IEEE Symposium on Security and Privacy (SP), pp. 555\u2013571 (2021). https:\/\/doi.org\/10.1109\/SP40001.2021.00085","DOI":"10.1109\/SP40001.2021.00085"},{"key":"618_CR44","doi-asserted-by":"publisher","unstructured":"Sun, Y., et al.: GPTScan: detecting logic vulnerabilities in smart contracts by combining GPT with program analysis. In: Proceedings of the 46th IEEE\/ACM International Conference on Software Engineering (ICSE), pp. 1\u201313 (2024). https:\/\/doi.org\/10.1145\/3597503.3639117","DOI":"10.1145\/3597503.3639117"},{"key":"618_CR45","doi-asserted-by":"publisher","unstructured":"Tsankov, P., et al.: Securify: practical security analysis of smart contracts. In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security (CCS), pp. 67\u201382 (2018). https:\/\/doi.org\/10.1145\/3243734.3243780","DOI":"10.1145\/3243734.3243780"},{"key":"618_CR46","doi-asserted-by":"publisher","unstructured":"Wilcoxon, F.: Individual comparisons by ranking methods. In: Breakthroughs in Statistics: Methodology and Distribution, pp. 196\u2013202. Springer, New York (1992). https:\/\/doi.org\/10.1007\/978-1-4612-4380-9_16","DOI":"10.1007\/978-1-4612-4380-9_16"},{"key":"618_CR47","doi-asserted-by":"publisher","unstructured":"Wu, H., et al.: Peculiar: smart contract vulnerability detection based on crucial data-flow graph and pre-training techniques. In: 2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE), pp. 378\u2013389 (2021). https:\/\/doi.org\/10.1109\/ISSRE52982.2021.00047","DOI":"10.1109\/ISSRE52982.2021.00047"},{"key":"618_CR48","doi-asserted-by":"publisher","unstructured":"Yao, Y., et al.: An improved vulnerability detection system of smart contracts based on symbolic execution. In: 2022 IEEE International Conference on Big Data (Big Data), pp. 3225\u20133234 (2022). https:\/\/doi.org\/10.1109\/BigData55660.2022.10020730","DOI":"10.1109\/BigData55660.2022.10020730"},{"key":"618_CR49","doi-asserted-by":"publisher","unstructured":"Yu, L., et al.: PSCVFinder: a prompt-tuning based framework for smart contract vulnerability detection. In: 2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE), pp. 556\u2013567 (2023). https:\/\/doi.org\/10.1109\/ISSRE59848.2023.00030","DOI":"10.1109\/ISSRE59848.2023.00030"},{"key":"618_CR50","doi-asserted-by":"publisher","unstructured":"Zhang, B.: Towards finding accounting errors in smart contracts. In: Proceedings of the 46th IEEE\/ACM International Conference on Software Engineering (ICSE), pp. 1\u201313 (2024). https:\/\/doi.org\/10.1145\/3597503.3639222","DOI":"10.1145\/3597503.3639222"},{"key":"618_CR51","doi-asserted-by":"publisher","unstructured":"Zheng, Z., et al.: Dappscan: building large-scale datasets for smart contract weaknesses in dApp projects. IEEE Trans. Softw. Eng. (2024). https:\/\/doi.org\/10.1109\/TSE.2024.3383422","DOI":"10.1109\/TSE.2024.3383422"},{"issue":"24","key":"618_CR52","doi-asserted-by":"publisher","first-page":"24695","DOI":"10.1109\/JIOT.2022.3196269","volume":"9","author":"Q Zhou","year":"2022","unstructured":"Zhou, Q., et al.: Vulnerability analysis of smart contract for blockchain-based IoT applications: a machine learning approach. IEEE Internet Things J. 9(24), 24695\u201324707 (2022). https:\/\/doi.org\/10.1109\/JIOT.2022.3196269","journal-title":"IEEE Internet Things J."},{"key":"618_CR53","doi-asserted-by":"publisher","unstructured":"Zou, W., et al.: Smart contract development: challenges and opportunities. IEEE Trans. Softw. Eng. (2019). https:\/\/doi.org\/10.1109\/TSE.2019.2942301","DOI":"10.1109\/TSE.2019.2942301"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-026-00618-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10515-026-00618-9","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-026-00618-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,13]],"date-time":"2026-08-13T03:58:58Z","timestamp":1786593538000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10515-026-00618-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,26]]},"references-count":54,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2026,11]]}},"alternative-id":["618"],"URL":"https:\/\/doi.org\/10.1007\/s10515-026-00618-9","relation":{"has-preprint":[{"id-type":"doi","id":"10.21203\/rs.3.rs-8077153\/v1","asserted-by":"object"}]},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"value":"0928-8910","type":"print"},{"value":"1573-7535","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,5,26]]},"assertion":[{"value":"10 November 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 March 2026","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 May 2026","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The authors declare no competing interests.","order":1,"name":"Ethics","label":"Competing interests","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"Not applicable since there are no human and\/or animal studies included in this paper.","order":2,"name":"Ethics","label":"Ethical approval","group":{"name":"EthicsHeading","label":"Declarations"}}],"article-number":"86"}}