Yunlai Luo

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 3

Top Topics

Temporal Properties

Specification Language

Test Generation

Symbolic Execution

Top Venues

ISSRE Workshops

Publications

Yunlai Luo
Token-level Input Grammar Synthesis (P). SEKE (2023)
Weiyu Pan, Zhenbang Chen, Guofeng Zhang, Yunlai Luo, Yufeng Zhang, Ji Wang
Grammar-agnostic symbolic execution by token symbolization. ISSTA (2021)
Jinjian Luo, Meixi Liu, Yunlai Luo, Zhenbang Chen, Yufeng Zhang
A Runtime Monitoring Based Fuzzing Framework for Temporal Properties. ISSRE Workshops (2021)