A Comparison of Tabular Expression-Based Testing Strategies. - Xin Feng; David Lorge Parnas; T. H. Tse; Tony O'Callaghan (IEEE Trans. Software Eng., 2011)

Function Substitution: Towards Constraint Solving in Software Testing. - Xin Feng; Simon Marr; Tony O'Callaghan; Zhi Quan Zhou 001; Jacques Carette (QSIC, 2012)