%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 dblp %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-03-23T00:00:00.000+0100}, author = {Zhou, Lin and Liu, Fei and Gan, Shuitao and Qin, Xiaojun and Han, Wenbao}, biburl = {https://www.bibsonomy.org/bibtex/2b26f30fbc9064c77cde4994825e7d03c/dblp}, booktitle = {NAS}, crossref = {conf/nas/2014}, ee = {https://doi.ieeecomputersociety.org/10.1109/NAS.2014.28}, interhash = {a04c16d2e83ced839b45730f6053a9b8}, intrahash = {b26f30fbc9064c77cde4994825e7d03c}, isbn = {978-1-4799-4087-5}, keywords = {dblp}, pages = {128-132}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:39:06.000+0200}, title = {Symbolic Execution of Network Software Based on Unit Testing.}, url = {http://dblp.uni-trier.de/db/conf/nas/nas2014.html#ZhouLGQH14}, year = 2014 }