@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,
}