Generating Test Cases from UML Activity Diagram based on Gray-Box Method. - Linzhang Wang; Jiesong Yuan; Xiaofeng Yu; Jun Hu; Xuandong Li; Guoliang Zheng (APSEC, 2004)

Runtime Verification of Java Programs for Scenario-Based Specifications. - Xuandong Li; Linzhang Wang; Xiaokang Qiu; Bin Lei; Jiesong Yuan; Jianhua Zhao; Guoliang Zheng (Ada-Europe, 2006)