6 citations · 7 across the 6 of their papers we have counts for
5 papers · 1 filter
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…
DeepREST: Automated Test Case Generation for REST APIs Exploiting Deep Reinforcement Learning
Davide Corradini, Zeno Montolli, Michele Pasqua +1
Automatically crafting test scenarios for REST APIs helps deliver more reliable and trustworthy web-oriented systems. However, current black-box testing approaches rely heavily on…
Restats: A Test Coverage Tool for RESTful APIs
Davide Corradini, Amedeo Zampieri, Michele Pasqua +1
Test coverage is a standard measure used to evaluate the completeness of a test suite. Coverage is typically computed on source code, by assessing the extent of source code entitie…
Empirical Comparison of Black-box Test Case Generation Tools for RESTful APIs
Davide Corradini, Amedeo Zampieri, Michele Pasqua +1
In literature, we can find research tools to automatically generate test cases for RESTful APIs, addressing the specificity of this particular programming domain. However, no direc…
A Framework for In-Vivo Testing of Mobile Applications
Mariano Ceccato, Davide Corradini, Luca Gazzola +4
The ecosystem in which mobile applications run is highly heterogeneous and configurable. All layers upon which mobile apps are built offer wide possibilities of variations, from th…