@misc{indiciae442252671c12,
  title = {Faster Variational Execution with Transparent Bytecode Transformation},
  author = {Chu-Pan Wong and Jens Meinicke and Lukas Lazarek and Christian Kästner},
  year = {2018},
  url = {https://arxiv.org/abs/1809.04193},
  note = {Source identifier: 1809.04193}
}