J Lu, C Liu, L Li, X Feng, F Tan, J Yang, L You - 2019 - researchgate.net
Crash-recovery bugs (bugs in crash-recovery-related mechanisms) are among the most
severe bugs in cloud systems and can easily cause system failures. It is notoriously difficult …