Upgrade to Pro — share decks privately, control downloads, hide ads and more …
Sign up for free

MuCheck: An Extensible Tool for Mutation Testin...

Avatar for Mohammad (Amin) Alipour Mohammad (Amin) Alipour
June 15, 2014
Research
200
1

MuCheck: An Extensible Tool for Mutation Testing of Haskell Programs

MuCheck: An Extensible Tool for Mutation Testing of Haskell Programs
ISSTA 2014

Avatar for Mohammad (Amin) Alipour

Mohammad (Amin) Alipour

June 15, 2014

Other Decks in Research

See All in Research
山中市政が招いた組織崩壊：よこはま安心ボックスを例に
Avatar for sishi sishi
0
370
SPACE 2026 - Renforcer l’attractivité des métiers des productions animales dans les établissements d'enseignement agricole
Avatar for Idele institutdelelevage
PRO
0
110
La génomique au service de la fromageabilité du lait grâce aux spectres MIR
Avatar for Idele institutdelelevage
PRO
0
210
GeoAgent勉強会 論文紹介と強い推論モデルが与えるインパクト
Avatar for SatAI.challenge satai
5
440
【中間報告】国会議員の立法・政策実務を支える環境を巡る現状と課題
Avatar for 株式会社PoliPoli/PoliPoli.Inc polipoli
0
860
Adapter les bergeries aux fortes chaleurs
Avatar for Idele institutdelelevage
PRO
0
160
Volatilité des marchés et sécheresse historique, l’élevage bovin viande sous contraintes en 2026
Avatar for Idele institutdelelevage
PRO
0
190
論文紹介: Understanding Epistemic Language with a Language-augmented Bayesian Theory of Mind
Avatar for Hisao Katsumi hisaokatsumi
0
200
山中市政の総括：相反する二つの顔
Avatar for sishi sishi
0
230
HackSick vol.7 LT資料【LLMアーキテクチャ入門・事前学習時の躓き所解説】 スパースなAttention・状態空間モデル
Avatar for Rikka Botan rikkabotan7
0
230
Hitting the buffers
Avatar for Emma beale
0
370
Local Development Companies Network - National Conference 2026
Avatar for Local Development Companies Network ldcn
0
150

Featured

See All Featured
Building a Modern Day 
E-commerce SEO Strategy
Avatar for Aleyda Solis aleyda
45
9.3k
Typedesign – Prime Four
Avatar for Hannes Fritz hannesfritz
42
3.2k
Introduction to Domain-Driven Design and Collaborative software design
Avatar for Kenny Baas-Schwegler baasie
1
1.1k
StorybookのUI Testing Handbookを読んだ
Avatar for Shingo Yamazaki zakiyama
31
7k
WENDY [Excerpt]
Avatar for Tessa Abrams tessaabrams
14
40k
ラッコキーワード サービス紹介資料
Avatar for ラッコ株式会社 rakko
5
5.6M
How to Build an AI Search Optimization Roadmap - Criteria and Steps to Take #SEOIRL
Avatar for Aleyda Solis aleyda
1
2.2k
How To Speak Unicorn (iThemes Webinar)
Avatar for Michelle Schulp Hunt marktimemedia
1
620
Are puppies a ranking factor?
Avatar for Jono Alderson jonoalderson
2
4.1k
Pawsitive SEO: Lessons from My Dog (and Many Mistakes) on Thriving as a Consultant in the Age of AI
Avatar for David Carrasco davidcarrasco
0
290
Max Prin - Stacking Signals: How International SEO Comes Together (And Falls Apart)
Avatar for Tech SEO Connect techseoconnect
PRO
0
510
Applied NLP in the Age of Generative AI
Avatar for Ines Montani inesmontani
PRO
4
2.5k

Transcript

  1. MuCheck: An Extensible Tool for Mutation Testing of Haskell Programs

    Amin Alipour Oregon State University In Collaboration with Duc Le, Rahul Gopinath and Alex Groce

  2. Increasing Popularity of Functional Programming Languages in Industry 2

  3. Functional Language Idioms in Traditional Languages 3 Pattern Matching Higher

    Order Functions Lambda Expressions

  4. Configuration Mutation Testing •First/Higher Order Mutations •Mutation Operators to Use

    •Customizing Existing Operators •Introducing new Operators •QuickCheck Properties •Hunit Test Cases https://bitbucket.org/osu-testing/mucheck.git MuCheck: Mutation Tool for Haskell Programs