An Approach to Decomposing Assertions into Java Codes. - Tong Li 015; Hongji Yang; Baowen Xu; Liang Shi (IKE, 2005)

An Approach to Transforming Parallel Function Specification into Java Program Framework. - Tong Li 015; Hongji Yang; Baowen Xu; Liang Shi (Software Engineering Research and Practice, 2005)

An approach to modelling and describing software evolution processes. - Tong Li 015 (2007)