%0 Conference Paper %1 conf/nas/ZhouLGQH14 %A Zhou, Lin %A Liu, Fei %A Gan, Shuitao %A Qin, Xiaojun %A Han, Wenbao %B NAS %D 2014 %I IEEE Computer Society %K %P 128-132 %T Symbolic Execution of Network Software Based on Unit Testing. %U http://dblp.uni-trier.de/db/conf/nas/nas2014.html#ZhouLGQH14 %@ 978-1-4799-4087-5

@inproceedings{conf/nas/ZhouLGQH14, added-at = {2023-12-13T05:15:02.000+0100}, author = {Zhou, Lin and Liu, Fei and Gan, Shuitao and Qin, Xiaojun and Han, Wenbao}, biburl = {https://www.bibsonomy.org/bibtex/2b26f30fbc9064c77cde4994825e7d03c/admin}, booktitle = {NAS}, crossref = {conf/nas/2014}, ee = {http://doi.ieeecomputersociety.org/10.1109/NAS.2014.28}, interhash = {a04c16d2e83ced839b45730f6053a9b8}, intrahash = {b26f30fbc9064c77cde4994825e7d03c}, isbn = {978-1-4799-4087-5}, keywords = {}, pages = {128-132}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T05:15:02.000+0100}, title = {Symbolic Execution of Network Software Based on Unit Testing.}, url = {http://dblp.uni-trier.de/db/conf/nas/nas2014.html#ZhouLGQH14}, year = 2014 }