@misc{indiciae04f4a5cb983a,
  title = {Indexing Operators to Extend the Reach of Symbolic Execution},
  author = {Earl T. Barr and David Clark and Mark Harman and Alexandru Marginean},
  year = {2018},
  url = {https://arxiv.org/abs/1806.10235},
  note = {Source identifier: 1806.10235}
}