Upgrade to Pro — share decks privately, control downloads, hide ads and more …

MuCheck: An Extensible Tool for Mutation Testin...

Avatar for Mohammad (Amin) Alipour Mohammad (Amin) Alipour
June 15, 2014
Research
180
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
「AIとWhyを深堀る」をAIと深堀る
Avatar for なつ iflection
0
380
生成AI による論文執筆サポート・ワークショップ 論文執筆・推敲編 / Generative AI-Assisted Paper Writing Support Workshop: Drafting and Revision Edition
Avatar for Kenji Saito ks91
PRO
0
200
2026 東京科学大 情報通信系 研究室紹介 (すずかけ台)
Avatar for Tokyo Tech ICT Dept. icttitech
0
3.3k
台湾モデルに学ぶ詐欺広告対策：市民参加の必要性
Avatar for DD2030 dd2030
0
320
業界横断 副業コンプライアンス調査 三者（副業者・本業先・発注者）におけるトラブル認知ギャップの構造分析
Avatar for fkske fkske
0
1.3k
Can We Teach Logical Reasoning to LLMs? – An Approach Using Synthetic Corpora (AAAI 2026 bridge keynote)
Avatar for もりし morishtr
1
230
ローテーション別のサイドアウト戦略 ~なぜあのローテは回らないのか？~
Avatar for ぱんだ vball_panda
0
330
LOSの検討（λ Kansai 2026 in Winter）
Avatar for Motohiro Yakura motopu
0
120
Unified Audio Source Separation (Defense Slides)
Avatar for Kohei Saijo kohei_1979
1
600
第66回コンピュータビジョン勉強会＠関東 Epona: Autoregressive Diffusion World Model for Autonomous Driving
Avatar for Kento Sasaki kentosasaki
0
600
定数整数除算・剰余算最適化再考
Avatar for herumi herumi
1
110
CyberAgent AI Lab研修 / Social Implementation Anti-Patterns in AI Lab
Avatar for chck chck
6
4.4k

Featured

See All Featured
CoffeeScript is Beautiful & I Never Want to Write Plain JavaScript Again
Avatar for Sam Stephenson sstephenson
162
16k
Typedesign – Prime Four
Avatar for Hannes Fritz hannesfritz
42
3k
Mozcon NYC 2025: Stop Losing SEO Traffic
Avatar for Sam Torres samtorres
0
230
XXLCSS - How to scale CSS and keep your sanity
Avatar for Zaharenia Atzitzikaki sugarenia
250
1.3M
How to audit for AI Accessibility on your Front & Back End
Avatar for davetheseo davetheseo
0
370
How to train your dragon (web standard)
Avatar for Monica Dinculescu notwaldorf
97
6.6k
The browser strikes back
Avatar for Jono Alderson jonoalderson
0
1.1k
How to Get Subject Matter Experts Bought In and Actively Contributing to SEO & PR Initiatives.
Avatar for Liv Day livdayseo
0
120
10 Git Anti Patterns You Should be Aware of
Avatar for Lemi Orhan Ergin lemiorhan
PRO
659
62k
The Hidden Cost of Media on the Web [PixelPalooza 2025]
Avatar for Tammy Everts tammyeverts
2
300
The Pragmatic Product Professional
Avatar for Laura Van Doore lauravandoore
37
7.3k
Un-Boring Meetings
Avatar for Sebastian Deterding codingconduct
0
290

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