47 citations · 108 across the 6 of their papers we have counts for
6 papers · 1 filter
CROW: Code Diversification for WebAssembly
Javier Cabrera Arteaga, Orestis Malivitsis, Oscar Vera Pérez +2
The adoption of WebAssembly has rapidly increased in the last few years as it provides a fast and safe model for program execution. However, WebAssembly is not exempt from vulnerab…
Suggestions on Test Suite Improvements with Automatic Infection and Propagation Analysis
Oscar Luis Vera-Pérez, Benjamin Danglot, Martin Monperrus +1
An extreme transformation removes the body of a method that is reached by one test case at least. If the test suite passes on the original program and still passes after the extrem…
Automatic Test Improvement with DSpot: a Study with Ten Mature Open-Source Projects
Benjamin Danglot, Oscar Luis Vera-Pérez, Benoit Baudry +1
In the literature, there is a rather clear segregation between manually written tests by developers and automatically generated ones. In this paper, we explore a third solution: to…
Descartes: A PITest Engine to Detect Pseudo-Tested Methods - Tool Demonstration
Oscar Luis Vera-Pérez, Martin Monperrus, Benoit Baudry
Descartes is a tool that implements extreme mutation operators and aims at finding pseudo-tested methods in Java projects. It leverages the efficient transformation and runtime fea…
A Comprehensive Study of Pseudo-tested Methods
Oscar Luis Vera-Pérez, Benjamin Danglot, Martin Monperrus +1
Pseudo-tested methods are defined as follows: they are covered by the test suite, yet no test case fails when the method body is removed, i.e., when all the effects of this method…
A Snowballing Literature Study on Test Amplification
Benjamin Danglot, Oscar Luis Vera-Pérez, Zhongxing Yu +3
The adoption of agile development approaches has put an increased emphasis on developer testing, resulting in software projects with strong test suites. These suites include a larg…