Arthur I. Baars Mark Harman Youssef Hassoun Kiran Lakhotia Phil McMinn Paolo Tonella Tanja E. J. Vos Symbolic search-based testing. 53-62 2011 ASE http://dx.doi.org/10.1109/ASE.2011.6100119 conf/kbse/2011 db/conf/kbse/ase2011.html#BaarsHHLMTV11