Bailin Lu

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 2

Top Topics

Bounded Model Checking

Top Venues

Publications

Liang Sun, Bailin Lu, Liangze Yin, Zhe Bu, Wenjing Jin
OpenMP Program Verification Based on Bounded Model Checking. QRS Companion (2023)
Bailin Lu, Wei Dong, Liangze Yin, Li Zhang
Evaluating and Integrating Diverse Bug Finders for Effective Program Analysis. SATE (2018)