[ICSE 2020] Towards Automated Migration for Blockchain-based Decentralized Application

Xiufeng Xu