A Runtime Monitoring Based Fuzzing Framework for Temporal Properties. - Jinjian Luo; Meixi Liu; Yunlai Luo; Zhenbang Chen; Yufeng Zhang 001 (ISSRE Workshops, 2021)