activity
20202026
most citedSmart Contract Vulnerabilities, Tools, and Benchmarks: an Updated Systematic Literature Review

9 citations · 16 across the 9 of their papers we have counts for

collaborators

9 papers

cs.SE2026★ 1 cited

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…

cs.SE2025

A First Look at the Lifecycle of DL-Specific Self-Admitted Technical Debt

Gilberto Recupito, Vincenzo De Martino, Dario Di Nucci +1

The rapid adoption of Deep Learning (DL)-enabled systems has revolutionized software development, driving innovation across various domains. However, these systems also introduce u…

cs.SE2025★ 1 cited

Chaos Engineering in the Wild: Findings from GitHub

Joshua Owotogbe, Indika Kumara, Dario Di Nucci +2

Chaos Engineering (CE) enhances system resilience by deliberately injecting faults to uncover weaknesses before they cause outages. Despite the availability of many CE tools, littl…

cs.SE2025

Identifying and Replicating Code Patterns Driving Performance Regressions in Software Systems

Denivan Campos, Luana Martins, Emanuela Guglielmi +6

Context: Performance regressions negatively impact execution time and memory usage of software systems. Nevertheless, there is a lack of systematic methods to evaluate the effectiv…

cs.SE2025

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…

cs.SE2024★ 9 cited

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…

cs.SE2022★ 4 cited

Software Engineering for Quantum Programming: How Far Are We?

Manuel De Stefano, Fabiano Pecorelli, Dario Di Nucci +2

Quantum computing is no longer only a scientific interest but is rapidly becoming an industrially available technology that can potentially overcome the limits of classical computa…

cs.SE2020★ 1 cited

Prioritising Server Side Reachability via Inter-process Concolic Testing

Maarten Vandercammen, Laurent Christophe, Dario Di Nucci +2

Context: Most approaches to automated white-box testing consider the client side and the server side of a web application in isolation from each other. Such testers lack a whole-pr…

cs.SE2020

Towards a Catalogue of Software Quality Metrics for Infrastructure Code

Stefano Dalla Palma, Dario Di Nucci, Fabio Palomba +1

Infrastructure-as-code (IaC) is a practice to implement continuous deployment by allowing management and provisioning of infrastructure through the definition of machine-readable f…