Context: Zero-day vulnerabilities are highly destructive and sudden. However, traditional
static and dynamic testing methods cannot efficiently detect them. Objective: In this paper, a …

Background: Concurrent software testing is a costly and difficult task, especially due to the
exponential increase in the test sequences caused by non-determinism. Such an issue has …

The current increased demand for distributed applications in domains such as web services
and cloud computing has significantly increased interest in concurrent programming. This …

The Robot Operating System (ROS) is one of the most popular open source robotic
frameworks, and has contributed significantly to the fast development of robotics. Even …

This paper presents an approach to verify safety properties of Erlang-style, higher-order
concurrent programs automatically. Inspired by Core Erlang, we introduce λ Actor, a …

As software tends to be increasingly concurrent, the paradigm ofmessage passing is
becoming more prominent in computing. The language Erlang offers an intuitive and …

The asynchronous and unidirectional communication model supported by mailboxes is a
key reason for the success of actor languages like Erlang and Elixir for implementing …

We consider the problem of static deadlock detection for programs in the Go programming
language which make use of synchronous channel communications. In our analysis, regular …