add 'On Benchmarking the Capability of Symbolic Execution Tools with …

…Logic Bombs'
pcy190 · Dec 13, 2017 · e3a1bea · e3a1bea
1 parent f354148
commit e3a1bea
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/angr-papers.bib b/angr-papers.bib
@@ -316,3 +316,10 @@ @article{palavicinitowards
 	title={Towards Firmware Analysis of Industrial Internet of Things (IIoT)},
 	author={Palavicini Jr, Geancarlo and Bryan, Josiah and Sheets, Eaven and Kline, Megan and San Miguel, John}
 }
+
+@article{xu2017benchmarking,
+	title={On Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs},
+	author={Xu, Hui and Zhao, Zirui and Zhou, Yangfan and Lyu, Michael R},
+	journal={arXiv preprint arXiv:1712.01674},
+	year={2017}
+}