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
If You Can't Kill a Supermutant, You Have a Pr...
Search
Rahul Gopinath
April 09, 2018
Research
0
260
If You Can't Kill a Supermutant, You Have a Problem
Mutation Workshop 2018
Rahul Gopinath
April 09, 2018
Tweet
Share
More Decks by Rahul Gopinath
See All by Rahul Gopinath
Look Ma No Hands! Testing Software Without Specifications
rahulgopinath
0
40
How to Talk to Strange Programs and Find Bugs
rahulgopinath
0
70
Dancing to an Unknown Music: Grammar Inferrence with Prefix Queries
rahulgopinath
0
56
Systematic Assessment of Fuzzers using Mutation Analysis
rahulgopinath
0
130
Building Blocks for Fuzzing
rahulgopinath
0
170
"Synthesizing Input Grammars" A Replication Study
rahulgopinath
0
210
CLIFuzzer: Mining Grammars for Command-Line Invocations
rahulgopinath
0
110
Learning And Refining Input Grammars For Effective Fuzzing
rahulgopinath
0
170
Input Languages for Effective and Focused Fuzzing
rahulgopinath
0
190
Other Decks in Research
See All in Research
多様かつ継続的に変化する環境に適応する情報システム/thesis-defense-presentation
monochromegane
1
110
Introducing Research Units of Matsuo-Iwasawa Laboratory
matsuolab
0
210
WikipediaやYouTubeにおける論文参照 / joss2024
corgies
1
250
SSII2024 [OS3] 基盤モデル(オープニング)
ssii
PRO
0
320
Physics of Language Models: Part 3.1, Knowledge Storage and Extraction
sosk
1
840
ニューラルネットワークの損失地形
joisino
PRO
26
11k
SSII2024 [OS2] 大規模言語モデルとVision & Languageのこれから
ssii
PRO
5
1.4k
論文読み会 SNLP2024 Instruction-tuned Language Models are Better Knowledge Learners. In: ACL 2024
s_mizuki_nlp
1
290
[2024.08.30] Gemma-Ko, 오픈 언어모델에 한국어 입히기 @ 머신러닝부트캠프2024
beomi
0
520
SSII2024 [OS2] 画像、その先へ 〜モーション解析への誘い〜
ssii
PRO
1
1.2k
Weekly AI Agents News! 6月号 論文のアーカイブ
masatoto
1
150
20240725異文化融合研究セミナーiSeminar
tadook
0
130
Featured
See All Featured
Bootstrapping a Software Product
garrettdimon
PRO
304
110k
The Cult of Friendly URLs
andyhume
76
6k
The Success of Rails: Ensuring Growth for the Next 100 Years
eileencodes
41
6.5k
Creating an realtime collaboration tool: Agile Flush - .NET Oxford
marcduiker
23
1.7k
The Art of Programming - Codeland 2020
erikaheidi
48
13k
Making Projects Easy
brettharned
114
5.8k
Responsive Adventures: Dirty Tricks From The Dark Corners of Front-End
smashingmag
248
20k
The Illustrated Children's Guide to Kubernetes
chrisshort
47
48k
The Straight Up "How To Draw Better" Workshop
denniskardys
230
130k
In The Pink: A Labor of Love
frogandcode
139
22k
jQuery: Nuts, Bolts and Bling
dougneiner
61
7.4k
Pencils Down: Stop Designing & Start Developing
hursman
119
11k
Transcript
9. April 2018 Rahul Gopinath, Björn Mathis and Andreas Zeller
If You Can't Kill a Supermutant You Have a Problem 1
Mutant Kill Matrix 2
Mutant Kill Matrix 2
Mutant Kill Matrix 2
Mutant Kill Matrix 2
Mutant Kill Matrix 2
Mutant Kill Matrix 2
Mutant Kill Matrix 2
Mutant Kill Matrix 2
Mutant Kill Matrix 2 Enormous Amount of Test Executions
Supermutants - Coverage Adequate Test Suite 3
Supermutants - Coverage Adequate Test Suite 0 % 25 %
50 % 75 % 100 % Full Suite (7 Tests) Coverage Adequate 0 % 25 % 50 % 75 % 100 % Full Suite (7 Tests) Coverage Adequate 3
Supermutants - Coverage Adequate Test Suite 0 Coverage Adequate Tests
0 % 25 % 50 % 75 % 100 % Full Suite (7 Tests) Coverage Adequate 0 % 93 % 0 Coverage Adequate Tests 0 % 25 % 50 % 75 % 100 % Full Suite (7 Tests) Coverage Adequate 0 % 93 % 3
Supermutants - Coverage Adequate Test Suite 1 Coverage Adequate Test
0 % 25 % 50 % 75 % 100 % Full Suite (7 Tests) Coverage Adequate 70 % 93 % 1 Coverage Adequate Test 0 % 25 % 50 % 75 % 100 % Full Suite (7 Tests) Coverage Adequate 70 % 93 % 3
Supermutants - Coverage Adequate Test Suite 2 Coverage Adequate Tests
0 % 25 % 50 % 75 % 100 % Full Suite (7 Tests) Coverage Adequate 93 % 93 % 2 Coverage Adequate Tests 0 % 25 % 50 % 75 % 100 % Full Suite (7 Tests) Coverage Adequate 93 % 93 % 3
Supermutants - Coverage Adequate Test Suite 4
Supermutants - Coverage Adequate Test Suite 4
Supermutants - Coverage Adequate Test Suite 4
Supermutants - Coverage Adequate Test Suite 4
Supermutant Execution 5
Supermutant Execution 5 7 Tests
Supermutant Execution 5 7 Tests
Supermutant Execution 5 7 Tests
Supermutant Execution 5 7 Tests
Supermutant Execution 5 3 Tests 3 Tests 7 Tests
Supermutant Execution 5 3 Tests 3 Tests 7 Tests
Supermutant Execution 5 3 Tests 3 Tests 7 Tests
Supermutant Execution 5 3 Tests 3 Tests 7 Tests
Supermutant Execution 5 3 Tests 3 Tests 3 Tests 3
Tests 7 Tests
Supermutant Execution 5 3 Tests 3 Tests 3 Tests 3
Tests 7 Tests
Supermutant Execution 5 3 Tests 3 Tests 3 Tests 3
Tests 7 Tests
Supermutant Execution 5 3 Tests 3 Tests 3 Tests 3
Tests 1 Test 1 Test 7 Tests
Supermutant Execution 5 3 Tests 3 Tests 3 Tests 3
Tests 1 Test 1 Test 7 Tests
Supermutant Execution 5 3 Tests 3 Tests 3 Tests 3
Tests 1 Test 1 Test 7 Tests 34 vs 42 Test Executions
Supermutants - Mutant Kill Matrix 6 7 Tests 3 Tests
3 Tests 3 Tests 3 Tests 1 Test 1 Test
Supermutants - Mutant Kill Matrix 6 Test 1 Test 2
Test 3 Test 4 Test 5 Test 6 Test 7 7 Tests 3 Tests 3 Tests 3 Tests 3 Tests 1 Test 1 Test
Supermutants - Mutant Kill Matrix 6 Test 1 Test 2
Test 3 Test 4 Test 5 Test 6 Test 7 ✕ ✕ ✕ ✕ ✕ ✕ ✕ 7 Tests 3 Tests 3 Tests 3 Tests 3 Tests 1 Test 1 Test
Supermutants - Mutant Kill Matrix 6 Test 1 Test 2
Test 3 Test 4 Test 5 Test 6 Test 7 ✕ ✕ ✕ ✕ ✕ ✕ ✕ ✓ ✕ ✕ ✕ ✕ ✕ ✕ 7 Tests 3 Tests 3 Tests 3 Tests 3 Tests 1 Test 1 Test
Supermutants - Mutant Kill Matrix 6 Test 1 Test 2
Test 3 Test 4 Test 5 Test 6 Test 7 ✕ ✕ ✕ ✕ ✕ ✕ ✕ ✓ ✕ ✕ ✕ ✕ ✕ ✕ ✕ ✕ ✓ ✕ ✕ ✓ ✕ ✕ ✕ ✕ ✕ ✕ ✕ ✕ ✕ ✕ ✓ ✓ ✓ ✓ ✓ ✕ ✕ ✕ ✕ ✕ ✕ ✕ 7 Tests 3 Tests 3 Tests 3 Tests 3 Tests 1 Test 1 Test
Supermutants - Mutant Kill Matrix 6 Test 1 Test 2
Test 3 Test 4 Test 5 Test 6 Test 7 ✕ ✕ ✕ ✕ ✕ ✕ ✕ ✓ ✕ ✕ ✕ ✕ ✕ ✕ ✕ ✕ ✓ ✕ ✕ ✓ ✕ ✕ ✕ ✕ ✕ ✕ ✕ ✕ ✕ ✕ ✓ ✓ ✓ ✓ ✓ ✕ ✕ ✕ ✕ ✕ ✕ ✕ 7 Tests 3 Tests 3 Tests 3 Tests 3 Tests 1 Test 1 Test
Case Study - Urlparse 7
Case Study - Urlparse 7 0 exec. 10000 exec. 20000
exec. 30000 exec. 40000 exec. Full Matrix Strong Testsuite Weak Testsuite
Case Study - Urlparse 7 0 exec. 10000 exec. 20000
exec. 30000 exec. 40000 exec. Full Matrix Strong Testsuite Weak Testsuite 32,000
Case Study - Urlparse 7 0 exec. 10000 exec. 20000
exec. 30000 exec. 40000 exec. Full Matrix Strong Testsuite Weak Testsuite 13,009 32,000
Case Study - Urlparse 7 0 exec. 10000 exec. 20000
exec. 30000 exec. 40000 exec. Full Matrix Strong Testsuite Weak Testsuite 9,037 13,009 32,000
Case Study - Urlparse 7 0 exec. 10000 exec. 20000
exec. 30000 exec. 40000 exec. Full Matrix Strong Testsuite Weak Testsuite 9,037 13,009 32,000 Over 70% of Test Executions Are Saved
When Are Supermutants Super? 8
When Are Supermutants Super? 8 Many and Weak Tests
When Are Supermutants Super? 8 Many and Weak Tests Stubborn
Mutants
When Are Supermutants Super? 8 Many and Weak Tests Stubborn
Mutants No Fault Masking
When Are Supermutants Super? 8 Many and Weak Tests Stubborn
Mutants No Fault Masking Automatically Generated Test Suites Can Be Efficiently Analyzed
9 Summary
9 Summary
9 Summary
9 Summary
9 Summary