Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
MuCheck: An Extensible Tool for Mutation Testing of Haskell Programs
Search
Mohammad (Amin) Alipour
June 15, 2014
Research
1
120
MuCheck: An Extensible Tool for Mutation Testing of Haskell Programs
MuCheck: An Extensible Tool for Mutation Testing of Haskell Programs
ISSTA 2014
Mohammad (Amin) Alipour
June 15, 2014
Tweet
Share
Other Decks in Research
See All in Research
「人間にAIはどのように辿り着けばよいのか?ー 系統的汎化からの第一歩 ー」@第22回 Language and Robotics研究会
maguro27
0
410
第60回名古屋CV・PRML勉強会:CVPR2024論文紹介(AM-RADIO)
naok615
0
120
SSII2024 [OS1] 画像生成技術の発展: 過去10年の軌跡と未来への展望
ssii
PRO
3
1.5k
機械学習と数理最適化の融合-文脈付き確率的最短路を例として-
mickey_kubo
2
670
アジャイルコミュニティが、宗教ポイと云われるのは何故なのか?
fujiihideo
0
260
SSII2024 [OS1] 研究紹介100連発(オープンニング)
ssii
PRO
0
420
自然言語とVision&Language
kuehara
19
4.4k
JMED-LLM: 日本語医療LLM評価データセットの公開
fta98
1
360
継続的な研究費獲得のための考え方
moda0
2
540
機械学習を用いたポケモン対戦選出予測
fufufukakaka
1
560
出生抑制策と少子化
morimasao16
0
280
CARA MEMBUKA VIDEO DEWASA DI INDONESIA
bloglangit
0
320
Featured
See All Featured
ピンチをチャンスに:未来をつくるプロダクトロードマップ #pmconf2020
aki_iinuma
90
47k
Distributed Sagas: A Protocol for Coordinating Microservices
caitiem20
325
21k
Imperfection Machines: The Place of Print at Facebook
scottboms
262
13k
Optimizing for Happiness
mojombo
373
69k
YesSQL, Process and Tooling at Scale
rocio
166
14k
Into the Great Unknown - MozCon
thekraken
20
1.3k
Stop Working from a Prison Cell
hatefulcrawdad
266
20k
Rails Girls Zürich Keynote
gr2m
93
13k
Learning to Love Humans: Emotional Interface Design
aarron
269
39k
Building a Modern Day E-commerce SEO Strategy
aleyda
25
6.7k
How GitHub Uses GitHub to Build GitHub
holman
471
290k
Design and Strategy: How to Deal with People Who Don’t "Get" Design
morganepeng
121
18k
Transcript
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
Increasing Popularity of Functional Programming Languages in Industry 2
Functional Language Idioms in Traditional Languages 3 Pattern Matching Higher
Order Functions Lambda Expressions
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