A Runtime Monitoring Based Fuzzing Framework for Temporal Properties.

Jinjian Luo Meixi Liu Yunlai Luo Zhenbang Chen Yufeng Zhang

Published in: ISSRE Workshops (2021)

Keyphrases

temporal properties
main contribution
real time
theoretical framework
model checking
neural network
pattern recognition
data analysis
programming language
knowledge acquisition
knowledge based systems
monitoring system
design patterns