共 37 条
[1]
SolAnalyser: A Framework for Analysing and Testing Smart Contracts
[J].
2019 26TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC),
2019,
:482-489
[3]
Andesta Erfan, 2020, Proceedings of the 10th International Conference on Computer and Knowledge Engineering (ICCKE 2020), P405, DOI 10.1109/ICCKE50421.2020.9303670
[4]
Antonino P, 2020, ARXIV PREPRINT ARXIV
[5]
Ben Fekih Rim, 2020, Impact of Digital Technologies on Public Health in Developed and Developing Countries. 18th International Conference, ICOST 2020. Proceedings. Lecture Notes in Computer Science (LNCS 12157), P268, DOI 10.1007/978-3-030-51517-1_23
[6]
Fuse: An Architecture for Smart Contract Fuzz Testing Service
[J].
2018 25TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2018),
2018,
:707-708
[7]
Ding M, 2021, ABS210611210 CORR
[8]
Driessen S., 2021, Agsolt: a Tool for Automated Test-Case Generation for Solidity Smart Contracts
[9]
Finley K., 2016, WIRED BUSINESS