TY - GEN
T1 - MuCheck
T2 - 23rd International Symposium on Software Testing and Analysis, ISSTA 2014
AU - Le, Duc
AU - Alipour, Mohammad Amin
AU - Gopinath, Rahul
AU - Groce, Alex
N1 - Publisher Copyright:
Copyright 2014 ACM.
PY - 2014/7/21
Y1 - 2014/7/21
N2 - 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.
AB - 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.
KW - Functional programming languages
KW - Haskell
KW - Mutatation testing
KW - Mutation operators
UR - http://www.scopus.com/inward/record.url?scp=84942784104&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84942784104&partnerID=8YFLogxK
U2 - 10.1145/2610384.2628052
DO - 10.1145/2610384.2628052
M3 - Conference contribution
AN - SCOPUS:84942784104
T3 - 2014 International Symposium on Software Testing and Analysis, ISSTA 2014 - Proceedings
SP - 429
EP - 432
BT - 2014 International Symposium on Software Testing and Analysis, ISSTA 2014 - Proceedings
PB - Association for Computing Machinery, Inc
Y2 - 21 July 2014 through 25 July 2014
ER -