TY  - RPRT
TI  - Symbolic Execution for Verification
AU  - Joxan Jaffar
AU  - Jorge A. Navas
AU  - Andrew E. Santosa
PY  - 2011
UR  - https://arxiv.org/abs/1103.2027
ID  - 1103.2027
ER  -