Descartes: A PITest Engine to Detect Pseudo-Tested Methods - Tool Demonstration

11/07/2018
by   Oscar Luis Vera-Pérez, et al.
0

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 PIT. The demonstration compares Descartes with Gregor, the default mutation engine provided by PIT, 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 by Descartes.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/08/2020

Do Null-Type Mutation Operators Help Prevent Null-Type Faults?

The null-type is a major source of faults in Java programs, and its over...
research
03/15/2021

Extreme mutation testing in practice: An industrial case study

Mutation testing is used to evaluate the effectiveness of test suites. I...
research
08/05/2019

Mull it over: mutation testing based on LLVM

This paper describes Mull, an open-source tool for mutation testing base...
research
05/08/2021

SuMo: A Mutation Testing Strategy for Solidity Smart Contracts

Smart Contracts are software programs that are deployed and executed wit...
research
07/13/2018

A Comprehensive Study of Pseudo-tested Methods

Pseudo-tested methods are defined as follows: they are covered by the te...
research
08/30/2023

Nemo: First Glimpse of a New Rule Engine

This system demonstration presents Nemo, a new logic programming engine ...
research
05/18/2004

Let's Get Ready to Rumble: Crossover Versus Mutation Head to Head

This paper analyzes the relative advantages between crossover and mutati...

Please sign up or login with your details

Forgot password? Click here to reset