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
1
150

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
Tweet

Other Decks in Research

See All in Research
SatCLIP: Global, General-Purpose Location Embeddings with Satellite Imagery
Avatar for SatAI.challenge satai
3
200
SSII2025 [TS3] 医工連携における画像情報学研究
Avatar for 画像センシングシンポジウム ssii
PRO
2
1.1k
チャッドローン：LLMによる画像認識を用いた自律型ドローンシステムの開発と実験 / ec75-morisaki
Avatar for yumulab yumulab
1
380
2025年度人工知能学会全国大会チュートリアル講演「深層基盤モデルの数理」
Avatar for Taiji Suzuki taiji_suzuki
23
12k
Collaborative Development of Foundation Models at Japanese Academia
Avatar for Yusuke Oda odashi
2
560
公立高校入試等に対する受入保留アルゴリズム（DA）導入の提言
Avatar for Shunya Noda shunyanoda
0
5.3k
CHaserWeb:ブラウザ上で動作する対戦型プログラミング学習環境の提案と評価 / i2025-inoue
Avatar for yumulab yumulab
0
190
Large Language Model Agent: A Survey on Methodology, Applications and Challenges
Avatar for Shunsuke KITADA shunk031
11
7.6k
数理最適化と機械学習の融合
Avatar for MIKIO KUBO mickey_kubo
15
8.6k
ことばの意味を計算するしくみ
Avatar for Hitomi Yanaka verypluming
11
2.6k
生成的推薦の人気バイアスの分析：暗記の観点から / JSAI2025
Avatar for Shotaro Ishihara upura
0
150
学生向けアンケート＜データサイエンティストについて＞
Avatar for The Japan DataScientist Society datascientistsociety
PRO
0
2.4k

Featured

See All Featured
Large-scale JavaScript Application Architecture
Avatar for Addy Osmani addyosmani
512
110k
Creating an realtime collaboration tool: Agile Flush - .NET Oxford
Avatar for Marc Duiker marcduiker
30
2.1k
For a Future-Friendly Web
Avatar for Brad Frost brad_frost
179
9.8k
Automating Front-end Workflow
Avatar for Addy Osmani addyosmani
1370
200k
Optimizing for Happiness
Avatar for Tom Preston-Werner mojombo
379
70k
VelocityConf: Rendering Performance Case Studies
Avatar for Addy Osmani addyosmani
329
24k
BBQ
Avatar for Matthew Crist matthewcrist
89
9.7k
Build your cross-platform service in a week with App Engine
Avatar for Jose L jlugia
231
18k
ReactJS: Keep Simple. Everything can be a component!
Avatar for Pedro Nauck pedronauck
667
120k
jQuery: Nuts, Bolts and Bling
Avatar for Doug Neiner dougneiner
63
7.8k
The Success of Rails: Ensuring Growth for the Next 100 Years
Avatar for Eileen M. Uchitelle eileencodes
45
7.3k
Chrome DevTools: State of the Union 2024 - Debugging React & Beyond
Avatar for Addy Osmani addyosmani
6
680

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