- document
-
Olsthoorn, Mitchell (author), van Deursen, A. (author), Panichella, A. (author)Transaction-reverting statements are key constructs within Solidity that are extensively used for authority and validity checks. Current state-of-the-art search-based testing and fuzzing approaches do not explicitly handle these statements and therefore can not effectively detect security vulnerabilities. In this paper, we argue that it is...conference paper 2022