TY  - CONF

T1  - Symbolic search-based testing

JO  - 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings

UR  - http://eprints.whiterose.ac.uk/152427/

PY  - 2011/01/01

AU  - Baars A

AU  - Harman M

AU  - Hassoun Y

AU  - Lakhotia K

AU  - McMinn P

AU  - Tonella P

AU  - Vos T

ED  - 

DO  - DOI: 10.1109/ASE.2011.6100119

SN  - 9781457716393

SP  - 53

EP  - 62

Y2  - 2024/12/22

ER  -