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
170

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
2025年度人工知能学会全国大会チュートリアル講演「深層基盤モデルの数理」
Avatar for Taiji Suzuki taiji_suzuki
26
19k
音声感情認識技術の進展と展望
Avatar for Ryotaro Nagase nagase
0
280
単施設でできる臨床研究の考え方
Avatar for Shuntaro Sato shuntaros
0
3k
[論文紹介] Intuitive Fine-Tuning
Avatar for Ryokan RI ryou0634
0
130
大学見本市2025 JSTさきがけ事業セミナー「顔の見えないセンシング技術：多様なセンサにもとづく個人情報に配慮した人物状態推定」
Avatar for Mariko Isogawa miso2024
0
170
説明可能な機械学習と数理最適化
Avatar for kelicht kelicht
0
190
日本語新聞記事を用いた大規模言語モデルの暗記定量化 / LLMC2025
Avatar for Shotaro Ishihara upura
0
250
CVPR2025論文紹介：Unboxed
Avatar for 村川卓也 murakawatakuya
0
180
超高速データサイエンス
Avatar for Yusuke Matsui matsui_528
1
150
Remote sensing × Multi-modal meta survey
Avatar for SatAI.challenge satai
4
500
引力・斥力を制御可能なランダム部分集合の確率分布
Avatar for Takahiro Kawashima wasyro
0
260
【輪講資料】Moshi: a speech-text foundation model
for real-time dialogue
Avatar for Hayato Tsukagoshi hpprc
3
760

Featured

See All Featured
Fireside Chat
Avatar for paigeccino paigeccino
40
3.7k
The Cost Of JavaScript in 2023
Avatar for Addy Osmani addyosmani
55
9k
Six Lessons from altMBA
Avatar for Skipper Chong Warson skipperchong
29
4k
How to Ace a Technical Interview
Avatar for Jacob Kaplan-Moss jacobian
280
24k
Connecting the Dots Between Site Speed, User Experience & Your Business [WebExpo 2025]
Avatar for Tammy Everts tammyeverts
10
600
JavaScript: Past, Present, and Future - NDC Porto 2020
Avatar for David Neal reverentgeek
52
5.6k
The Cult of Friendly URLs
Avatar for Andy Hume andyhume
79
6.6k
Rails Girls Zürich Keynote
Avatar for Gregor Martynus gr2m
95
14k
Improving Core Web Vitals using Speculation Rules API
Avatar for Sergey Chernyshev sergeychernyshev
21
1.2k
Stop Working from a Prison Cell
Avatar for Chris Michel hatefulcrawdad
271
21k
jQuery: Nuts, Bolts and Bling
Avatar for Doug Neiner dougneiner
65
7.9k
Principles of Awesome APIs and How to Build Them.
Avatar for Keavy McMinn keavy
127
17k

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