The emergence of OpenFlow-capable switches enables exciting new network functionality,
at the risk of programming errors that make communication less reliable. The centralized …

This article presents S2E, a platform for analyzing the properties and behavior of software
systems, along with its use in developing tools for comprehensive performance profiling …

The increasing adoption of Software Defined Networking, and OpenFlow in particular, brings
great hope for increasing extensibility and lowering costs of deploying new network …

In this paper, we propose Gatling, a framework that automatically finds performance attacks
caused by insider attackers in large-scale message-passing distributed systems. In …

Testing the components of a distributed system is challenging as it requires consideration of
not just the state of a component, but also the sequence of messages it may receive from the …

As today's distributed applications increase in complexity, it becomes increasingly difficult to
detect errors and performance anomalies in these applications. In addition, some faults only …

Systematic exploration is an approach to finding race conditions by deterministically
executing every possible interleaving of thread transitions and identifying which ones …

This paper presents a formal modeling paradigm that is callable from C, the dominant
language for embedded systems programming, for message passing APIs that provides …

In the past 15 years, stateless exploration, a collection of techniques for automated and
systematic testing of concurrent programs, has experienced wide-spread adoption. As …

Systematic testing, first demonstrated in small, specialized cases 15 years ago, has matured
sufficiently for large-scale systems developers to begin to put it into practice. With actual …