Towards Model based Testing for Software Defined Networks. - Asma Berriri; Jorge López; Natalia Kushik; Nina Yevtushenko 001; Djamal Zeghlache (ENASE, 2018)

Test Derivation for SDN-Enabled Switches: A Logic Circuit Based Approach. - Jorge López; Natalia Kushik; Asma Berriri; Nina Yevtushenko 001; Djamal Zeghlache (ICTSS, 2018)

Model based testing techniques for software defined networks. (Méthodes de test basées sur les modèles pour la validation des réseaux logiciels (SDN)). - Asma Berriri (2019)