| Automatic reliability testing for cluster management controllers X Sun, W Luo, JT Gu, A Ganesan, R Alagappan, M Gasch, L Suresh, T Xu 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2022 | 31 | 2022 |
| Acto: Automatic end-to-end testing for operation correctness of cloud system management JT Gu, X Sun, W Zhang, Y Jiang, C Wang, M Vaziri, O Legunsen, T Xu Proceedings of the 29th Symposium on Operating Systems Principles, 96-112, 2023 | 16 | 2023 |
| Anvil: Verifying liveness of cluster management controllers X Sun, W Ma, JT Gu, Z Ma, T Chajed, J Howell, A Lattuada, O Padon, ... 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2024 | 14 | 2024 |
| Acto: Push-Button End-to-End Testing for Operation Correctness of Kubernetes Operators JT Gu, X Sun, Z Tang, C Wang, M Vaziri, O Legunsen, T Xu USENIX; login:(Aug. 2024). https://www. usenix. org/publications/loginonline …, 0 | 1 | |
| Anvil: Building Kubernetes Controllers That Do Not Break X Sun, JT Gu, C Rivera, T Chajed, J Howell, A Lattuada, O Padon, ... USENIX; login:(June 2024). https://www. usenix. org/publications/loginonline …, 0 | 1 | |
| Sieve: Chaos Testing for Kubernetes Controllers X Sun, W Luo, JT Gu, A Ganesan, R Alagappan, M Gasch, L Suresh, T Xu | | |
