Yaoming Fan

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Symbolic Execution

Test Generation

Top Venues

Publications

Quanjun Zhang, Xu Zhai, Shicheng Xu, Wanmin Huang, Jingui Zhang, Yaoming Fan
Interactive Patch Filtering via Test Generation. DSA (2022)