@inproceedings{inproceedings, title = {{Symbolic search-based testing}}, url = {{http://eprints.whiterose.ac.uk/152427/ }}, year = {{2011}}, month = {{1}}, author = {{Baars A and Harman M and Hassoun Y and Lakhotia K and McMinn P and Tonella P and Vos T}}, doi = {{10.1109/ASE.2011.6100119}}, isbn = {{9781457716393}}, journal = {{2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings}}, pages = {{53-62}}, note = {{Accessed on 2024/12/22}}}