Reference12 articles.
1. Model-based software design and testing in blockchain smart contracts: A systematic literature review;Sánchez-Gómez;IEEE Access,2020
2. Du J, Huang S, Wang X, Zheng C, Sun J. Test Case Generation for Ethereum Smart Contract based on Data Dependency Analysis of State Variable. In: 2022 IEEE 22nd international conference on software quality, reliability and security. p. 710–20. http://dx.doi.org/10.1109/QRS57517.2022.00077.
3. SolAR: Automated test-suite generation for solidity smart contracts;Driessen;Sci Comput Program,2024
4. Olsthoorn M, Stallenberg D, Van Deursen A, Panichella A. SynTest-Solidity: Automated Test Case Generation and Fuzzing for Smart Contracts. In: 2022 IEEE/ACM 44th international conference on software engineering: Companion proceedings. p. 202–6. http://dx.doi.org/10.1145/3510454.3516869.
5. A improving coverage and vulnerability detection in smart contract testing using self-adaptive learning GA;Sujeetha;IETE J Res,2023
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献