Efficient Exposure of Partial Failure Bugs in Distributed Systems with Inferred Abstract States

Explore a groundbreaking approach to exposing partial failure bugs in distributed systems through an 18-minute conference talk from NSDI '24. Dive into Legolas, an innovative fault injection testing framework designed by researchers from Johns Hopkins University and the University of Michigan. Learn how this tool utilizes static code analysis, instrumentation, and a novel concept of abstract states to efficiently simulate subtle faults and uncover hard-to-detect bugs. Discover how Legolas successfully identified 20 new bugs causing partial service failures in six popular, extensively tested distributed systems. Gain insights into advanced testing methodologies that can significantly improve the reliability and robustness of complex distributed systems.