Merge branch 'master' of github.com:codelion/pathgrind

codelion · Nov 19, 2013 · d936e6f · d936e6f
2 parents 598bf43 + 8232ae2
commit d936e6f
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -36,3 +36,9 @@ $ ./fuzz/fuzz.py test6
 New input are created in testcase/input/
 
 Crash files are be saved in testcase/crash/
+
+Publications
+------------
+[An Empirical Study of Path Feasibility Queries] (http://arxiv.org/abs/1302.4798), CoRR 2013
+
+A Critical Review of Dynamic Taint Analysis and Forward Symbolic Execution, Technical Report NUS 2012