add demo video

Author: sujin0529

docs/index.html

@@ -199,7 +199,7 @@ <h1>UnitCon: Synthesizing Targeted Unit Tests for Java Runtime Exceptions</h1>
     <div class="entry-content">
          <h1>Introduction</h1>
          <strong>UnitCon</strong> is a system that synthesizes targeted unit tests to trigger runtime exceptions in Java programs. UnitCon uses static analysis to prune and prioritize the search space, enabling efficient discovery of exception-triggering tests. Applied to 51 open-source projects, UnitCon found 21 previously unknown null pointer exception (NPE) bugs.
-     </div>
+    </div>
     <div class="entry-content">
         <style>
   .overview-ul {
@@ -239,6 +239,31 @@ <h1>Overview of UnitCon</h1>
     If the targeted exception is successfully reproduced, the test case is returned; otherwise, it is discarded.
   </li>
 </ul>
+    </div>
+    <div class="entry-content">
+        <style>
+  .demo-video {
+    margin-left:auto;
+    margin-right:auto;
+    width: 100%;
+  }
+</style>
+
+<h1>Demo Video</h1>
+
+<video class="demo-video" autoplay muted loop>
+  <source src="video/unitcon-demo.mp4" type="video/mp4">
+  Your browser does not support the video tag.
+</video>
+
+This video demonstrates the process of running UnitCon on an example program.
+<br>
+The example program is the <b><em>Main</em></b> program inside the <b><em>test</em></b> directory.
+Line <b><em>11</em></b> of the <b><em>Main.java</em></b> file in this program is the target location.
+By executing UnitCon's <em>build</em>, <em>analyze</em>, and <em>synthesize</em> commands in order, you can synthesize a unit test case that triggers the target error.
+<br>
+If UnitCon successfully synthesizes a unit test case that triggers the target error, it returns the location of the generated test file and the command to run it.
+Then, you can run it!
     </div>
     <div class="entry-content">
         <style>

docs/video/unitcon-demo.mp4

@@ -0,0 +1,23 @@
+<style>
+  .demo-video {
+    margin-left:auto;
+    margin-right:auto;
+    width: 100%;
+  }
+</style>
+
+<h1>Demo Video</h1>
+
+<video class="demo-video" autoplay muted loop>
+  <source src="video/unitcon-demo.mp4" type="video/mp4">
+  Your browser does not support the video tag.
+</video>
+
+This video demonstrates the process of running UnitCon on an example program.
+<br>
+The example program is the <b><em>Main</em></b> program inside the <b><em>test</em></b> directory.
+Line <b><em>11</em></b> of the <b><em>Main.java</em></b> file in this program is the target location.
+By executing UnitCon's <em>build</em>, <em>analyze</em>, and <em>synthesize</em> commands in order, you can synthesize a unit test case that triggers the target error.
+<br>
+If UnitCon successfully synthesizes a unit test case that triggers the target error, it returns the location of the generated test file and the command to run it.
+Then, you can run it!

static/video/unitcon-demo.mp4

@@ -24,10 +24,13 @@ <h1>{{ .Title | markdownify }}</h1>
     <div class="entry-content">
          <h1>Introduction</h1>
          {{ .Content | markdownify }}
-     </div>
+    </div>
     <div class="entry-content">
         {{ partial "overview.html" }}
     </div>
+    <div class="entry-content">
+        {{ partial "demo.html" }}
+    </div>
     <div class="entry-content">
         {{ partial "bug_report.html" }}
     </div>