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
Akamaiのキャッシュ効率を支えるAdaptSizeについての論文を読んでみた
Avatar for bootjp / ぶーと bootjp
1
510
「車1割削減、渋滞半減、公共交通2倍」を 熊本から岡山へ＠RACDA設立30周年記念都市交通フォーラム2026
Avatar for Traffic Brain trafficbrain
1
750
AIスパコン「さくらONE」の
オブザーバビリティ / Observability for AI Supercomputer SAKURAONE
Avatar for Yuuki Tsubouchi (yuuk1) yuukit
2
1.3k
A History of Approximate Nearest Neighbor Search from an Applications Perspective
Avatar for Yusuke Matsui matsui_528
1
200
その推薦システムの評価指標、ユーザーの感覚とズレてるかも
Avatar for kuri8ive kuri8ive
1
350
Any-Optical-Model: A Universal Foundation Model for Optical Remote Sensing
Avatar for SatAI.challenge satai
3
200
Aurora Serverless からAurora Serverless v2への課題と知見を論文から読み解く/Understanding the challenges and insights of moving from Aurora Serverless to Aurora Serverless v2 from a paper
Avatar for bootjp / ぶーと bootjp
6
1.5k
R&Dチームを起ち上げる
Avatar for shibuiwilliam shibuiwilliam
1
200
生成的情報検索時代におけるAI利用と認知バイアス
Avatar for Y. Yamamoto trycycle
PRO
0
390
明日から使える！研究効率化ツール入門
Avatar for Yusuke Matsui matsui_528
9
4.7k
姫路市 -都市OSの「再実装」-
Avatar for Hopin hopin
0
1.7k
20年前に50代だった人たちの今
Avatar for marimari hysmrk
0
170

Featured

See All Featured
Darren the Foodie - Storyboard
Avatar for Kevinho.art khoart
PRO
3
2.9k
Navigating the moral maze — ethical principles for Al-driven product design
Avatar for Skipper Chong Warson skipperchong
2
290
Agile Actions for Facilitating Distributed Teams - ADO2019
Avatar for Mark Kilby mkilby
0
150
BBQ
Avatar for Matthew Crist matthewcrist
89
10k
Mobile First: as difficult as doing things right
Avatar for Swwweet swwweet
225
10k
Lightning Talk: Beautiful Slides for Beginners
Avatar for Ines Montani inesmontani
PRO
1
480
Automating Front-end Workflow
Avatar for Addy Osmani addyosmani
1370
200k
Art, The Web, and Tiny UX
Avatar for Lynn Fisher lynnandtonic
304
21k
Making Projects Easy
Avatar for Brett Harned brettharned
120
6.6k
Product Roadmaps are Hard
Avatar for C. Todd Lombardo iamctodd
PRO
55
12k
Building Applications with DynamoDB
Avatar for Matt Wood mza
96
7k
So, you think you're a good person
Avatar for Per Axbom axbom
PRO
2
2k

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