Linear-time Temporal Logic guided Greybox Fuzzing.

Ruijie Meng, Zhen Dong, Jialin Li, Ivan Beschastnikh, Abhik Roychoudhury

Browse the full ICSE paper archive.