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 …

Software verification approaches aim to check a software component under analysis for all
possible environments. In reality, however, components are expected to operate within a …

The evolution of software testing technologies has significantly reduced software testing
execution times, but the test design and generation are still often implemented with slow …

Rare events are known to potentially cause pathological behavior in biochemical reaction
systems. It is important to understand the cause. However, rare events are challenging to …

Communication-Based Train Control (CBTC) systems have been increasingly implemented
on metro systems because of their characteristics, which result in safety and capacity …

Decision support systems provide critical support to decision makers. These systems are
increasingly complex and, as a result, they are very difficult to test because of the lack of an …

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

Software verification may yield spurious failures when environment assumptions are not
accounted for. Environment assumptions are the expectations that a system or a component …

We establish a framework to reason about test campaigns described formally. First, we
introduce the notion of a test structure—an object that carries i) the formal specifications of …

In performance‐driven software engineering, the performance of a system is evaluated
through models before the system is assembled. After assembly, the performance is then …