@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/23}}}