Publications

Filters: Author is JaeSeung Song  [Clear All Filters]
2014
SymbexNet: Testing Network Protocol Implementations with Symbolic Execution and Rule-Based Specifications
JaeSeung Song, Cristian Cadar, and Peter Pietzuch
IEEE Transactions on Software Engineering (TSE), 2014
Volume 40, Issue 7, p.695--709
2011
Rule-based Verification of Network Protocol Implementations using Symbolic Execution
JaeSeung Song, Tiejun Ma, Cristian Cadar, and Peter Pietzuch
20th IEEE International Conference on Computer Communications and Networks (ICCCN), 2011
Maui, Hawaii, USA
2010
Towards Automated Verification of Autonomous Networks: A Case Study in Self-Configuration
JaeSeung Song, Tiejun Ma, and Peter Pietzuch
Sixth IEEE PerCom Workshop on Pervasive Wireless Networking (PWN), 2010
Mannheim, Germany
Year of Publication