TY  - RPRT
TI  - Relational Symbolic Execution
AU  - Gian Pietro Farina
AU  - Stephen Chong
AU  - Marco Gaboardi
PY  - 2019
UR  - https://arxiv.org/abs/1711.08349
ID  - 1711.08349
ER  -