A Graph Transformation Approach for Testing Timed Systems. - Hiba Hachichi; Ilham Kitouni; Kenza Bouaroudj; Djamel-Eddine Saïdouni (ICIST, 2012)

A Graphical Tool for Testing Timed Systems based on Meta- Modeling and Graph Grammars - Hiba Hachichi; Ilham Kitouni; Kenza Bouaroudj; Djamel-Eddine Saïdouni (CoRR, 2012)

Extending Refusal Testing by Stochastic Refusals for Testing Non-deterministic Systems - Kenza Bouaroudj; Ilham Kitouni; Hiba Hachichi; Djamel-Eddine Saïdouni (CoRR, 2012)

Testing Stochastic Systems Using MoVoS Tool: Case Studies. - Kenza Bouaroudj; Djamel-Eddine Saïdouni; Ilham Kitouni (ICIST, 2013)

Formal testing theory of stochastic systems under maximality semantics. - Kenza Bouaroudj; Djamel-Eddine Saïdouni; Ilham Kitouni (Int. J. Comput. Aided Eng. Technol., 2015)

Quality evaluation of commercially available healthcare applications for prostate cancer management. - Kenza Bouaroudj; Ilham Kitouni; Abdelmouhsen Lechekhab; Zinelabidine Leghelimi; Issam Kara (Multim. Tools Appl., 2023)