QUIC is a new Internet secure transport protocol currently in the process of IETF
standardization. It is intended as a replacement for the TLS/TCP stack and will be the basis …

We present Prognosis, a framework offering automated closed-box learning and analysis of
models of network protocol implementations. Prognosis can learn models that vary in …

This paper is the first to evaluate the feasibility of deploying QUIC, a new UDP-based
transport protocol currently undergoing IETF standardization, directly on …

Implementations of network protocols must conform to their specifications in order to avoid
security vulnerabilities and interoperability issues. To detect errors, testing must investigate …

This article introduces a novel methodology, Network Simulator-centric Compositional
Testing (NSCT), to enhance the verification of network protocols with a particular focus on …

We introduce a methodology of Network-centric Compositional Testing (NCT) to develop
formal wire specifications of Internet protocols and to test protocol implementations for …

Internet traffic is experiencing rapid growth, with the majority of traffic generated from video
steaming, web data services and Internet of Things. As these services include the …

A secure transport protocol like QUIC has extensive state machines and algorithms to
ensure secure, reliable and in-order delivery of multiple byte streams. Testing these …

The rapid expansion of the Internet of Things (IoT) has introduced the need for thorough
testing of its protocol implementations to ensure conformance to their specifications and …

Testing is important in producing high quality software and can be done manually and/or
automatically. Automation has the potential to reduce testing effort (eg in developing test …