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

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

Many cloud services are relying on distributed key-value stores such as ZooKeeper,
Cassandra, HBase, etc. However, distributed key-value stores are notoriously difficult to …

Internet‐scale distributed systems often replicate data at multiple geographic locations to
provide low latency and high availability, despite node and network failures. According to …

Fault injection testing is vital for assessing the resilience of distributed microservice
applications against infrastructure and downstream service failures. Typically performed in …

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

Distributed file systems (DFSes) are prone to bugs. Although numerous bug-finding
techniques have been applied to DF-Ses, static analysis does not scale well with the sheer …