TY  - RPRT
TI  - Basis Path Coverage Criteria for Smart Contract Application Testing
AU  - Xinming Wang
AU  - Zhijian Xie
AU  - Jiahao He
AU  - Gansen Zhao
AU  - Nie Ruihua
PY  - 2019
UR  - https://arxiv.org/abs/1911.10471
ID  - 1911.10471
ER  -