%0 Journal Article %1 journals/jcst/ZhangGWJ19 %A Zhang, Mingzhe %A Gong, Yunzhan %A Wang, Yawen %A Jin, Dahai %D 2019 %J J. Comput. Sci. Technol. %K dblp %N 3 %P 670-689 %T Unit Test Data Generation for C Using Rule-Directed Symbolic Execution. %U http://dblp.uni-trier.de/db/journals/jcst/jcst34.html#ZhangGWJ19 %V 34

@article{journals/jcst/ZhangGWJ19, added-at = {2020-03-12T00:00:00.000+0100}, author = {Zhang, Mingzhe and Gong, Yunzhan and Wang, Yawen and Jin, Dahai}, biburl = {https://www.bibsonomy.org/bibtex/25a80846494f48032cf2001a670a99b30/dblp}, ee = {https://doi.org/10.1007/s11390-019-1935-7}, interhash = {66a9a01b7770d40d0fa90711d5ab0470}, intrahash = {5a80846494f48032cf2001a670a99b30}, journal = {J. Comput. Sci. Technol.}, keywords = {dblp}, number = 3, pages = {670-689}, timestamp = {2020-03-13T11:47:54.000+0100}, title = {Unit Test Data Generation for C Using Rule-Directed Symbolic Execution.}, url = {http://dblp.uni-trier.de/db/journals/jcst/jcst34.html#ZhangGWJ19}, volume = 34, year = 2019 }