Practical Mutation Testing for Smart Contracts-Reference-Cited by-同舟云学术

Practical Mutation Testing for Smart Contracts

Author:

Honig Joran J.^ORCID,Everts Maarten H.^ORCID,Huisman Marieke^ORCID

Publisher

Springer International Publishing

Link

Reference29 articles.

1. aragonOS. https://hack.aragon.org/docs/aragonos-intro.html

2. Batch overlflow vulnerability - CVE-2018-10299. https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2018-10299

3. CryptoKitties. https://www.cryptokitties.co/

4. eth-mutants: a mutation testing tool for smart contracts. https://github.com/federicobond/eth-mutants

5. Manticore. https://github.com/trailofbits/manticore

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

1. DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

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

4. Using Mutation Testing To Improve and Minimize Test Suites for Smart Contracts;2024 IEEE Conference on Software Testing, Verification and Validation (ICST);2024-05-27