94 citations · 198 across the 10 of their papers we have counts for
10 papers · 1 filter
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…
EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode
Filippo Contro, Marco Crosara, Mariano Ceccato +1
Motivated by the immutable nature of Ethereum smart contracts and of their transactions, quite many approaches have been proposed to detect defects and security problems before sma…
Deep Reinforcement Learning for Black-Box Testing of Android Apps
Andrea Romdhana, Alessio Merlo, Mariano Ceccato +1
The state space of Android apps is huge and its thorough exploration during testing remains a major challenge. In fact, the best exploration strategy is highly dependent on the fea…
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…
Obfuscating Java Programs by Translating Selected Portions of Bytecode to Native Libraries
Davide Pizzolotto, Mariano Ceccato
Code obfuscation is a popular approach to turn program comprehension and analysis harder, with the aim of mitigating threats related to malicious reverse engineering and code tampe…