Model-Guided Fuzzing of Distributed Systems
Published:
Recommended citation: Gulcan, E. B., Ozkan, B. K., Majumdar, R., & Nagendra, S. (2025). Model-Guided Fuzzing of Distributed Systems. Proceedings of the ACM on Programming Languages, 9(OOPSLA2), 274–301. https://dl.acm.org/doi/10.1145/3689735