@inproceedings{inproceedings, title  = {{Symbolic search-based testing}},

 url = {{}},

 year = {{2011}},

 month = {{12}},

 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}},

 journal = {{2011 26th IEEE ACM International Conference on Automated Software Engineering Ase 2011 Proceedings}},

 pages = {{53-62}},

 note = {{Accessed on 2025/11/29}}}