SynTest-solidity-Reference-Cited by-同舟云学术

SynTest-solidity

Published:2022-05-21 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings
language:
Short-container-title:

Author:

Olsthoorn Mitchell¹,Stallenberg Dimitri¹,van Deursen Arie¹,Panichella Annibale¹

Affiliation:

1. Delft University of Technology, Delft, The Netherlands

Publisher

ACM

Link

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

Reference9 articles.

1. Christel Baier and Joost-Pieter Katoen . 2008. Principles of model checking . MIT press . Christel Baier and Joost-Pieter Katoen. 2008. Principles of model checking. MIT press.

2. Stefan Driessen , Dario Di Nucci , Geert Monsieur, and Willem-Jan van den Heuvel. 2021 . AGSolT: a Tool for Automated Test-Case Generation for Solidity Smart Contracts . arXiv preprint arXiv:2102.08864 (2021). Stefan Driessen, Dario Di Nucci, Geert Monsieur, and Willem-Jan van den Heuvel. 2021. AGSolT: a Tool for Automated Test-Case Generation for Solidity Smart Contracts. arXiv preprint arXiv:2102.08864 (2021).

3. Lu Liu , Lili Wei , Wuqi Zhang , Ming Wen , Yepang Liu , and Shing-Chi Cheung . 2021. Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts. arXiv preprint arXiv:2108.10799 ( 2021 ). Lu Liu, Lili Wei, Wuqi Zhang, Ming Wen, Yepang Liu, and Shing-Chi Cheung. 2021. Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts. arXiv preprint arXiv:2108.10799 (2021).

4. sFuzz

5. Reformulating Branch Coverage as a Many-Objective Optimization Problem

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

1. Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. Enhancing Fault Detection in Smart Contract Loops Through Adaptive Probabilistic Sampling;Proceedings of the Genetic and Evolutionary Computation Conference Companion;2024-07-14

3. SmarTS: A Java package for smart contract test suite generation and execution;SoftwareX;2024-05

4. Are We There Yet? Unraveling the State-of-the-Art Smart Contract Fuzzers;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12

5. A systematic mapping on software testing for blockchains;Cluster Computing;2024-04-07