From 7d76de96751796cca076e021575fafd459eef6fb Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Fri, 19 Jul 2013 11:59:58 +0000
Subject: Paper on redundant state detection.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@186669 91177308-0d34-0410-b5e6-96231b3b80d8
---
 www/Publications.html | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

(limited to 'www')

diff --git a/www/Publications.html b/www/Publications.html
index aa2cde0f..2a2dd313 100644
--- a/www/Publications.html
+++ b/www/Publications.html
@@ -381,6 +381,21 @@
     <br><br>
     </li>
 
+    <li>
+      <a href="http://www.stanford.edu/~suhabe/atc13-bugrara.pdf">
+	<em>
+	  Redundant State Detection for Dynamic Symbolic Execution
+	</em>
+      </a>
+      <br>
+      Suhabe Bugrara, Dawson Engler
+      <br>
+      USENIX Annual Technical Conference (USENIX ATC 2013) 
+      <br>
+      June 26-28, 2013, San Jose, California.
+      <br><br>
+    </li>
+
   </ol>
 </div>
 </body>
-- 
cgit 1.4.1