Mounia Elqortobi

Verification and testing of safety-critical airborne systems: A model-based methodology

Jamal Bentahar, Rachida Dssouli, Mounia Elqortobi, 2020, Comput. Sci. Inf. Syst..

Framework for Dynamic Web Services Composition Guided by Live Testing

Jamal Bentahar, Rachida Dssouli, Mounia Elqortobi, 2017, AFRICATEK.

Model-Based Verification and Testing Methodology for Safety-Critical Airborne Systems

Jamal Bentahar, Rachida Dssouli, Mounia Elqortobi, 2018, MEDI Workshops.

Model checking intelligent avionics systems for test cases generation using multi-agent systems

Jamal Bentahar, Rachida Dssouli, Mohamed El-Menshawy, 2020, Expert Syst. Appl..

Chapter Three - Testing the Control-Flow, Data-Flow, and Time Aspects of Communication Systems: A Survey

Jamal Bentahar, Ahmed Khoumsi, Rachida Dssouli, 2017, Adv. Comput..

Test Generation Tool for Modified Condition/Decision Coverage: Model Based Testing

Jamal Bentahar, Rachida Dssouli, Mounia Elqortobi, 2020, SITA.