TY  - RPRT
TI  - On Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs
AU  - Hui Xu
AU  - Zirui Zhao
AU  - Yangfan Zhou
AU  - Michael R. Lyu
PY  - 2018
UR  - https://arxiv.org/abs/1712.01674
ID  - 1712.01674
ER  -