TY  - CONF

T1  - Symbolic search-based testing

JO  - 2011 26th IEEE ACM International Conference on Automated Software Engineering Ase 2011 Proceedings

PY  - 2011/12/12

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

SP  - 53

EP  - 62

Y2  - 2025/11/29

ER  -