@inproceedings{gu:sosp:23, author = {Jiawei Tyler Gu and Xudong Sun and Wentao Zhang and Yuxuan Jiang and Chen Wang and Mandana Vaziri and Owolabi Legunsen and Tianyin Xu}, title = "{Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management}", booktitle = {Proceedings of the 29th ACM Symposium on Operating Systems Principles (SOSP'23)}, month = OCT, year = 2023, }