2 papers
quant-ph2025
A Preliminary Investigation on the Usage of Quantum Approximate Optimization Algorithms for Test Case Selection
Antonio Trovato, Martin Beseda, Dario Di Nucci
Regression testing is key in verifying that software works correctly after changes. However, running the entire regression test suite can be impractical and expensive, especially f…
cs.SE2025
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…