Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/icse/GeTXT11
%A Ge, Xi
%A Taneja, Kunal
%A Xie, Tao
%A Tillmann, Nikolai
%B ICSE
%D 2011
%E Taylor, Richard N.
%E Gall, Harald C.
%E Medvidovic, Nenad
%I ACM
%K dblp
%P 992-994
%T DyTa: dynamic symbolic execution guided with static verification results.
%U http://dblp.uni-trier.de/db/conf/icse/icse2011.html#GeTXT11
%@ 978-1-4503-0445-0
@inproceedings{conf/icse/GeTXT11,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Ge, Xi and Taneja, Kunal and Xie, Tao and Tillmann, Nikolai},
biburl = {https://www.bibsonomy.org/bibtex/267b87a11d73dbb511a99f090e2459812/dblp},
booktitle = {ICSE},
crossref = {conf/icse/2011},
editor = {Taylor, Richard N. and Gall, Harald C. and Medvidovic, Nenad},
ee = {https://doi.org/10.1145/1985793.1985971},
interhash = {939e429cc48f1d23aaba26c8af15c5ca},
intrahash = {67b87a11d73dbb511a99f090e2459812},
isbn = {978-1-4503-0445-0},
keywords = {dblp},
pages = {992-994},
publisher = {ACM},
timestamp = {2018-11-07T14:46:04.000+0100},
title = {DyTa: dynamic symbolic execution guided with static verification results.},
url = {http://dblp.uni-trier.de/db/conf/icse/icse2011.html#GeTXT11},
year = 2011
}