An Automated Framework for Migrating Java Applications to Ethereum Solidity Applications | IEEE Conference Publication | IEEE Xplore