kirancodes.me
To Proof Maintenance & Beyond!

Descartes: a PITest engine to detect pseudo-tested methods: tool demonstration

Oscar Luis Vera-Pérez, Martin Monperrus, Benoit Baudry

Abstract

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 features of PITest. The demonstration compares Descartes with Gregor, the default mutation engine provided by PITest, in a set of real open source projects. It considers the execution time, number of mutants created and the relationship between the mutation scores produced by both engines. It provides some insights on the main features exposed byDescartes.

BibTeX
@inproceedings{VeraPerez-al:ASE18,
  author    = {Oscar Luis Vera{-}P{\'{e}}rez and
               Martin Monperrus and
               Benoit Baudry},
  title     = {Descartes: a {PITest} engine to detect pseudo-tested methods: tool demonstration},
  booktitle = {ASE},
  pages     = {908--911},
  publisher = {{ACM}},
  year      = {2018},
}

Related papers