MuCheck: an extensible tool for mutation testing of haskell programs
Testing Programs with the Aid of a Compiler