diff --git a/README.md b/README.md index acb493d..d9f228c 100644 --- 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