4 papers
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…