TY  - RPRT
TI  - Shadow Symbolic Execution with Java PathFinder
AU  - Yannic Noller
AU  - Hoang Lam Nguyen
AU  - Minxing Tang
AU  - Timo Kehrer
PY  - 2018
DO  - 10.1145/3149485.3149492
UR  - https://arxiv.org/abs/1802.01714
ID  - 1802.01714
ER  -