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

1 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
CountryChina
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