Estimating the number of equivalent mutants

Amani Ayad, Imen Marsit, Jimeng Loh, Mohamed Nazih Omri, Ali Mili

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

2 Scopus citations

Abstract

Equivalent mutants are a constant source of aggravation in mutation testing because they distort mutation-based analysis; but the identification of equivalent mutants is known to be undecidable, in addition to being (in practice) tedious and error-prone. We argue that for most applications it is not necessary to individually identify equivalent mutants; rather it suffices to know/ estimate their number. In this paper, we discuss the specification and design of an automated tool that estimates the number of equivalent mutants generated from a base program by analyzing the source code of the program as well as the mutant generation policy.

Original languageEnglish (US)
Title of host publicationProceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages112-121
Number of pages10
ISBN (Electronic)9781728108889
DOIs
StatePublished - Apr 2019
Event12th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019 - Xi'an, China
Duration: Apr 22 2019Apr 27 2019

Publication series

NameProceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019

Conference

Conference12th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019
Country/TerritoryChina
CityXi'an
Period4/22/194/27/19

All Science Journal Classification (ASJC) codes

  • Software
  • Safety, Risk, Reliability and Quality

Keywords

  • Equivalent mutants
  • Mutant generators
  • Mutation testing
  • Redundancy metrics
  • Software tool

Fingerprint

Dive into the research topics of 'Estimating the number of equivalent mutants'. Together they form a unique fingerprint.

Cite this