Automatic retrieval and analysis of high availability scenarios from system execution traces: A case study on hot standby router protocol

Maged Sheghdara, Jameleddine Hassine. Automatic retrieval and analysis of high availability scenarios from system execution traces: A case study on hot standby router protocol. Journal of Systems and Software, 161, 2020. [doi]

Abstract

Abstract is missing.