Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/fgcs/ChenZGLW13
%A Chen, Ting
%A Zhang, Xiaosong
%A ze Guo, Shi
%A yuan Li, Hong
%A Wu, Yue
%D 2013
%J Future Gener. Comput. Syst.
%K dblp
%N 7
%P 1758-1773
%T State of the art: Dynamic symbolic execution for automated test generation.
%U http://dblp.uni-trier.de/db/journals/fgcs/fgcs29.html#ChenZGLW13
%V 29
@article{journals/fgcs/ChenZGLW13,
added-at = {2022-08-11T00:00:00.000+0200},
author = {Chen, Ting and Zhang, Xiaosong and ze Guo, Shi and yuan Li, Hong and Wu, Yue},
biburl = {https://www.bibsonomy.org/bibtex/2cf0d3f77887ca49c9655df1b7b93e186/dblp},
ee = {https://doi.org/10.1016/j.future.2012.02.006},
interhash = {4121a1ac35de1d1338e016aa1c690183},
intrahash = {cf0d3f77887ca49c9655df1b7b93e186},
journal = {Future Gener. Comput. Syst.},
keywords = {dblp},
number = 7,
pages = {1758-1773},
timestamp = {2024-04-09T02:18:51.000+0200},
title = {State of the art: Dynamic symbolic execution for automated test generation.},
url = {http://dblp.uni-trier.de/db/journals/fgcs/fgcs29.html#ChenZGLW13},
volume = 29,
year = 2013
}