@misc{indiciae6a1180b9cbd3,
  title = {Compiler Testing using Template Java Programs},
  author = {Zhiqiang Zang and Nathan Wiatrek and Milos Gligoric and August Shi},
  year = {2022},
  doi = {10.1145/3551349.3556958},
  url = {https://arxiv.org/abs/2209.04514},
  note = {Source identifier: 2209.04514}
}