Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management.

Jiawei Tyler Gu, Xudong Sun, Wentao Zhang, Yuxuan Jiang, Chen Wang, Mandana Vaziri, Owolabi Legunsen, Tianyin Xu

Browse the full SOSP paper archive.