Framework for Dynamic Web Services Composition Guided by Live Testing. - Mounia Elqortobi; Jamal Bentahar; Rachida Dssouli (AFRICATEK, 2017)

Chapter Three - Testing the Control-Flow, Data-Flow, and Time Aspects of Communication Systems: A Survey. - Rachida Dssouli; Ahmed Khoumsi; Mounia Elqortobi; Jamal Bentahar (Adv. Comput., 2017)

Model-Based Verification and Testing Methodology for Safety-Critical Airborne Systems. - Mounia Elqortobi; Warda El-Khouly; Amine Rahj; Jamal Bentahar; Rachida Dssouli (MEDI Workshops, 2018)

Test Generation Tool for Modified Condition/Decision Coverage: Model Based Testing. - Mounia Elqortobi; Amine Rahj; Jamal Bentahar; Rachida Dssouli (SITA, 2020)

Verification and testing of safety-critical airborne systems: A model-based methodology. - Mounia Elqortobi; Warda El-Khouly; Amine Rahj; Jamal Bentahar; Rachida Dssouli (Comput. Sci. Inf. Syst., 2020)

Model checking intelligent avionics systems for test cases generation using multi-agent systems. - Warda El Kholy; Mohamed El-Menshawy; Jamal Bentahar; Mounia Elqortobi; Amine Laarej; Rachida Dssouli (Expert Syst. Appl., 2020)

Granular Traceability Between Requirements and Test Cases for Safety-Critical Software Systems. - Mounia Elqortobi; Amine Rahj; Jamal Bentahar (MobiWIS, 2023)