TY  - RPRT
TI  - Efficient Loop Navigation for Symbolic Execution
AU  - Jan Obdrzalek
AU  - Marek Trtik
PY  - 2011
UR  - https://arxiv.org/abs/1107.1398
ID  - 1107.1398
ER  -