Complexity analysis and comparison of test paths based on DSE. - Jiawen Lu; Lizhi Cai; Yang Zhang 131; Keyi Hong (SNPD, 2016)

Path reduction of multiple test points in dynamic symbolic execution. - Jiawen Lu; Lizhi Cai; Yang Zhang 131 (ICIS, 2017)

Combinatorial testing data generation based on bird swarm algorithm. - Yang Zhang 131; Lizhi Cai; Weijia Ji (ICSRS, 2017)

Variable Strength Combinatorial Test Data Generation Using Enhanced Bird Swarm Algorithm. - Lizhi Cai; Yang Zhang 131; Weijia Ji (SNPD, 2018)