@inproceedings{DBLP:conf/icse/CadarGKPSTV11,
author = {Cristian Cadar and
Patrice Godefroid and
Sarfraz Khurshid and
Corina S. Pasareanu and
Koushik Sen and
Nikolai Tillmann and
Willem Visser},
title = {Symbolic execution for software testing in practice: preliminary
assessment},
booktitle = {ICSE},
year = {2011},
pages = {1066-1071},
ee = {http://doi.acm.org/10.1145/1985793.1985995},
crossref = {DBLP:conf/icse/2011},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/icse/2011,
editor = {Richard N. Taylor and
Harald Gall and
Nenad Medvidovic},
title = {Proceedings of the 33rd International Conference on Software
Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May
21-28, 2011},
booktitle = {ICSE},
publisher = {ACM},
year = {2011},
isbn = {978-1-4503-0445-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}