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
Language Models Are Implicitly Continuous
Avatar for Sho Yokoi eumesy
PRO
0
370
自動運転におけるデータ駆動型AIに対する安全性の考え方 / Safety Engineering for Data-Driven AI in Autonomous Driving Systems
Avatar for Fuyuki Ishikawa / 石川 冬樹 ishikawafyu
0
120
Self-Hosted WebAssembly Runtime for Runtime-Neutral Checkpoint/Restore in Edge–Cloud Continuum
Avatar for Yuki Nakata chikuwait chikuwait
0
280
Agentic AI フレームワーク戦略白書 (2025年度版）
Avatar for MIKIO KUBO mickey_kubo
1
110
それ、チームの改善になってますか？ー「チームとは？」から始めた組織の実験ー
Avatar for hirakawa hirakawa51
0
260
ドメイン知識がない領域での自然言語処理の始め方
Avatar for Hayahide Yamagishi hargon24
1
230
音声感情認識技術の進展と展望
Avatar for Ryotaro Nagase nagase
0
440
LLM-Assisted Semantic Guidance for Sparsely Annotated Remote Sensing Object Detection
Avatar for SatAI.challenge satai
3
310
大規模言語モデルにおけるData-Centric AIと合成データの活用 / Data-Centric AI and Synthetic Data in Large Language Models
Avatar for tsurubee tsurubee
1
470
SREのためのテレメトリー技術の探究 / Telemetry for SRE
Avatar for Yuuki Tsubouchi (yuuk1) yuukit
13
2.8k
生成AI による論文執筆サポート・ワークショップ ─ サーベイ／リサーチクエスチョン編 / Workshop on AI-Assisted Paper Writing Support: Survey/Research Question Edition
Avatar for Kenji Saito ks91
PRO
0
130
Remote sensing × Multi-modal meta survey
Avatar for SatAI.challenge satai
4
670

Featured

See All Featured
Bash Introduction
Avatar for André Augusto Costa Santos 62gerente
615
210k
Practical Orchestrator
Avatar for Shlomi Noach shlominoach
190
11k
How to Talk to Developers About Accessibility
Avatar for Jason CranfordTeague jct
1
97
How STYLIGHT went responsive
Avatar for nonsquared nonsquared
100
6k
Believing is Seeing
Avatar for Spiro Bolos oripsolob
1
27
What the history of the web can teach us about the future of AI
Avatar for Ines Montani inesmontani
PRO
0
390
Embracing the Ebb and Flow
Avatar for Simon Collison colly
88
4.9k
世界の人気アプリ100個を分析して見えたペイウォール設計の心得
Avatar for Akihiro Kokubo akihiro_kokubo
PRO
65
35k
State of Search Keynote: SEO is Dead Long Live SEO
Avatar for Ryan Jones ryanjones
0
83
AI Search: Implications for SEO and How to Move Forward - #ShenzhenSEOConference
Avatar for Aleyda Solis aleyda
1
1.1k
Ecommerce SEO: The Keys for Success Now & Beyond - #SERPConf2024
Avatar for Aleyda Solis aleyda
1
1.8k
[Rails World 2023 - Day 1 Closing Keynote] - The Magic of Rails
Avatar for Eileen M. Uchitelle eileencodes
38
2.7k

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