4 citations · 5 across the 5 of their papers we have counts for
5 papers
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…
Automated Black-box Testing of Mass Assignment Vulnerabilities in RESTful APIs
Davide Corradini, Michele Pasqua, Mariano Ceccato
Mass assignment is one of the most prominent vulnerabilities in RESTful APIs. This vulnerability originates from a misconfiguration in common web frameworks, such that naming conve…
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…