TY  - RPRT
TI  - Indexing Operators to Extend the Reach of Symbolic Execution
AU  - Earl T. Barr
AU  - David Clark
AU  - Mark Harman
AU  - Alexandru Marginean
PY  - 2018
UR  - https://arxiv.org/abs/1806.10235
ID  - 1806.10235
ER  -