JaeSeung is currently an Assistant Professor in the Department of Computer and Information Security at Sejong University.
Group Publications
-
SymbexNet: Testing Network Protocol Implementations with Symbolic Execution and Rule-Based Specifications
JaeSeung Song, Cristian Cadar, Peter Pietzuch
IEEE Transactions on Software Engineering (TSE 2014)
-
Rule-based Verification of Network Protocol Implementations using Symbolic Execution
JaeSeung Song, Tiejun Ma, Cristian Cadar, Peter Pietzuch
IEEE International Conference on Computer Communications and Networks (ICCCN 2011)