Basis Path Coverage Criteria for Smart Contract Application Testing[C] 2019 INTERNATIONAL CONFERENCE ON CYBER-ENABLED DISTRIBUTED COMPUTING AND KNOWLEDGE DISCOVERY (CYBERC) 2019 Wang, Xinming Xie, Zhijian He, Jiahao Zhao, Gansen Nie, Ruihua