MuCheck: An extensible tool for mutation testing of haskell programs

Duc Le, Mohammad Amin Alipour, Rahul Gopinath, Alex Groce

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

20 Scopus citations

Abstract

This paper presents MuCheck, a mutation testing tool for Haskell programs. MuCheck is a counterpart to the widely used QuickCheck random testing tool for functional programs, and can be used to evaluate the efficacy of QuickCheck property definitions. The tool implements mutation operators that are specifically designed for functional programs, and makes use of the type system of Haskell to achieve a more relevant set of mutants than otherwise possible. Mutation coverage is particularly valuable for functional programs due to highly compact code, referential transparency, and clean semantics; these make augmenting a test suite or specification based on surviving mutants a practical method for improved testing.

Original languageEnglish (US)
Title of host publication2014 International Symposium on Software Testing and Analysis, ISSTA 2014 - Proceedings
PublisherAssociation for Computing Machinery, Inc
Pages429-432
Number of pages4
ISBN (Electronic)9781450326452
DOIs
StatePublished - Jul 21 2014
Externally publishedYes
Event23rd International Symposium on Software Testing and Analysis, ISSTA 2014 - San Jose, United States
Duration: Jul 21 2014Jul 25 2014

Publication series

Name2014 International Symposium on Software Testing and Analysis, ISSTA 2014 - Proceedings

Conference

Conference23rd International Symposium on Software Testing and Analysis, ISSTA 2014
Country/TerritoryUnited States
CitySan Jose
Period7/21/147/25/14

Keywords

  • Functional programming languages
  • Haskell
  • Mutatation testing
  • Mutation operators

ASJC Scopus subject areas

  • Software

Fingerprint

Dive into the research topics of 'MuCheck: An extensible tool for mutation testing of haskell programs'. Together they form a unique fingerprint.

Cite this