The rapid advancement of Artificial Intelligence (AI) has led to its integration into various
areas, especially with Large Language Models (LLMs) significantly enhancing capabilities …

Distributed systems have become the backbone of cloud computing. Incorrect system
designs and implementations can greatly impair the reliability of distributed systems …

Implementation-level distributed system model checkers (DMCKs) have proven valuable in
verifying the correctness of real distributed systems. However, they primarily focus on state …

Delays are inevitable in complex distributed environments. Timeout mechanisms are
commonly used to handle unexpected failures in distributed systems. However, incorrect …

Bugs in popular distributed protocol implementations have been the source of many
downtimes in popular internet services. We describe a randomized testing approach for …

Kubernetes is the leading cluster management platform, and within Kubernetes, an operator
is an application-specific program that leverages the Kubernetes API to automate operation …

Distributed systems are expected to correctly recover from various faults, eg, node
crash/reboot and network disconnection/reconnection. However, faults that occur under …

We present a coverage-guided testing algorithm for distributed systems implementations.
Our main innovation is the use of an abstract formal model of the system that is used to …

This paper presents DistFuzz, which, to our knowledge, is the first feedback-guided blackbox
fuzzing framework for distributed systems. The novelty of DistFuzz comes from two …