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 Testin...
Search
Mohammad (Amin) Alipour
June 15, 2014
Research
1
130
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
Weekly AI Agents News! 10月号 論文のアーカイブ
masatoto
1
260
[CV勉強会@関東 CVPR2024] Visual Layout Composer: Image-Vector Dual Diffusion Model for Design Layout Generation / kantocv 61th CVPR 2024
shunk031
1
460
新規のC言語処理系を実装することによる 組込みシステム研究にもたらす価値 についての考察
zacky1972
0
140
Large Vision Language Model (LVLM) に関する最新知見まとめ (Part 1)
onely7
21
3.6k
文化が形作る音楽推薦の消費と、その逆
kuri8ive
0
160
医療支援AI開発における臨床と情報学の連携を円滑に進めるために
moda0
0
110
Embers of Autoregression: Understanding Large Language Models Through the Problem They are Trained to Solve
eumesy
PRO
7
1.2k
Tietovuoto Social Design Agency (SDA) -trollitehtaasta
hponka
0
2.5k
文書画像のデータ化における VLM活用 / Use of VLM in document image data conversion
sansan_randd
2
200
Matching 2D Images in 3D: Metric Relative Pose from Metric Correspondences
sgk
1
320
Physics of Language Models: Part 3.1, Knowledge Storage and Extraction
sosk
1
950
2024/10/30 産総研AIセミナー発表資料
keisuke198619
1
330
Featured
See All Featured
Statistics for Hackers
jakevdp
796
220k
Optimizing for Happiness
mojombo
376
70k
Embracing the Ebb and Flow
colly
84
4.5k
Rebuilding a faster, lazier Slack
samanthasiow
79
8.7k
How GitHub (no longer) Works
holman
310
140k
Typedesign – Prime Four
hannesfritz
40
2.4k
Rails Girls Zürich Keynote
gr2m
94
13k
5 minutes of I Can Smell Your CMS
philhawksworth
202
19k
What's new in Ruby 2.0
geeforr
343
31k
Responsive Adventures: Dirty Tricks From The Dark Corners of Front-End
smashingmag
250
21k
Building Adaptive Systems
keathley
38
2.3k
実際に使うSQLの書き方 徹底解説 / pgcon21j-tutorial
soudai
169
50k
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