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