A Runtime Monitoring Based Fuzzing Framework for Temporal Properties.

Jinjian Luo, Meixi Liu, Yunlai Luo, Zhenbang Chen, Yufeng Zhang

Browse the full ISSRE paper archive.