TY - RPRT TI - Automated Vulnerability Injection in Solidity Smart Contracts: A Mutation-Based Approach for Benchmark Development AU - Gerardo Iuliano AU - Luigi Allocca AU - Matteo Cicalese AU - Dario Di Nucci PY - 2025 UR - https://arxiv.org/abs/2504.15948 ID - 2504.15948 ER -