2023 Automatic Testing for Correct Operations of Cloud Systems Jiawei Tyler Gu, Xudong Sun, Yuxuan Jiang, and 4 more authors In Proceedings of the 29th ACM Symposium on Operating Systems Principles (SOSP’23), Koblenz, Germany, Oct 2023