TY  - RPRT
TI  - Benchmarking Symbolic Execution Using Constraint Problems -- Initial Results
AU  - Sahil Verma
AU  - Roland H. C. Yap
PY  - 2020
DO  - 10.1109/ictai.2019.00010
UR  - https://arxiv.org/abs/2001.07914
ID  - 2001.07914
ER  -