Strategies on Algebraic Attacks Using SAT Solvers. - Baiqiang Chen (ICYCS, 2008)

Combinatorial Testing with Shielding Parameters. - Baiqiang Chen; Jun Yan 009; Jian Zhang 001 (APSEC, 2010)

Tuple density: a new metric for combinatorial test suites. - Baiqiang Chen; Jian Zhang 001 (ICSE, 2011)