@misc{indiciae6d3ffd0c4e6e,
  title = {Linear-time Temporal Logic guided Greybox Fuzzing},
  author = {Ruijie Meng and Zhen Dong and Jialin Li and Ivan Beschastnikh and Abhik Roychoudhury},
  year = {2022},
  url = {https://arxiv.org/abs/2109.02312},
  note = {Source identifier: 2109.02312}
}