docs/notebooks/00_Sitemap.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
 -->
<!-- Title: %3 Pages: 1 -->
<svg width="1709pt" height="548pt"
 viewBox="0.00 0.00 1708.50 548.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 544)">
<title>%3</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-544 1704.5,-544 1704.5,4 -4,4"/>
<!-- Fuzzer -->
<g id="node1" class="node">
<title>Fuzzer</title>
<g id="a_node1"><a xlink:href="Fuzzer.ipynb" xlink:title="Fuzzer">
<polygon fill="#ffffff" stroke="#000000" points="1149,-468 851,-468 851,-432 1155,-432 1155,-462 1149,-468"/>
<polyline fill="none" stroke="#000000" points="1149,-468 1149,-462 "/>
<polyline fill="none" stroke="#000000" points="1155,-462 1149,-462 "/>
<text text-anchor="middle" x="1003" y="-446.3" font-family="Patua One" font-size="14.00" fill="#b03a2e">Fuzzing: Breaking Things with Random Inputs</text>
</a>
</g>
</g>
<!-- Coverage -->
<g id="node2" class="node">
<title>Coverage</title>
<g id="a_node2"><a xlink:href="Coverage.ipynb" xlink:title="Coverage">
<polygon fill="#ffffff" stroke="#000000" points="1094.5,-324 993.5,-324 993.5,-288 1100.5,-288 1100.5,-318 1094.5,-324"/>
<polyline fill="none" stroke="#000000" points="1094.5,-324 1094.5,-318 "/>
<polyline fill="none" stroke="#000000" points="1100.5,-318 1094.5,-318 "/>
<text text-anchor="middle" x="1047" y="-302.3" font-family="Patua One" font-size="14.00" fill="#b03a2e">Code Coverage</text>
</a>
</g>
</g>
<!-- Fuzzer&#45;&gt;Coverage -->
<g id="edge1" class="edge">
<title>Fuzzer&#45;&gt;Coverage</title>
<path fill="none" stroke="#000000" d="M957.0514,-431.8539C941.8255,-423.3763 926.5872,-411.629 918,-396 910.2953,-381.9772 909.1358,-373.3201 918,-360 932.8432,-337.6954 958.8597,-324.5861 983.6587,-316.8892"/>
<polygon fill="#000000" stroke="#000000" points="984.7832,-320.2081 993.441,-314.1013 982.8646,-313.4762 984.7832,-320.2081"/>
</g>
<!-- SearchBasedFuzzer -->
<g id="node3" class="node">
<title>SearchBasedFuzzer</title>
<g id="a_node3"><a xlink:href="SearchBasedFuzzer.ipynb" xlink:title="SearchBasedFuzzer">
<polygon fill="#ffffff" stroke="#000000" points="1073,-396 927,-396 927,-360 1079,-360 1079,-390 1073,-396"/>
<polyline fill="none" stroke="#000000" points="1073,-396 1073,-390 "/>
<polyline fill="none" stroke="#000000" points="1079,-390 1073,-390 "/>
<text text-anchor="middle" x="1003" y="-374.3" font-family="Patua One" font-size="14.00" fill="#b03a2e">Search&#45;Based Fuzzing</text>
</a>
</g>
</g>
<!-- Fuzzer&#45;&gt;SearchBasedFuzzer -->
<g id="edge2" class="edge">
<title>Fuzzer&#45;&gt;SearchBasedFuzzer</title>
<path fill="none" stroke="#000000" d="M1003,-431.8314C1003,-424.131 1003,-414.9743 1003,-406.4166"/>
<polygon fill="#000000" stroke="#000000" points="1006.5001,-406.4132 1003,-396.4133 999.5001,-406.4133 1006.5001,-406.4132"/>
</g>
<!-- Grammars -->
<g id="node4" class="node">
<title>Grammars</title>
<g id="a_node4"><a xlink:href="Grammars.ipynb" xlink:title="Grammars">
<polygon fill="#ffffff" stroke="#000000" points="764.5,-396 605.5,-396 605.5,-360 770.5,-360 770.5,-390 764.5,-396"/>
<polyline fill="none" stroke="#000000" points="764.5,-396 764.5,-390 "/>
<polyline fill="none" stroke="#000000" points="770.5,-390 764.5,-390 "/>
<text text-anchor="middle" x="688" y="-374.3" font-family="Patua One" font-size="14.00" fill="#b03a2e">Fuzzing with Grammars</text>
</a>
</g>
</g>
<!-- Fuzzer&#45;&gt;Grammars -->
<g id="edge3" class="edge">
<title>Fuzzer&#45;&gt;Grammars</title>
<path fill="none" stroke="#000000" d="M923.9188,-431.9243C879.1801,-421.6983 823.1078,-408.8818 776.855,-398.3097"/>
<polygon fill="#000000" stroke="#000000" points="777.369,-394.837 766.8405,-396.0207 775.8092,-401.661 777.369,-394.837"/>
</g>
<!-- SymbolicFuzzer -->
<g id="node5" class="node">
<title>SymbolicFuzzer</title>
<g id="a_node5"><a xlink:href="SymbolicFuzzer.ipynb" xlink:title="SymbolicFuzzer">
<polygon fill="#ffffff" stroke="#000000" points="1217,-396 1097,-396 1097,-360 1223,-360 1223,-390 1217,-396"/>
<polyline fill="none" stroke="#000000" points="1217,-396 1217,-390 "/>
<polyline fill="none" stroke="#000000" points="1223,-390 1217,-390 "/>
<text text-anchor="middle" x="1160" y="-374.3" font-family="Patua One" font-size="14.00" fill="#b03a2e">Symbolic Fuzzing</text>
</a>
</g>
</g>
<!-- Fuzzer&#45;&gt;SymbolicFuzzer -->
<g id="edge4" class="edge">
<title>Fuzzer&#45;&gt;SymbolicFuzzer</title>
<path fill="none" stroke="#000000" d="M1042.6177,-431.8314C1063.5222,-422.2446 1089.3483,-410.4008 1111.4488,-400.2655"/>
<polygon fill="#000000" stroke="#000000" points="1113.0364,-403.388 1120.6672,-396.038 1110.1184,-397.0252 1113.0364,-403.388"/>
</g>
<!-- FuzzingInTheLarge -->
<g id="node6" class="node">
<title>FuzzingInTheLarge</title>
<g id="a_node6"><a xlink:href="FuzzingInTheLarge.ipynb" xlink:title="FuzzingInTheLarge">
<polygon fill="#ffffff" stroke="#000000" points="1376.5,-396 1241.5,-396 1241.5,-360 1382.5,-360 1382.5,-390 1376.5,-396"/>
<polyline fill="none" stroke="#000000" points="1376.5,-396 1376.5,-390 "/>
<polyline fill="none" stroke="#000000" points="1382.5,-390 1376.5,-390 "/>
<text text-anchor="middle" x="1312" y="-374.3" font-family="Patua One" font-size="14.00" fill="#b03a2e">Fuzzing in the Large</text>
</a>
</g>
</g>
<!-- Fuzzer&#45;&gt;FuzzingInTheLarge -->
<g id="edge5" class="edge">
<title>Fuzzer&#45;&gt;FuzzingInTheLarge</title>
<path fill="none" stroke="#000000" d="M1080.5749,-431.9243C1126.6397,-421.1908 1184.9533,-407.6031 1231.5198,-396.7527"/>
<polygon fill="#000000" stroke="#000000" points="1232.3248,-400.1589 1241.2696,-394.4809 1230.7362,-393.3416 1232.3248,-400.1589"/>
</g>
<!-- MutationFuzzer -->
<g id="node8" class="node">
<title>MutationFuzzer</title>
<g id="a_node8"><a xlink:href="MutationFuzzer.ipynb" xlink:title="MutationFuzzer">
<polygon fill="#ffffff" stroke="#000000" points="1545.5,-252 1382.5,-252 1382.5,-216 1551.5,-216 1551.5,-246 1545.5,-252"/>
<polyline fill="none" stroke="#000000" points="1545.5,-252 1545.5,-246 "/>
<polyline fill="none" stroke="#000000" points="1551.5,-246 1545.5,-246 "/>
<text text-anchor="middle" x="1467" y="-230.3" font-family="Patua One" font-size="14.00" fill="#b03a2e">Mutation&#45;Based Fuzzing</text>
</a>
</g>
</g>
<!-- Coverage&#45;&gt;MutationFuzzer -->
<g id="edge7" class="edge">
<title>Coverage&#45;&gt;MutationFuzzer</title>
<path fill="none" stroke="#000000" d="M1100.7098,-297.1869C1164.4888,-286.6702 1274.0634,-268.4402 1368,-252 1369.4788,-251.7412 1370.9699,-251.4795 1372.4707,-251.2153"/>
<polygon fill="#000000" stroke="#000000" points="1373.2548,-254.631 1382.492,-249.4421 1372.0351,-247.7381 1373.2548,-254.631"/>
</g>
<!-- MutationAnalysis -->
<g id="node9" class="node">
<title>MutationAnalysis</title>
<g id="a_node9"><a xlink:href="MutationAnalysis.ipynb" xlink:title="MutationAnalysis">
<polygon fill="#ffffff" stroke="#000000" points="1694.5,-252 1569.5,-252 1569.5,-216 1700.5,-216 1700.5,-246 1694.5,-252"/>
<polyline fill="none" stroke="#000000" points="1694.5,-252 1694.5,-246 "/>
<polyline fill="none" stroke="#000000" points="1700.5,-246 1694.5,-246 "/>
<text text-anchor="middle" x="1635" y="-230.3" font-family="Patua One" font-size="14.00" fill="#b03a2e">Mutation Analysis</text>
</a>
</g>
</g>
<!-- Coverage&#45;&gt;MutationAnalysis -->
<g id="edge8" class="edge">
<title>Coverage&#45;&gt;MutationAnalysis</title>
<path fill="none" stroke="#000000" d="M1100.8612,-302.6558C1192.8705,-296.4359 1386.3015,-281.1537 1559.2052,-252.0069"/>
<polygon fill="#000000" stroke="#000000" points="1559.9814,-255.4251 1569.2507,-250.2937 1558.8045,-248.5248 1559.9814,-255.4251"/>
</g>
<!-- GrammarCoverageFuzzer -->
<g id="node10" class="node">
<title>GrammarCoverageFuzzer</title>
<g id="a_node10"><a xlink:href="GrammarCoverageFuzzer.ipynb" xlink:title="GrammarCoverageFuzzer">
<polygon fill="#ffffff" stroke="#000000" points="615.5,-252 486.5,-252 486.5,-216 621.5,-216 621.5,-246 615.5,-252"/>
<polyline fill="none" stroke="#000000" points="615.5,-252 615.5,-246 "/>
<polyline fill="none" stroke="#000000" points="621.5,-246 615.5,-246 "/>
<text text-anchor="middle" x="554" y="-230.3" font-family="Patua One" font-size="14.00" fill="#b03a2e">Grammar Coverage</text>
</a>
</g>
</g>
<!-- Coverage&#45;&gt;GrammarCoverageFuzzer -->
<g id="edge9" class="edge">
<title>Coverage&#45;&gt;GrammarCoverageFuzzer</title>
<path fill="none" stroke="#000000" d="M993.3019,-298.1577C905.9607,-285.402 732.7616,-260.1072 631.8919,-245.3757"/>
<polygon fill="#000000" stroke="#000000" points="632.1625,-241.8782 621.7616,-243.8962 631.1508,-248.8047 632.1625,-241.8782"/>
</g>
<!-- ProbabilisticGrammarFuzzer -->
<g id="node11" class="node">
<title>ProbabilisticGrammarFuzzer</title>
<g id="a_node11"><a xlink:href="ProbabilisticGrammarFuzzer.ipynb" xlink:title="ProbabilisticGrammarFuzzer">
<polygon fill="#ffffff" stroke="#000000" points="848,-180 646,-180 646,-144 854,-144 854,-174 848,-180"/>
<polyline fill="none" stroke="#000000" points="848,-180 848,-174 "/>
<polyline fill="none" stroke="#000000" points="854,-174 848,-174 "/>
<text text-anchor="middle" x="750" y="-158.3" font-family="Patua One" font-size="14.00" fill="#b03a2e">Probabilistic Grammar Fuzzing</text>
</a>
</g>
</g>
<!-- Coverage&#45;&gt;ProbabilisticGrammarFuzzer -->
<g id="edge10" class="edge">
<title>Coverage&#45;&gt;ProbabilisticGrammarFuzzer</title>
<path fill="none" stroke="#000000" d="M993.3852,-302.5142C921.7229,-296.7289 800.1034,-282.6035 769,-252 752.8862,-236.1451 748.7834,-210.3054 748.3355,-190.3713"/>
<polygon fill="#000000" stroke="#000000" points="751.8359,-190.31 748.3997,-180.2879 744.836,-190.2654 751.8359,-190.31"/>
</g>
<!-- GrammarMiner -->
<g id="node12" class="node">
<title>GrammarMiner</title>
<g id="a_node12"><a xlink:href="GrammarMiner.ipynb" xlink:title="GrammarMiner">
<polygon fill="#ffffff" stroke="#000000" points="1089.5,-108 928.5,-108 928.5,-72 1095.5,-72 1095.5,-102 1089.5,-108"/>
<polyline fill="none" stroke="#000000" points="1089.5,-108 1089.5,-102 "/>
<polyline fill="none" stroke="#000000" points="1095.5,-102 1089.5,-102 "/>
<text text-anchor="middle" x="1012" y="-86.3" font-family="Patua One" font-size="14.00" fill="#b03a2e">Mining Input Grammars</text>
</a>
</g>
</g>
<!-- Coverage&#45;&gt;GrammarMiner -->
<g id="edge11" class="edge">
<title>Coverage&#45;&gt;GrammarMiner</title>
<path fill="none" stroke="#000000" d="M993.3058,-294.1649C970.6285,-286.2261 946.409,-273.1889 933,-252 877.462,-164.2389 1044.5058,-205.5741 1064,-180 1079.6454,-159.4751 1061.5811,-133.7943 1042.5884,-115.1241"/>
<polygon fill="#000000" stroke="#000000" points="1044.7505,-112.3543 1035.0525,-108.0881 1039.9733,-117.4709 1044.7505,-112.3543"/>
</g>
<!-- ConcolicFuzzer -->
<g id="node13" class="node">
<title>ConcolicFuzzer</title>
<g id="a_node13"><a xlink:href="ConcolicFuzzer.ipynb" xlink:title="ConcolicFuzzer">
<polygon fill="#ffffff" stroke="#000000" points="1229,-108 1115,-108 1115,-72 1235,-72 1235,-102 1229,-108"/>
<polyline fill="none" stroke="#000000" points="1229,-108 1229,-102 "/>
<polyline fill="none" stroke="#000000" points="1235,-102 1229,-102 "/>
<text text-anchor="middle" x="1175" y="-86.3" font-family="Patua One" font-size="14.00" fill="#b03a2e">Concolic Fuzzing</text>
</a>
</g>
</g>
<!-- Coverage&#45;&gt;ConcolicFuzzer -->
<g id="edge12" class="edge">
<title>Coverage&#45;&gt;ConcolicFuzzer</title>
<path fill="none" stroke="#000000" d="M1100.7865,-303.7986C1175.5372,-299.4815 1304.9506,-287.0248 1334,-252 1377.9705,-198.9848 1287.7891,-142.8487 1226.1386,-112.5643"/>
<polygon fill="#000000" stroke="#000000" points="1227.4197,-109.2966 1216.8917,-108.1087 1224.3811,-115.6027 1227.4197,-109.2966"/>
</g>
<!-- DynamicInvariants -->
<g id="node14" class="node">
<title>DynamicInvariants</title>
<g id="a_node14"><a xlink:href="DynamicInvariants.ipynb" xlink:title="DynamicInvariants">
<polygon fill="#ffffff" stroke="#000000" points="1146,-252 942,-252 942,-216 1152,-216 1152,-246 1146,-252"/>
<polyline fill="none" stroke="#000000" points="1146,-252 1146,-246 "/>
<polyline fill="none" stroke="#000000" points="1152,-246 1146,-246 "/>
<text text-anchor="middle" x="1047" y="-230.3" font-family="Patua One" font-size="14.00" fill="#b03a2e">Mining Function Specifications</text>
</a>
</g>
</g>
<!-- Coverage&#45;&gt;DynamicInvariants -->
<g id="edge13" class="edge">
<title>Coverage&#45;&gt;DynamicInvariants</title>
<path fill="none" stroke="#000000" d="M1047,-287.8314C1047,-280.131 1047,-270.9743 1047,-262.4166"/>
<polygon fill="#000000" stroke="#000000" points="1050.5001,-262.4132 1047,-252.4133 1043.5001,-262.4133 1050.5001,-262.4132"/>
</g>
<!-- WhenToStopFuzzing -->
<g id="node15" class="node">
<title>WhenToStopFuzzing</title>
<g id="a_node15"><a xlink:href="WhenToStopFuzzing.ipynb" xlink:title="WhenToStopFuzzing">
<polygon fill="#ffffff" stroke="#000000" points="1319.5,-252 1170.5,-252 1170.5,-216 1325.5,-216 1325.5,-246 1319.5,-252"/>
<polyline fill="none" stroke="#000000" points="1319.5,-252 1319.5,-246 "/>
<polyline fill="none" stroke="#000000" points="1325.5,-246 1319.5,-246 "/>
<text text-anchor="middle" x="1248" y="-230.3" font-family="Patua One" font-size="14.00" fill="#b03a2e">When To Stop Fuzzing</text>
</a>
</g>
</g>
<!-- Coverage&#45;&gt;WhenToStopFuzzing -->
<g id="edge14" class="edge">
<title>Coverage&#45;&gt;WhenToStopFuzzing</title>
<path fill="none" stroke="#000000" d="M1097.4613,-287.9243C1124.9392,-278.0815 1159.1172,-265.8386 1187.9588,-255.5073"/>
<polygon fill="#000000" stroke="#000000" points="1189.284,-258.7505 1197.5179,-252.0831 1186.9233,-252.1605 1189.284,-258.7505"/>
</g>
<!-- GrammarFuzzer -->
<g id="node18" class="node">
<title>GrammarFuzzer</title>
<g id="a_node18"><a xlink:href="GrammarFuzzer.ipynb" xlink:title="GrammarFuzzer">
<polygon fill="#ffffff" stroke="#000000" points="591.5,-324 414.5,-324 414.5,-288 597.5,-288 597.5,-318 591.5,-324"/>
<polyline fill="none" stroke="#000000" points="591.5,-324 591.5,-318 "/>
<polyline fill="none" stroke="#000000" points="597.5,-318 591.5,-318 "/>
<text text-anchor="middle" x="506" y="-302.3" font-family="Patua One" font-size="14.00" fill="#b03a2e">Efficient Grammar Fuzzing</text>
</a>
</g>
</g>
<!-- Grammars&#45;&gt;GrammarFuzzer -->
<g id="edge17" class="edge">
<title>Grammars&#45;&gt;GrammarFuzzer</title>
<path fill="none" stroke="#000000" d="M642.0737,-359.8314C617.4077,-350.0734 586.8309,-337.977 560.914,-327.7242"/>
<polygon fill="#000000" stroke="#000000" points="562.1824,-324.4621 551.596,-324.038 559.6073,-330.9713 562.1824,-324.4621"/>
</g>
<!-- Intro_Testing -->
<g id="node7" class="node">
<title>Intro_Testing</title>
<g id="a_node7"><a xlink:href="Intro_Testing.ipynb" xlink:title="Intro_Testing">
<polygon fill="#ffffff" stroke="#000000" points="1106.5,-540 893.5,-540 893.5,-504 1112.5,-504 1112.5,-534 1106.5,-540"/>
<polyline fill="none" stroke="#000000" points="1106.5,-540 1106.5,-534 "/>
<polyline fill="none" stroke="#000000" points="1112.5,-534 1106.5,-534 "/>
<text text-anchor="middle" x="1003" y="-518.3" font-family="Patua One" font-size="14.00" fill="#b03a2e">Introduction to Software Testing</text>
</a>
</g>
</g>
<!-- Intro_Testing&#45;&gt;Fuzzer -->
<g id="edge6" class="edge">
<title>Intro_Testing&#45;&gt;Fuzzer</title>
<path fill="none" stroke="#000000" d="M1003,-503.8314C1003,-496.131 1003,-486.9743 1003,-478.4166"/>
<polygon fill="#000000" stroke="#000000" points="1006.5001,-478.4132 1003,-468.4133 999.5001,-478.4133 1006.5001,-478.4132"/>
</g>
<!-- GreyboxFuzzer -->
<g id="node16" class="node">
<title>GreyboxFuzzer</title>
<g id="a_node16"><a xlink:href="GreyboxFuzzer.ipynb" xlink:title="GreyboxFuzzer">
<polygon fill="#ffffff" stroke="#000000" points="1508,-180 1394,-180 1394,-144 1514,-144 1514,-174 1508,-180"/>
<polyline fill="none" stroke="#000000" points="1508,-180 1508,-174 "/>
<polyline fill="none" stroke="#000000" points="1514,-174 1508,-174 "/>
<text text-anchor="middle" x="1454" y="-158.3" font-family="Patua One" font-size="14.00" fill="#b03a2e">Greybox Fuzzing</text>
</a>
</g>
</g>
<!-- MutationFuzzer&#45;&gt;GreyboxFuzzer -->
<g id="edge15" class="edge">
<title>MutationFuzzer&#45;&gt;GreyboxFuzzer</title>
<path fill="none" stroke="#000000" d="M1463.7196,-215.8314C1462.3292,-208.131 1460.6759,-198.9743 1459.1308,-190.4166"/>
<polygon fill="#000000" stroke="#000000" points="1462.5458,-189.6322 1457.3246,-180.4133 1455.6572,-190.8761 1462.5458,-189.6322"/>
</g>
<!-- ConfigurationFuzzer -->
<g id="node23" class="node">
<title>ConfigurationFuzzer</title>
<g id="a_node23"><a xlink:href="ConfigurationFuzzer.ipynb" xlink:title="ConfigurationFuzzer">
<polygon fill="#ffffff" stroke="#000000" points="621.5,-180 468.5,-180 468.5,-144 627.5,-144 627.5,-174 621.5,-180"/>
<polyline fill="none" stroke="#000000" points="621.5,-180 621.5,-174 "/>
<polyline fill="none" stroke="#000000" points="627.5,-174 621.5,-174 "/>
<text text-anchor="middle" x="548" y="-158.3" font-family="Patua One" font-size="14.00" fill="#b03a2e">Testing Configurations</text>
</a>
</g>
</g>
<!-- GrammarCoverageFuzzer&#45;&gt;ConfigurationFuzzer -->
<g id="edge23" class="edge">
<title>GrammarCoverageFuzzer&#45;&gt;ConfigurationFuzzer</title>
<path fill="none" stroke="#000000" d="M552.4859,-215.8314C551.8442,-208.131 551.0812,-198.9743 550.3681,-190.4166"/>
<polygon fill="#000000" stroke="#000000" points="553.8529,-190.088 549.5344,-180.4133 546.8771,-190.6694 553.8529,-190.088"/>
</g>
<!-- Carver -->
<g id="node24" class="node">
<title>Carver</title>
<g id="a_node24"><a xlink:href="Carver.ipynb" xlink:title="Carver">
<polygon fill="#ffffff" stroke="#000000" points="369.5,-36 244.5,-36 244.5,0 375.5,0 375.5,-30 369.5,-36"/>
<polyline fill="none" stroke="#000000" points="369.5,-36 369.5,-30 "/>
<polyline fill="none" stroke="#000000" points="375.5,-30 369.5,-30 "/>
<text text-anchor="middle" x="310" y="-14.3" font-family="Patua One" font-size="14.00" fill="#b03a2e">Carving Unit Tests</text>
</a>
</g>
</g>
<!-- GrammarCoverageFuzzer&#45;&gt;Carver -->
<g id="edge24" class="edge">
<title>GrammarCoverageFuzzer&#45;&gt;Carver</title>
<path fill="none" stroke="#000000" d="M486.3458,-223.206C405.4001,-209.9683 279.8322,-188.2701 273,-180 240.8687,-141.1061 269.9001,-79.756 291.5271,-44.778"/>
<polygon fill="#000000" stroke="#000000" points="294.6587,-46.3777 297.0987,-36.0676 288.7618,-42.6057 294.6587,-46.3777"/>
</g>
<!-- GUIFuzzer -->
<g id="node25" class="node">
<title>GUIFuzzer</title>
<g id="a_node25"><a xlink:href="GUIFuzzer.ipynb" xlink:title="GUIFuzzer">
<polygon fill="#ffffff" stroke="#000000" points="214,-180 0,-180 0,-144 220,-144 220,-174 214,-180"/>
<polyline fill="none" stroke="#000000" points="214,-180 214,-174 "/>
<polyline fill="none" stroke="#000000" points="220,-174 214,-174 "/>
<text text-anchor="middle" x="110" y="-158.3" font-family="Patua One" font-size="14.00" fill="#b03a2e">Testing Graphical User Interfaces</text>
</a>
</g>
</g>
<!-- GrammarCoverageFuzzer&#45;&gt;GUIFuzzer -->
<g id="edge25" class="edge">
<title>GrammarCoverageFuzzer&#45;&gt;GUIFuzzer</title>
<path fill="none" stroke="#000000" d="M486.0826,-222.9864C418.1528,-211.9707 312.2427,-194.7961 230.1015,-181.4759"/>
<polygon fill="#000000" stroke="#000000" points="230.6376,-178.0172 220.2062,-179.8713 229.517,-184.9269 230.6376,-178.0172"/>
</g>
<!-- APIFuzzer -->
<g id="node27" class="node">
<title>APIFuzzer</title>
<g id="a_node27"><a xlink:href="APIFuzzer.ipynb" xlink:title="APIFuzzer">
<polygon fill="#ffffff" stroke="#000000" points="408.5,-108 317.5,-108 317.5,-72 414.5,-72 414.5,-102 408.5,-108"/>
<polyline fill="none" stroke="#000000" points="408.5,-108 408.5,-102 "/>
<polyline fill="none" stroke="#000000" points="414.5,-102 408.5,-102 "/>
<text text-anchor="middle" x="366" y="-86.3" font-family="Patua One" font-size="14.00" fill="#b03a2e">Fuzzing APIs</text>
</a>
</g>
</g>
<!-- ProbabilisticGrammarFuzzer&#45;&gt;APIFuzzer -->
<g id="edge29" class="edge">
<title>ProbabilisticGrammarFuzzer&#45;&gt;APIFuzzer</title>
<path fill="none" stroke="#000000" d="M653.5962,-143.9243C581.6661,-130.4374 485.7032,-112.4444 424.8659,-101.0374"/>
<polygon fill="#000000" stroke="#000000" points="425.1453,-97.5288 414.6715,-99.1259 423.8552,-104.4089 425.1453,-97.5288"/>
</g>
<!-- GreyboxGrammarFuzzer -->
<g id="node17" class="node">
<title>GreyboxGrammarFuzzer</title>
<g id="a_node17"><a xlink:href="GreyboxGrammarFuzzer.ipynb" xlink:title="GreyboxGrammarFuzzer">
<polygon fill="#ffffff" stroke="#000000" points="1467,-108 1253,-108 1253,-72 1473,-72 1473,-102 1467,-108"/>
<polyline fill="none" stroke="#000000" points="1467,-108 1467,-102 "/>
<polyline fill="none" stroke="#000000" points="1473,-102 1467,-102 "/>
<text text-anchor="middle" x="1363" y="-86.3" font-family="Patua One" font-size="14.00" fill="#b03a2e">Greybox Fuzzing with Grammars</text>
</a>
</g>
</g>
<!-- GreyboxFuzzer&#45;&gt;GreyboxGrammarFuzzer -->
<g id="edge16" class="edge">
<title>GreyboxFuzzer&#45;&gt;GreyboxGrammarFuzzer</title>
<path fill="none" stroke="#000000" d="M1431.0369,-143.8314C1419.8285,-134.9632 1406.1791,-124.1637 1394.0561,-114.5718"/>
<polygon fill="#000000" stroke="#000000" points="1395.9697,-111.6229 1385.9558,-108.1628 1391.6263,-117.1125 1395.9697,-111.6229"/>
</g>
<!-- GrammarFuzzer&#45;&gt;GrammarCoverageFuzzer -->
<g id="edge18" class="edge">
<title>GrammarFuzzer&#45;&gt;GrammarCoverageFuzzer</title>
<path fill="none" stroke="#000000" d="M518.1124,-287.8314C523.5281,-279.7079 530.0242,-269.9637 535.9921,-261.0118"/>
<polygon fill="#000000" stroke="#000000" points="539.0896,-262.6753 541.7245,-252.4133 533.2653,-258.7923 539.0896,-262.6753"/>
</g>
<!-- Parser -->
<g id="node19" class="node">
<title>Parser</title>
<g id="a_node19"><a xlink:href="Parser.ipynb" xlink:title="Parser">
<polygon fill="#ffffff" stroke="#000000" points="879.5,-252 778.5,-252 778.5,-216 885.5,-216 885.5,-246 879.5,-252"/>
<polyline fill="none" stroke="#000000" points="879.5,-252 879.5,-246 "/>
<polyline fill="none" stroke="#000000" points="885.5,-246 879.5,-246 "/>
<text text-anchor="middle" x="832" y="-230.3" font-family="Patua One" font-size="14.00" fill="#b03a2e">Parsing Inputs</text>
</a>
</g>
</g>
<!-- GrammarFuzzer&#45;&gt;Parser -->
<g id="edge19" class="edge">
<title>GrammarFuzzer&#45;&gt;Parser</title>
<path fill="none" stroke="#000000" d="M587.8428,-287.9243C643.718,-275.5838 716.6752,-259.4705 768.2399,-248.082"/>
<polygon fill="#000000" stroke="#000000" points="769.2464,-251.4441 778.2562,-245.8698 767.7367,-244.6088 769.2464,-251.4441"/>
</g>
<!-- GeneratorGrammarFuzzer -->
<g id="node20" class="node">
<title>GeneratorGrammarFuzzer</title>
<g id="a_node20"><a xlink:href="GeneratorGrammarFuzzer.ipynb" xlink:title="GeneratorGrammarFuzzer">
<polygon fill="#ffffff" stroke="#000000" points="444,-180 282,-180 282,-144 450,-144 450,-174 444,-180"/>
<polyline fill="none" stroke="#000000" points="444,-180 444,-174 "/>
<polyline fill="none" stroke="#000000" points="450,-174 444,-174 "/>
<text text-anchor="middle" x="366" y="-158.3" font-family="Patua One" font-size="14.00" fill="#b03a2e">Fuzzing with Generators</text>
</a>
</g>
</g>
<!-- GrammarFuzzer&#45;&gt;GeneratorGrammarFuzzer -->
<g id="edge20" class="edge">
<title>GrammarFuzzer&#45;&gt;GeneratorGrammarFuzzer</title>
<path fill="none" stroke="#000000" d="M494.5501,-287.9177C481.9966,-268.8575 460.6116,-238.5315 438,-216 427.2233,-205.2614 414.2288,-194.8799 402.2624,-186.1373"/>
<polygon fill="#000000" stroke="#000000" points="403.9496,-183.0413 393.7772,-180.0792 399.8822,-188.7384 403.9496,-183.0413"/>
</g>
<!-- Reducer -->
<g id="node21" class="node">
<title>Reducer</title>
<g id="a_node21"><a xlink:href="Reducer.ipynb" xlink:title="Reducer">
<polygon fill="#ffffff" stroke="#000000" points="423.5,-252 204.5,-252 204.5,-216 429.5,-216 429.5,-246 423.5,-252"/>
<polyline fill="none" stroke="#000000" points="423.5,-252 423.5,-246 "/>
<polyline fill="none" stroke="#000000" points="429.5,-246 423.5,-246 "/>
<text text-anchor="middle" x="317" y="-230.3" font-family="Patua One" font-size="14.00" fill="#b03a2e">Reducing Failure&#45;Inducing Inputs</text>
</a>
</g>
</g>
<!-- GrammarFuzzer&#45;&gt;Reducer -->
<g id="edge21" class="edge">
<title>GrammarFuzzer&#45;&gt;Reducer</title>
<path fill="none" stroke="#000000" d="M458.3073,-287.8314C432.6927,-278.0734 400.9398,-265.977 374.026,-255.7242"/>
<polygon fill="#000000" stroke="#000000" points="374.9406,-252.3273 364.3497,-252.038 372.4486,-258.8687 374.9406,-252.3273"/>
</g>
<!-- WebFuzzer -->
<g id="node22" class="node">
<title>WebFuzzer</title>
<g id="a_node22"><a xlink:href="WebFuzzer.ipynb" xlink:title="WebFuzzer">
<polygon fill="#ffffff" stroke="#000000" points="180,-252 12,-252 12,-216 186,-216 186,-246 180,-252"/>
<polyline fill="none" stroke="#000000" points="180,-252 180,-246 "/>
<polyline fill="none" stroke="#000000" points="186,-246 180,-246 "/>
<text text-anchor="middle" x="99" y="-230.3" font-family="Patua One" font-size="14.00" fill="#b03a2e">Testing Web Applications</text>
</a>
</g>
</g>
<!-- GrammarFuzzer&#45;&gt;WebFuzzer -->
<g id="edge22" class="edge">
<title>GrammarFuzzer&#45;&gt;WebFuzzer</title>
<path fill="none" stroke="#000000" d="M414.4272,-290.4324C354.9917,-280.2498 275.5774,-266.4986 196.2835,-252.2208"/>
<polygon fill="#000000" stroke="#000000" points="196.574,-248.7168 186.1115,-250.3862 195.3315,-255.6057 196.574,-248.7168"/>
</g>
<!-- Parser&#45;&gt;ProbabilisticGrammarFuzzer -->
<g id="edge26" class="edge">
<title>Parser&#45;&gt;ProbabilisticGrammarFuzzer</title>
<path fill="none" stroke="#000000" d="M811.3079,-215.8314C801.3052,-207.0485 789.145,-196.3712 778.3001,-186.8489"/>
<polygon fill="#000000" stroke="#000000" points="780.5092,-184.1308 770.6854,-180.1628 775.8906,-189.3909 780.5092,-184.1308"/>
</g>
<!-- Parser&#45;&gt;GreyboxGrammarFuzzer -->
<g id="edge27" class="edge">
<title>Parser&#45;&gt;GreyboxGrammarFuzzer</title>
<path fill="none" stroke="#000000" d="M885.6852,-222.5217C932.8617,-212.1932 1003.2625,-196.1921 1064,-180 1144.7543,-158.4716 1236.6823,-130.2329 1297.0392,-111.1736"/>
<polygon fill="#000000" stroke="#000000" points="1298.3407,-114.4328 1306.8185,-108.0786 1296.2285,-107.7591 1298.3407,-114.4328"/>
</g>
<!-- InformationFlow -->
<g id="node26" class="node">
<title>InformationFlow</title>
<g id="a_node26"><a xlink:href="InformationFlow.ipynb" xlink:title="InformationFlow">
<polygon fill="#ffffff" stroke="#000000" points="1049.5,-180 872.5,-180 872.5,-144 1055.5,-144 1055.5,-174 1049.5,-180"/>
<polyline fill="none" stroke="#000000" points="1049.5,-180 1049.5,-174 "/>
<polyline fill="none" stroke="#000000" points="1055.5,-174 1049.5,-174 "/>
<text text-anchor="middle" x="964" y="-158.3" font-family="Patua One" font-size="14.00" fill="#b03a2e">Tracking Information Flow</text>
</a>
</g>
</g>
<!-- Parser&#45;&gt;InformationFlow -->
<g id="edge28" class="edge">
<title>Parser&#45;&gt;InformationFlow</title>
<path fill="none" stroke="#000000" d="M865.3092,-215.8314C882.4273,-206.4942 903.4706,-195.016 921.7222,-185.0606"/>
<polygon fill="#000000" stroke="#000000" points="923.5985,-188.024 930.7015,-180.1628 920.2465,-181.8788 923.5985,-188.024"/>
</g>
<!-- GeneratorGrammarFuzzer&#45;&gt;APIFuzzer -->
<g id="edge30" class="edge">
<title>GeneratorGrammarFuzzer&#45;&gt;APIFuzzer</title>
<path fill="none" stroke="#000000" d="M366,-143.8314C366,-136.131 366,-126.9743 366,-118.4166"/>
<polygon fill="#000000" stroke="#000000" points="369.5001,-118.4132 366,-108.4133 362.5001,-118.4133 369.5001,-118.4132"/>
</g>
<!-- WebFuzzer&#45;&gt;GUIFuzzer -->
<g id="edge34" class="edge">
<title>WebFuzzer&#45;&gt;GUIFuzzer</title>
<path fill="none" stroke="#000000" d="M101.7758,-215.8314C102.9522,-208.131 104.3511,-198.9743 105.6586,-190.4166"/>
<polygon fill="#000000" stroke="#000000" points="109.1364,-190.8272 107.1869,-180.4133 102.2167,-189.7699 109.1364,-190.8272"/>
</g>
<!-- InformationFlow&#45;&gt;GrammarMiner -->
<g id="edge31" class="edge">
<title>InformationFlow&#45;&gt;GrammarMiner</title>
<path fill="none" stroke="#000000" d="M976.1124,-143.8314C981.5281,-135.7079 988.0242,-125.9637 993.9921,-117.0118"/>
<polygon fill="#000000" stroke="#000000" points="997.0896,-118.6753 999.7245,-108.4133 991.2653,-114.7923 997.0896,-118.6753"/>
</g>
<!-- InformationFlow&#45;&gt;ConcolicFuzzer -->
<g id="edge32" class="edge">
<title>InformationFlow&#45;&gt;ConcolicFuzzer</title>
<path fill="none" stroke="#000000" d="M1016.9719,-143.9243C1045.9422,-134.0387 1082.0073,-121.7321 1112.3663,-111.3726"/>
<polygon fill="#000000" stroke="#000000" points="1113.6725,-114.6251 1122.0063,-108.0831 1111.4118,-108.0002 1113.6725,-114.6251"/>
</g>
<!-- APIFuzzer&#45;&gt;Carver -->
<g id="edge33" class="edge">
<title>APIFuzzer&#45;&gt;Carver</title>
<path fill="none" stroke="#000000" d="M351.8688,-71.8314C345.4189,-63.5386 337.6555,-53.557 330.5748,-44.4533"/>
<polygon fill="#000000" stroke="#000000" points="333.2236,-42.158 324.3214,-36.4133 327.6981,-46.4556 333.2236,-42.158"/>
</g>
</g>
</svg>