docs/beta/notebooks/PICS/GUIFuzzer-synopsis-2.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.49.3 (20211023.0002)
 -->
<!-- Pages: 1 -->
<svg width="620pt" height="352pt"
 viewBox="0.00 0.00 620.38 352.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 348)">
<polygon fill="white" stroke="transparent" points="-4,4 -4,-348 616.38,-348 616.38,4 -4,4"/>
<!-- start -->
<g id="node1" class="node">
<title>start</title>
<ellipse fill="none" stroke="black" cx="325.61" cy="-326" rx="36.29" ry="18"/>
<text text-anchor="middle" x="325.61" y="-322.3" font-family="Times,serif" font-size="14.00">&lt;start&gt;</text>
</g>
<!-- state -->
<g id="node2" class="node">
<title>state</title>
<ellipse fill="none" stroke="black" cx="325.61" cy="-253" rx="37.89" ry="18"/>
<text text-anchor="middle" x="325.61" y="-249.3" font-family="Times,serif" font-size="14.00">&lt;state&gt;</text>
</g>
<!-- start&#45;&gt;state -->
<g id="edge1" class="edge">
<title>start&#45;&gt;state</title>
<path fill="none" stroke="black" d="M325.61,-307.81C325.61,-299.79 325.61,-290.05 325.61,-281.07"/>
<polygon fill="black" stroke="black" points="329.11,-281.03 325.61,-271.03 322.11,-281.03 329.11,-281.03"/>
</g>
<!-- state&#45;1 -->
<g id="node3" class="node">
<title>state&#45;1</title>
<ellipse fill="none" stroke="black" cx="200.61" cy="-91" rx="45.49" ry="18"/>
<text text-anchor="middle" x="200.61" y="-87.3" font-family="Times,serif" font-size="14.00">&lt;state&#45;1&gt;</text>
</g>
<!-- state&#45;&gt;state&#45;1 -->
<g id="edge2" class="edge">
<title>state&#45;&gt;state&#45;1</title>
<path fill="none" stroke="black" d="M288.02,-250.45C210.2,-246.86 37.2,-236.73 19.61,-217 -7.02,-187.15 -5.85,-157.85 19.61,-127 35.36,-107.91 98.13,-99.11 145.37,-95.14"/>
<polygon fill="black" stroke="black" points="145.8,-98.61 155.49,-94.34 145.25,-91.64 145.8,-98.61"/>
<text text-anchor="start" x="19.61" y="-168.3" font-family="Times,serif" font-size="14.00">click(&#39;terms and conditions&#39;)</text>
</g>
<!-- state&#45;2 -->
<g id="node4" class="node">
<title>state&#45;2</title>
<ellipse fill="none" stroke="black" cx="409.61" cy="-91" rx="45.49" ry="18"/>
<text text-anchor="middle" x="409.61" y="-87.3" font-family="Times,serif" font-size="14.00">&lt;state&#45;2&gt;</text>
</g>
<!-- state&#45;&gt;state&#45;2 -->
<g id="edge3" class="edge">
<title>state&#45;&gt;state&#45;2</title>
<path fill="none" stroke="black" d="M320.3,-234.93C313.4,-209.15 304.64,-159.82 326.61,-127 334.23,-115.61 346.37,-107.91 359.03,-102.72"/>
<polygon fill="black" stroke="black" points="360.53,-105.9 368.75,-99.22 358.15,-99.32 360.53,-105.9"/>
<text text-anchor="start" x="326.61" y="-205.8" font-family="Times,serif" font-size="14.00">check(&#39;terms&#39;, &lt;boolean&gt;)</text>
<text text-anchor="start" x="326.61" y="-190.8" font-family="Times,serif" font-size="14.00">fill(&#39;city&#39;, &#39;&lt;text&gt;&#39;)</text>
<text text-anchor="start" x="326.61" y="-175.8" font-family="Times,serif" font-size="14.00">fill(&#39;email&#39;, &#39;&lt;email&gt;&#39;)</text>
<text text-anchor="start" x="326.61" y="-160.8" font-family="Times,serif" font-size="14.00">fill(&#39;name&#39;, &#39;&lt;text&gt;&#39;)</text>
<text text-anchor="start" x="326.61" y="-145.8" font-family="Times,serif" font-size="14.00">fill(&#39;zip&#39;, &#39;&lt;number&gt;&#39;)</text>
<text text-anchor="start" x="326.61" y="-130.8" font-family="Times,serif" font-size="14.00">submit(&#39;submit&#39;)</text>
</g>
<!-- end -->
<g id="node5" class="node">
<title>end</title>
<ellipse fill="none" stroke="black" cx="409.61" cy="-18" rx="34.39" ry="18"/>
<text text-anchor="middle" x="409.61" y="-14.3" font-family="Times,serif" font-size="14.00">&lt;end&gt;</text>
</g>
<!-- state&#45;&gt;end -->
<g id="edge4" class="edge">
<title>state&#45;&gt;end</title>
<path fill="none" stroke="black" d="M362.92,-249.84C433.2,-245.38 579.55,-234.14 594.61,-217 621,-186.95 614.52,-161.69 594.61,-127 563.62,-73.03 494.09,-43.47 449.65,-29.47"/>
<polygon fill="black" stroke="black" points="450.61,-26.1 440.03,-26.55 448.58,-32.8 450.61,-26.1"/>
</g>
<!-- state&#45;1&#45;&gt;state -->
<g id="edge5" class="edge">
<title>state&#45;1&#45;&gt;state</title>
<path fill="none" stroke="black" d="M195.8,-109.07C189.52,-135.3 182.03,-185.75 206.61,-217 223.39,-238.35 252.52,-247.16 277.76,-250.6"/>
<polygon fill="black" stroke="black" points="277.6,-254.1 287.93,-251.74 278.38,-247.15 277.6,-254.1"/>
<text text-anchor="start" x="206.61" y="-168.3" font-family="Times,serif" font-size="14.00">click(&#39;order form&#39;)</text>
</g>
<!-- state&#45;1&#45;&gt;end -->
<g id="edge6" class="edge">
<title>state&#45;1&#45;&gt;end</title>
<path fill="none" stroke="black" d="M234.19,-78.59C271.84,-65.8 332.76,-45.1 371.99,-31.78"/>
<polygon fill="black" stroke="black" points="373.13,-35.09 381.47,-28.56 370.88,-28.46 373.13,-35.09"/>
</g>
<!-- state&#45;2&#45;&gt;state -->
<g id="edge7" class="edge">
<title>state&#45;2&#45;&gt;state</title>
<path fill="none" stroke="black" d="M443.88,-102.98C455.04,-108.36 466.2,-116.11 472.61,-127 492.89,-161.47 497.4,-185.61 472.61,-217 460.22,-232.69 410.49,-242.1 372.27,-247.15"/>
<polygon fill="black" stroke="black" points="371.82,-243.68 362.33,-248.4 372.69,-250.62 371.82,-243.68"/>
<text text-anchor="start" x="488.61" y="-168.3" font-family="Times,serif" font-size="14.00">click(&#39;order form&#39;)</text>
</g>
<!-- state&#45;2&#45;&gt;end -->
<g id="edge8" class="edge">
<title>state&#45;2&#45;&gt;end</title>
<path fill="none" stroke="black" d="M409.61,-72.81C409.61,-64.79 409.61,-55.05 409.61,-46.07"/>
<polygon fill="black" stroke="black" points="413.11,-46.03 409.61,-36.03 406.11,-46.03 413.11,-46.03"/>
</g>
</g>
</svg>