Program Sifting: Select Property-Related Functions for Language-Based Static Analysis. - Kai Yu 013; Cong Wang; Yin-li Chen; Mengxiang Lin (APSEC, 2009)

Lazy Symbolic Evaluation and Its Path Constraints Solution. - Mengxiang Lin; Yin-li Chen; Kai Yu 013; Guo-shi Wu (AST, 2009)

Achieving High Branch Coverage with Fewer Paths. - Yu Dong; Mengxiang Lin; Kai Yu 013; Yi Zhou; Yin-li Chen (COMPSAC Workshops, 2011)

Lazy symbolic execution for test data generation. - Mengxiang Lin; Yin-li Chen; Kai Yu 013; Guo-shi Wu (IET Softw., 2011)