Tamias: Feedback-Guided Systematic Concurrency Exploration for Transparent Distributed System Fuzzing
Existing distributed system fuzzers are limited by coarsegrained, nondeterministic event control and weak support for systematic schedule mutation. They rely on timing perturbations (e.g., injecting delays), which can influence execution but do not precisely realize the fine-grained event orderings that trigger many di...