Maged Sheghdara

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

Jameleddine Hassine, Maged Sheghdara, J. Hassine, 2020, J. Syst. Softw..