Impact of mutation operators on mutant equivalence

Imen Marsit, Mohamed Nazih Omri, Ji Ming Loh, Ali Mili

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Abstract

The presence of equivalent mutants is a recurrent source of aggravation in mutation-based studies of software testing, as it distorts our analysis and precludes assertive claims. But the determination of whether a mutant is equivalent to a base program is undecidable, and practical approaches are tedious, error-prone, and tend to produce insufficient or unnecessary conditions of equivalence. We argue that an attractive alternative to painstakingly identifying equivalent mutants is to estimate their number. This is an attractive alternative for two reasons: First, in most practical applications, it is not necessary to identify equivalent mutants individually; rather it suffices to know their number. Second, even when we need to identify equivalent mutants, knowing their number enables us to single them out with little to moderate effort.

Original languageEnglish (US)
Title of host publicationICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies
EditorsLeszek Maciaszek, Leszek Maciaszek, Marten van Sinderen
PublisherSciTePress
Pages21-32
Number of pages12
ISBN (Electronic)9789897583209
StatePublished - Jan 1 2019
Event13th International Conference on Software Technologies, ICSOFT 2018 - Porto, Portugal
Duration: Jul 26 2018Jul 28 2018

Publication series

NameICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies

Conference

Conference13th International Conference on Software Technologies, ICSOFT 2018
Country/TerritoryPortugal
CityPorto
Period7/26/187/28/18

All Science Journal Classification (ASJC) codes

  • Software
  • Information Systems
  • Computer Science Applications

Keywords

  • Equivalent Mutants
  • Mutant Generation Policy
  • Mutant Survival Ratio
  • Mutation Operators
  • Software Metrics

Fingerprint

Dive into the research topics of 'Impact of mutation operators on mutant equivalence'. Together they form a unique fingerprint.

Cite this