@misc{indiciaeeae4cb3e61d0,
  title = {Shadow Symbolic Execution with Java PathFinder},
  author = {Yannic Noller and Hoang Lam Nguyen and Minxing Tang and Timo Kehrer},
  year = {2018},
  doi = {10.1145/3149485.3149492},
  url = {https://arxiv.org/abs/1802.01714},
  note = {Source identifier: 1802.01714}
}