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

Grammar-agnostic symbolic execution by token symbolization. - Weiyu Pan; Zhenbang Chen; Guofeng Zhang 005; Yunlai Luo; Yufeng Zhang 001; Ji Wang 001 (ISSTA, 2021)

Token-level Input Grammar Synthesis (P). - Yunlai Luo (SEKE, 2023)