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]
@inproceedings{FengMOZC12,
title = {Function Substitution: Towards Constraint Solving in Software Testing},
author = {Xin Feng and Simon Marr and Tony O'Callaghan and Zhi Quan Zhou and Jacques Carette},
year = {2012},
doi = {10.1109/QSIC.2012.32},
url = {http://dx.doi.org/10.1109/QSIC.2012.32},
researchr = {https://researchr.org/publication/FengMOZC12},
cites = {0},
citedby = {0},
pages = {31-40},
booktitle = {2012 12th International Conference on Quality Software, Xi'an, Shaanxi, China, August 27-29, 2012},
editor = {Antony Tang and Henry Muccini},
publisher = {IEEE},
isbn = {978-1-4673-2857-9},
}