Our paper “Automatic Testing for Correct Operations of Cloud Systems” is accepted by SOSP 2023! See you in Germany!