9 citations · 10 across the 4 of their papers we have counts for
4 papers · 1 filter
MuSe: a Mutation Testing Plugin for the Remix IDE
Gerardo Iuliano, Daniele Carangelo, Carmine Calabrese +1
Mutation testing is a technique to assess the effectiveness of test suites by introducing artificial faults into programs. Although mutation testing plugins are available for many…
Automated Vulnerability Injection in Solidity Smart Contracts: A Mutation-Based Approach for Benchmark Development
Gerardo Iuliano, Luigi Allocca, Matteo Cicalese +1
The security of smart contracts is critical in blockchain systems, where even minor vulnerabilities can lead to substantial financial losses. Researchers proposed several vulnerabi…
How Do Solidity Versions Affect Vulnerability Detection Tools? An Empirical Study
Gerardo Iuliano, Davide Corradini, Michele Pasqua +2
Context: Smart contract vulnerabilities pose significant security risks for the Ethereum ecosystem, driving the development of automated tools for detection and mitigation. Smart c…
Smart Contract Vulnerabilities, Tools, and Benchmarks: an Updated Systematic Literature Review
Gerardo Iuliano, Dario Di Nucci
Smart contracts are self-executing programs on blockchain platforms like Ethereum, which have revolutionized decentralized finance by enabling trustless transactions and the operat…