TY  - RPRT
TI  - TracerX: Dynamic Symbolic Execution with Interpolation
AU  - Joxan Jaffar
AU  - Rasool Maghareh
AU  - Sangharatna Godboley
AU  - Xuan-Linh Ha
PY  - 2020
UR  - https://arxiv.org/abs/2012.00556
ID  - 2012.00556
ER  -