Design and Implementation of Flight Visual Simulation System - Feng Tian; Wenjian Chai; Chuanyun Wang; Xiaoping Sun (CoRR, 2012)

Slicing Assisted Program Verification: An Empirical Study. - Wenjian Chai; Rongjie Yan; Wenhui Zhang; Jian Zhang (TASE, 2024)