{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T15:25:02Z","timestamp":1772119502564,"version":"3.50.1"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T00:00:00Z","timestamp":1709164800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T00:00:00Z","timestamp":1709164800000},"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":["Autom Softw Eng"],"published-print":{"date-parts":[[2024,5]]},"DOI":"10.1007\/s10515-024-00422-3","type":"journal-article","created":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T09:02:56Z","timestamp":1709197376000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Sound analysis and migration of data from Ethereum smart contracts"],"prefix":"10.1007","volume":"31","author":[{"given":"Maha","family":"Ayub","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muhammad Waiz","family":"Khan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muhammmad Umar","family":"Janjua","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,2,29]]},"reference":[{"key":"422_CR1","unstructured":"Marr, B.: Blockchain: a very short history of ethereum everyone should read (2018). http:\/\/surl.li\/ojmzu"},{"key":"422_CR2","doi-asserted-by":"publisher","unstructured":"Bandara, H.D., Xu, X., Weber, I.: Patterns for blockchain data migration. EuroPLoP \u201920. Association for computing machinery, NewYork, USA (2020). https:\/\/doi.org\/10.1145\/3424771.3424796","DOI":"10.1145\/3424771.3424796"},{"key":"422_CR3","doi-asserted-by":"publisher","first-page":"186091","DOI":"10.1109\/ACCESS.2019.2961404","volume":"7","author":"H-Y Paik","year":"2019","unstructured":"Paik, H.-Y., Xu, X., Bandara, H.M.N.D., Lee, S.U., Lo, S.K.: Analysis of data management in blockchain-based systems: from architecture to governance. IEEE Access 7, 186091\u2013186107 (2019). https:\/\/doi.org\/10.1109\/ACCESS.2019.2961404","journal-title":"IEEE Access"},{"key":"422_CR4","unstructured":"Coinbase: COINBASE wallet (2012). https:\/\/www.coinbase.com\/wallet"},{"key":"422_CR5","unstructured":"Metamask: the crypto wallet for defi, Web3 Dapps and nfts (2016). https:\/\/metamask.io\/"},{"key":"422_CR6","unstructured":"Wallet, T.: Best cryptocurrency wallet: ethereum wallet: Erc20 wallet (2017). https:\/\/trustwallet.com\/"},{"key":"422_CR7","unstructured":"Murdock, M.: A deep dive. Avalanche bridge built by Ava Labs. LI.FI Blog (2022). https:\/\/blog.li.fi\/avalanche-bridge-a-deep-dive-d51d60dda47f"},{"key":"422_CR8","unstructured":"Binance: Binance: Binance Smart Chain: Binance bridge: binance Swap: Binance.org. Binance (2022). https:\/\/www.bnbchain.org\/en\/bridge"},{"key":"422_CR9","unstructured":"Josselinfeist: How contract migration works. Accessed: (2020)-08-12. https:\/\/blog.trailofbits.com\/2018\/10\/29\/how-contract-migration-works\/"},{"key":"422_CR10","unstructured":"Wood, G., Habermeier, R., Czaban, P.: Polkadot: Web3 interoperability: decentralized blockchain (2020). https:\/\/polkadot.network\/"},{"key":"422_CR11","unstructured":"Kwon, J.: The internet of Blockchains (2019). https:\/\/cosmos.network\/"},{"key":"422_CR12","doi-asserted-by":"publisher","DOI":"10.1145\/3548683","author":"M Ayub","year":"2022","unstructured":"Ayub, M., Saleem, T., Janjua, M.U., Ahmad, T.: Storage state analysis and extraction of Ethereum blockchain smart contracts. ACM Trans. Softw. Eng. Methodol. (2022). https:\/\/doi.org\/10.1145\/3548683","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"422_CR13","unstructured":"Ethereum:history and Forks of ethereum. Ethereum (2021). https:\/\/ethereum.org\/en\/history\/"},{"key":"422_CR14","unstructured":"Polygon: \\$28b investment firm migrates equity from ethereum to polygon, upgrading speed, liquidity, and compliance. polygon labs (2021). https:\/\/bit.ly\/44EjdMV"},{"key":"422_CR15","unstructured":"Suisse, B.: Compatible competition - empowering or encroaching on ethereum?: Bitcoin Suisse. Bitcoin Suisse (2021). https:\/\/bit.ly\/43Au4WQ"},{"key":"422_CR16","unstructured":"Emin\u00a0Sirer, T.Y., Kevin\u00a0Sekniqi: Avalanche Chain. Avalanche (2020). https:\/\/www.avax.network\/"},{"key":"422_CR17","unstructured":"Monarchy, R.: Binance smart contracts (BSC). Binance (2023). https:\/\/www.binance.com\/en\/feed\/post\/1227710"},{"key":"422_CR18","unstructured":"Jaynti\u00a0Kanani, S.N.: Polygon Chain. Polygon (2017). https:\/\/polygon.technology\/developers"},{"key":"422_CR19","doi-asserted-by":"publisher","unstructured":"Herlihy, M.: Atomic cross-chain swaps. In: Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing. PODC \u201918, pp. 245\u2013254. Association for Computing Machinery, New York (2018). https:\/\/doi.org\/10.1145\/3212734.3212736","DOI":"10.1145\/3212734.3212736"},{"key":"422_CR20","unstructured":"Wood, G.: Polkadot: vision for a heterogeneous multi-chain framework (2016). https:\/\/polkadot.network\/polkadotpaper.pdf.\/"},{"key":"422_CR21","unstructured":"Kwon, J., Buchman, E.: Internet of blockchains (2021). https:\/\/v1.cosmos.network\/resources\/whitepaper"},{"key":"422_CR22","doi-asserted-by":"crossref","unstructured":"Westerkamp, M., K\u00fcpper, A.: Smartsync: Cross-blockchain smart contract interaction and synchronization. In: 2022 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), pp. 1\u20139 (2022)","DOI":"10.1109\/ICBC54727.2022.9805524"},{"key":"422_CR23","unstructured":"Marx, S.: Understanding Ethereum smart contract storage (2018). https:\/\/programtheblockchain.com\/posts\/2018\/03\/09\/understanding-ethereum-smart-contract-storage\/"},{"key":"422_CR24","unstructured":"Chriseth, Hari, Mathias, Baumann, Tony: Layout of state variables in storage (2021). https:\/\/docs.soliditylang.org\/en\/v0.8.11\/internals\/layout_in_storage.html"},{"key":"422_CR25","unstructured":"Makers, D.W.: How Ethereum manages transactions (2023). https:\/\/coding-bootcamps.com\/blog\/how-ethereum-manages-transactions.html"},{"key":"422_CR26","unstructured":"Csiro: Token swap (2021). https:\/\/research.csiro.au\/blockchainpatterns\/general-patterns\/blockchain-payment-patterns\/token-swap\/"},{"key":"422_CR27","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.4.511","author":"P Cousot","year":"1992","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation frameworks. J. Logic Comput. (1992). https:\/\/doi.org\/10.1093\/logcom\/2.4.511","journal-title":"J. Logic Comput."},{"key":"422_CR28","doi-asserted-by":"crossref","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Data flow analysis 2, 35\u2013139 (1991)","DOI":"10.1007\/978-3-662-03811-6_2"},{"key":"422_CR29","unstructured":"web3py: Introduction (2023). https:\/\/web3py.readthedocs.io\/"},{"key":"422_CR30","unstructured":"Infura: Ethereum API: Ipfs API amp; gateway: ETH Nodes as a service (2016). https:\/\/infura.io\/"},{"key":"422_CR31","unstructured":"web3py: Providers (2023). https:\/\/web3py.readthedocs.io\/en\/v5\/providers.html"},{"key":"422_CR32","unstructured":"Zheng, P., Zheng, Z., Dai, H.: Xblock-eth: Extracting and exploring blockchain data from ethereum. CoRR abs\/1911.00169 (2019) arXiv:1911.00169"},{"key":"422_CR33","unstructured":"Gondek, C.: Polygon vs. Ethereum-what\u2019s the difference. OriginStamp (2023). https:\/\/originstamp.com\/blog\/polygon-vs-ethereum-whats-the-difference\/"},{"key":"422_CR34","unstructured":"Academy, B.: BNB smart chain vs. Ethereum: What\u2019s the difference? Binance academy (2023). https:\/\/academy.binance.com\/en\/articles\/binance-smart-chain-vs-ethereum-what-s-the-difference"},{"key":"422_CR35","unstructured":"Shuttleworth, D.: Neon: An Ethereum Virtual Machine on Solana (2022). https:\/\/consensys.io\/blog\/neon-an-ethereum-virtual-machine-on-solana"},{"key":"422_CR36","unstructured":"Metamask: The Ethereum address format and why it matters when using metamask (2022). https:\/\/bit.ly\/3Kc40ua"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-024-00422-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10515-024-00422-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-024-00422-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,29]],"date-time":"2024-04-29T09:22:24Z","timestamp":1714382544000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10515-024-00422-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,2,29]]},"references-count":36,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2024,5]]}},"alternative-id":["422"],"URL":"https:\/\/doi.org\/10.1007\/s10515-024-00422-3","relation":{"has-preprint":[{"id-type":"doi","id":"10.21203\/rs.3.rs-3241488\/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":[[2024,2,29]]},"assertion":[{"value":"7 August 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 February 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 February 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The Authors do not have any conflict to declare.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"21"}}