Smart contract testing-Reference-Cited by-同舟云学术

Smart contract testing

Published:2022-05-19 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 5th International Workshop on Emerging Trends in Software Engineering for Blockchain
language:
Short-container-title:

Author:

Barboni Morena¹,Morichetta Andrea¹,Polini Andrea¹

Affiliation:

1. University of Camerino - Italy

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3528226.3528370

Reference38 articles.

1. Sefa Akca , Ajitha Rajan , and Chao Peng . 2019 . SolAnalyser: A Framework for Analysing and Testing Smart Contracts. In 26th Asia-Pacific Software Engineering Conference (APSEC). IEEE, 482--489 . Sefa Akca, Ajitha Rajan, and Chao Peng. 2019. SolAnalyser: A Framework for Analysing and Testing Smart Contracts. In 26th Asia-Pacific Software Engineering Conference (APSEC). IEEE, 482--489.

2. Testing Smart Contracts Gets Smarter

3. Morena Barboni , Andrea Morichetta , and Andrea Polini . 2021 . SuMo: A Mutation Testing Strategy for Solidity Smart Contracts. In 2021 IEEE/ACM International Conference on Automation of Software Test (AST). IEEE, 50--59 . Morena Barboni, Andrea Morichetta, and Andrea Polini. 2021. SuMo: A Mutation Testing Strategy for Solidity Smart Contracts. In 2021 IEEE/ACM International Conference on Automation of Software Test (AST). IEEE, 50--59.

4. Antonia Bertolino , Guglielmo De Angelis , Breno Miranda , and Paolo Tonella . 2020 . Run Java Applications and Test Them In-Vivo Meantime. In 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST). IEEE, 454--459 . Antonia Bertolino, Guglielmo De Angelis, Breno Miranda, and Paolo Tonella. 2020. Run Java Applications and Test Them In-Vivo Meantime. In 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST). IEEE, 454--459.

5. Deviant: A Mutation Testing Tool for Solidity Smart Contracts

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Software verification challenges in the blockchain ecosystem;International Journal on Software Tools for Technology Transfer;2024-07-12

2. Enhanced mutation testing of smart contracts in support of code inspection;2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC);2024-05-27

3. GethReplayer: a smart contract testing method based on transaction replay;International Journal of Web Information Systems;2024-04-05

4. Smart Contract Reentrancy Vulnerability Detection Based on CNN and LSTM-Attention;2024 5th International Seminar on Artificial Intelligence, Networking and Information Technology (AINIT);2024-03-29

5. A Digital Twin Approach for Blockchain Smart Contracts;2024 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion (SANER-C);2024-03-12