A Runtime Monitoring Based Fuzzing Framework for Temporal Properties