Publications

Filters: Author is Cristian Cadar  [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
Multiplicity Computing: A Vision of Software Engineering for Next-Generation Computing Platform Applications
Cristian Cadar, Peter Pietzuch, and Alexander L. Wolf
FSE/SDP Workshop on the Future of Software Engineering Research (FoSER), 2010
Santa Fe, NM, USA
Year of Publication