Toward A Service Platform for Developing Smart Contracts on Blockchain in BDD and TDD Styles | IEEE Conference Publication | IEEE Xplore