Treffer: Symbolic Execution of Network Software Based on Unit Testing

Title:
Symbolic Execution of Network Software Based on Unit Testing
Authors:
Lin, Zhou, Fei, Liu, Shuitao, Gan, Xiaojun, Qin, Wenbao, Han
Source:
2014 9th IEEE International Conference on Networking, Architecture, and Storage Networking, Architecture, and Storage (NAS), 2014 9th IEEE International Conference on. :128-132 Aug, 2014
Relation:
2014 9th IEEE International Conference on Networking, Architecture, and Storage (NAS)
Database:
IEEE Xplore Digital Library