TY  - RPRT
TI  - Linear-time Temporal Logic guided Greybox Fuzzing
AU  - Ruijie Meng
AU  - Zhen Dong
AU  - Jialin Li
AU  - Ivan Beschastnikh
AU  - Abhik Roychoudhury
PY  - 2022
UR  - https://arxiv.org/abs/2109.02312
ID  - 2109.02312
ER  -