Efficient data race detection for interrupt-driven programs via path feasibility analysis. - Jingwen Zhao; Yanxia Wu; Jibin Dong (J. Supercomput., 2024)

Thread-sensitive fuzzing for concurrency bug detection. - Jingwen Zhao; Yan Fu; Yanxia Wu 001; Jibin Dong; Ruize Hong (Comput. Secur., 2025)

Detect atomicity violations in concurrent programs through user assistance and identification of suspicious variable access patterns. - Jingwen Zhao; Yanxia Wu; Yun Feng; Jibin Dong; Changting Shi (J. Softw. Evol. Process., 2025)