%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 }