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)