Acto: Automatic end-to-end testing for operation correctness of cloud system management

JT Gu, X Sun, W Zhang, Y Jiang, C Wang… - Proceedings of the 29th …, 2023 - dl.acm.org
Cloud systems are increasingly being managed by operation programs termed operators,
which automate tedious, human-based operations. Operators of modern management …

Virtual device farms for mobile app testing at scale: A pursuit for fidelity, efficiency, and accessibility

H Lin, J Qiu, H Wang, Z Li, L Gong, D Gao… - Proceedings of the 29th …, 2023 - dl.acm.org
Virtual devices based on device emulation have been widely used in lab research of mobile
app testing for their efficiency and low cost. However, it remains controversial to use virtual …

Trinity: High-Performance and Reliable Mobile Emulation through Graphics Projection

H Lin, Z Li, D Gao, Y Liu, F Qian, T Xu - ACM Transactions on Computer …, 2024 - dl.acm.org
Mobile emulation, which creates full-fledged software mobile devices on a physical
PC/server, is pivotal to the mobile ecosystem. Unfortunately, existing mobile emulators …

Mutiny! How does Kubernetes fail, and what can we do about it?

M Barletta, M Cinque, C Di Martino… - arXiv preprint arXiv …, 2024 - arxiv.org
In this paper, we i) analyze and classify real-world failures of Kubernetes (the most popular
container orchestration system), ii) develop a framework to perform a fault/error injection …

MSF-Model: Modeling Metastable Failures in Replicated Storage Systems

F Habibi, T Lorido-Botran, A Showail… - arXiv preprint arXiv …, 2023 - arxiv.org
Metastable failure is a recent abstraction of a pattern of failures that occurs frequently in real-
world distributed storage systems. In this paper, we propose a formal analysis and modeling …

[PDF][PDF] Virtual Device Farms for Mobile App Testing at Scale

H Lin, J Qiu, H Wang, Z Li, L Gong, D Gao, Y Liu… - 2023 - thucloud.com
Virtual devices based on device emulation have been widely used in lab research of mobile
app testing for their efficiency and low cost. However, it remains controversial to use virtual …

Varda: a language for programming distributed systems by composition

L Prosperi - 2023 - theses.hal.science
Large distributed systems are often built by assembling off-the-shelf (OTS) components, eg,
components, services, processes, etc., developed independently. The current approach is to …

[PDF][PDF] Going Beyond an Incident Report with TLA

F Hackett, J Rowe, MA Kuppe - 2023 - usenix.org
Incident reports describe what happened when a system's performance was degraded, or
when it stopped working entirely. They document the measurements made, the changes …