Xin Feng, Simon Marr, Tony O'Callaghan, Zhi Quan Zhou, Jacques Carette. Function Substitution: Towards Constraint Solving in Software Testing. In Antony Tang, Henry Muccini, editors, 2012 12th International Conference on Quality Software, Xi'an, Shaanxi, China, August 27-29, 2012. pages 31-40, IEEE, 2012. [doi]
Abstract is missing.