Doc update

docs/html/index.html

@@ -12054,7 +12054,7 @@
 <div class="input_markdown">
 <div class="cell border-box-sizing text_cell rendered">
 <div class="inner_cell">
-<div class="text_cell_render border-box-sizing rendered_html"><h2 id="Who-this-Book-is-for">Who this Book is for<a class="anchor-link" href="#Who-this-Book-is-for">&#182;</a></h2><p>This work is designed as a <em>textbook</em> for a course in software testing; as <em>supplementary material</em> in a software testing or software engineering course; and as a <em>resource for software developers</em>. We cover random fuzzing, mutation-based fuzzing, grammar-based test generation, symbolic testing, and much more, illustrating all techniques with code examples that you can try out yourself.</p>
+<div class="text_cell_render border-box-sizing rendered_html"><h2 id="Who-this-Book-is-for">Who this Book is for<a class="anchor-link" href="#Who-this-Book-is-for">&#182;</a></h2><p>This work is designed as a <em>textbook</em> for a course in software testing or security testing; as <em>supplementary material</em> in a software testing, security testing, or software engineering course; and as a <em>resource for software developers</em>. We cover random fuzzing, mutation-based fuzzing, grammar-based test generation, symbolic testing, and much more, illustrating all techniques with code examples that you can try out yourself.</p>
 </div>
 </div>
 </div>
@@ -12063,7 +12063,7 @@
 <div class="input_markdown">
 <div class="cell border-box-sizing text_cell rendered">
 <div class="inner_cell">
-<div class="text_cell_render border-box-sizing rendered_html"><h2 id="News">News<a class="anchor-link" href="#News">&#182;</a></h2><p>This book is <em>work in progress.</em>  All chapters planned are out now, but we keep on refining the material with <a href="ReleaseNotes.html">minor and major releases.</a>  To get notified on updates, <a href="https://mastodon.social/invite/3CvrkW9t">follow us on Mastodon</a>.</p>
+<div class="text_cell_render border-box-sizing rendered_html"><h2 id="News">News<a class="anchor-link" href="#News">&#182;</a></h2><p>This book is <em>work in progress.</em>  All chapters planned are out now, but we keep on refining text and code with <a href="ReleaseNotes.html">minor and major releases.</a>  To get notified on updates, <a href="https://mastodon.social/invite/3CvrkW9t">follow us on Mastodon</a>.</p>
 <!--
 <iframe allowfullscreen sandbox="allow-top-navigation allow-scripts allow-popups allow-popups-to-escape-sandbox" width="400" height="400" frameBorder="0" src="https://mastofeed.com/apiv2/feed?userurl=https%3A%2F%2Fmastodon.social%2Fusers%2FTheFuzzingBook&theme=auto&size=80&header=false&replies=false&boosts=false"></iframe>
 --></div>
@@ -12366,7 +12366,7 @@
 The content of this project is licensed under the
 <a href="https://creativecommons.org/licenses/by-nc-sa/4.0/" target=_blank>Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License</a>.
 The source code that is part of the content, as well as the source code used to format and display that content is licensed under the <a href="https://github.com/uds-se/fuzzingbook/blob/master/LICENSE.md#mit-license">MIT License</a>.
-<a href="https://github.com/uds-se/fuzzingbook/commits/master/notebooks/index.ipynb" target=_blank)>Last change: 2023-10-24 16:14:59+02:00</a> &bull; 
+<a href="https://github.com/uds-se/fuzzingbook/commits/master/notebooks/index.ipynb" target=_blank)>Last change: 2023-11-12 18:25:05+01:00</a> &bull; 
 <a href="#citation" id="cite" onclick="revealCitation()">Cite</a> &bull;
 <a href="https://cispa.de/en/impressum" target=_blank>Imprint</a>
 </p>
@@ -12382,7 +12382,7 @@
 <a name="citation"></a>
 <h2>How to Cite this Work</h2>
 <p>
-Andreas Zeller, Rahul Gopinath, Marcel Böhme, Gordon Fraser, and Christian Holler: "<a href="https://www.fuzzingbook.org/html/index.html">About this Book</a>".  In Andreas Zeller, Rahul Gopinath, Marcel Böhme, Gordon Fraser, and Christian Holler, "<a href="https://www.fuzzingbook.org/">The Fuzzing Book</a>", <a href="https://www.fuzzingbook.org/html/index.html">https://www.fuzzingbook.org/html/index.html</a>.  Retrieved 2023-10-24 16:14:59+02:00.
+Andreas Zeller, Rahul Gopinath, Marcel Böhme, Gordon Fraser, and Christian Holler: "<a href="https://www.fuzzingbook.org/html/index.html">About this Book</a>".  In Andreas Zeller, Rahul Gopinath, Marcel Böhme, Gordon Fraser, and Christian Holler, "<a href="https://www.fuzzingbook.org/">The Fuzzing Book</a>", <a href="https://www.fuzzingbook.org/html/index.html">https://www.fuzzingbook.org/html/index.html</a>.  Retrieved 2023-11-12 18:25:05+01:00.
 </p>
 <pre>
 @incollection{fuzzingbook2023:index,
@@ -12392,9 +12392,9 @@ <h2>How to Cite this Work</h2>
     year = {2023},
     publisher = {CISPA Helmholtz Center for Information Security},
     howpublished = {\url{https://www.fuzzingbook.org/html/index.html}},
-    note = {Retrieved 2023-10-24 16:14:59+02:00},
+    note = {Retrieved 2023-11-12 18:25:05+01:00},
     url = {https://www.fuzzingbook.org/html/index.html},
-    urldate = {2023-10-24 16:14:59+02:00}
+    urldate = {2023-11-12 18:25:05+01:00}
 }
 </pre>
 </div>

docs/index.html

@@ -12049,7 +12049,7 @@
 <div class="input_markdown">
 <div class="cell border-box-sizing text_cell rendered">
 <div class="inner_cell">
-<div class="text_cell_render border-box-sizing rendered_html"><h2 id="Who-this-Book-is-for">Who this Book is for<a class="anchor-link" href="#Who-this-Book-is-for">&#182;</a></h2><p>This work is designed as a <em>textbook</em> for a course in software testing; as <em>supplementary material</em> in a software testing or software engineering course; and as a <em>resource for software developers</em>. We cover random fuzzing, mutation-based fuzzing, grammar-based test generation, symbolic testing, and much more, illustrating all techniques with code examples that you can try out yourself.</p>
+<div class="text_cell_render border-box-sizing rendered_html"><h2 id="Who-this-Book-is-for">Who this Book is for<a class="anchor-link" href="#Who-this-Book-is-for">&#182;</a></h2><p>This work is designed as a <em>textbook</em> for a course in software testing or security testing; as <em>supplementary material</em> in a software testing, security testing, or software engineering course; and as a <em>resource for software developers</em>. We cover random fuzzing, mutation-based fuzzing, grammar-based test generation, symbolic testing, and much more, illustrating all techniques with code examples that you can try out yourself.</p>
 </div>
 </div>
 </div>
@@ -12058,7 +12058,7 @@
 <div class="input_markdown">
 <div class="cell border-box-sizing text_cell rendered">
 <div class="inner_cell">
-<div class="text_cell_render border-box-sizing rendered_html"><h2 id="News">News<a class="anchor-link" href="#News">&#182;</a></h2><p>This book is <em>work in progress.</em>  All chapters planned are out now, but we keep on refining the material with <a href="html/ReleaseNotes.html">minor and major releases.</a>  To get notified on updates, <a href="https://mastodon.social/invite/3CvrkW9t">follow us on Mastodon</a>.</p>
+<div class="text_cell_render border-box-sizing rendered_html"><h2 id="News">News<a class="anchor-link" href="#News">&#182;</a></h2><p>This book is <em>work in progress.</em>  All chapters planned are out now, but we keep on refining text and code with <a href="html/ReleaseNotes.html">minor and major releases.</a>  To get notified on updates, <a href="https://mastodon.social/invite/3CvrkW9t">follow us on Mastodon</a>.</p>
 <!--
 <iframe allowfullscreen sandbox="allow-top-navigation allow-scripts allow-popups allow-popups-to-escape-sandbox" width="400" height="400" frameBorder="0" src="https://mastofeed.com/apiv2/feed?userurl=https%3A%2F%2Fmastodon.social%2Fusers%2FTheFuzzingBook&theme=auto&size=80&header=false&replies=false&boosts=false"></iframe>
 --></div>
@@ -12361,7 +12361,7 @@
 The content of this project is licensed under the
 <a href="https://creativecommons.org/licenses/by-nc-sa/4.0/" target=_blank>Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License</a>.
 The source code that is part of the content, as well as the source code used to format and display that content is licensed under the <a href="https://github.com/uds-se/fuzzingbook/blob/master/LICENSE.md#mit-license">MIT License</a>.
-<a href="https://github.com/uds-se/fuzzingbook/commits/master/notebooks/index.ipynb" target=_blank)>Last change: 2023-10-24 16:14:59+02:00</a> &bull; 
+<a href="https://github.com/uds-se/fuzzingbook/commits/master/notebooks/index.ipynb" target=_blank)>Last change: 2023-11-12 18:25:05+01:00</a> &bull; 
 <a href="#citation" id="cite" onclick="revealCitation()">Cite</a> &bull;
 <a href="https://cispa.de/en/impressum" target=_blank>Imprint</a>
 </p>
@@ -12377,7 +12377,7 @@
 <a name="citation"></a>
 <h2>How to Cite this Work</h2>
 <p>
-Andreas Zeller, Rahul Gopinath, Marcel Böhme, Gordon Fraser, and Christian Holler: "<a href="https://www.fuzzingbook.org/">The Fuzzing Book</a>".  Retrieved 2023-10-24 16:14:59+02:00.
+Andreas Zeller, Rahul Gopinath, Marcel Böhme, Gordon Fraser, and Christian Holler: "<a href="https://www.fuzzingbook.org/">The Fuzzing Book</a>".  Retrieved 2023-11-12 18:25:05+01:00.
 </p>
 <pre>
 @book{fuzzingbook2023,
@@ -12386,9 +12386,9 @@ <h2>How to Cite this Work</h2>
     year = {2023},
     publisher = {CISPA Helmholtz Center for Information Security},
     howpublished = {\url{https://www.fuzzingbook.org/}},
-    note = {Retrieved 2023-10-24 16:14:59+02:00},
+    note = {Retrieved 2023-11-12 18:25:05+01:00},
     url = {https://www.fuzzingbook.org/},
-    urldate = {2023-10-24 16:14:59+02:00}
+    urldate = {2023-11-12 18:25:05+01:00}
 }
 </pre>
 </div>

docs/notebooks/README.md

@@ -56,10 +56,10 @@ You can use this book in four ways:
 
 ## Who this Book is for
 
-This work is designed as a _textbook_ for a course in software testing; as _supplementary material_ in a software testing or software engineering course; and as a _resource for software developers_. We cover random fuzzing, mutation-based fuzzing, grammar-based test generation, symbolic testing, and much more, illustrating all techniques with code examples that you can try out yourself.
+This work is designed as a _textbook_ for a course in software testing or security testing; as _supplementary material_ in a software testing, security testing, or software engineering course; and as a _resource for software developers_. We cover random fuzzing, mutation-based fuzzing, grammar-based test generation, symbolic testing, and much more, illustrating all techniques with code examples that you can try out yourself.
 
 ## News
 
-This book is _work in progress._  All chapters planned are out now, but we keep on refining the material with [minor and major releases.](https://www.fuzzingbook.org/html/ReleaseNotes.html)  To get notified on updates, <a href="https://mastodon.social/invite/3CvrkW9t">follow us on Mastodon</a>.
+This book is _work in progress._  All chapters planned are out now, but we keep on refining text and code with [minor and major releases.](https://www.fuzzingbook.org/html/ReleaseNotes.html)  To get notified on updates, <a href="https://mastodon.social/invite/3CvrkW9t">follow us on Mastodon</a>.
 
 <!--

docs/notebooks/index.ipynb

@@ -19,10 +19,10 @@
    "execution_count": 1,
    "metadata": {
     "execution": {
-     "iopub.execute_input": "2023-11-12T12:39:12.752061Z",
-     "iopub.status.busy": "2023-11-12T12:39:12.751897Z",
-     "iopub.status.idle": "2023-11-12T12:39:12.793935Z",
-     "shell.execute_reply": "2023-11-12T12:39:12.793497Z"
+     "iopub.execute_input": "2023-11-12T17:25:14.013920Z",
+     "iopub.status.busy": "2023-11-12T17:25:14.013680Z",
+     "iopub.status.idle": "2023-11-12T17:25:14.069395Z",
+     "shell.execute_reply": "2023-11-12T17:25:14.069077Z"
     },
     "slideshow": {
      "slide_type": "skip"
@@ -44,7 +44,7 @@
        "        "
       ],
       "text/plain": [
-       "<IPython.lib.display.IFrame at 0x1071f7040>"
+       "<IPython.lib.display.IFrame at 0x1046f7280>"
       ]
      },
      "execution_count": 1,
@@ -88,7 +88,7 @@
    "source": [
     "## Who this Book is for\n",
     "\n",
-    "This work is designed as a _textbook_ for a course in software testing; as _supplementary material_ in a software testing or software engineering course; and as a _resource for software developers_. We cover random fuzzing, mutation-based fuzzing, grammar-based test generation, symbolic testing, and much more, illustrating all techniques with code examples that you can try out yourself."
+    "This work is designed as a _textbook_ for a course in software testing or security testing; as _supplementary material_ in a software testing, security testing, or software engineering course; and as a _resource for software developers_. We cover random fuzzing, mutation-based fuzzing, grammar-based test generation, symbolic testing, and much more, illustrating all techniques with code examples that you can try out yourself."
    ]
   },
   {
@@ -101,7 +101,7 @@
    "source": [
     "## News\n",
     "\n",
-    "This book is _work in progress._  All chapters planned are out now, but we keep on refining the material with [minor and major releases.](ReleaseNotes.ipynb)  To get notified on updates, <a href=\"https://mastodon.social/invite/3CvrkW9t\">follow us on Mastodon</a>.\n",
+    "This book is _work in progress._  All chapters planned are out now, but we keep on refining text and code with [minor and major releases.](ReleaseNotes.ipynb)  To get notified on updates, <a href=\"https://mastodon.social/invite/3CvrkW9t\">follow us on Mastodon</a>.\n",
     "\n",
     "<!--\n",
     "<iframe allowfullscreen sandbox=\"allow-top-navigation allow-scripts allow-popups allow-popups-to-escape-sandbox\" width=\"400\" height=\"400\" frameBorder=\"0\" src=\"https://mastofeed.com/apiv2/feed?userurl=https%3A%2F%2Fmastodon.social%2Fusers%2FTheFuzzingBook&theme=auto&size=80&header=false&replies=false&boosts=false\"></iframe>\n",