Kenza Bouaroudj

According to our database, Kenza Bouaroudj authored at least 6 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2023

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

2015

Formal testing theory of stochastic systems under maximality semantics.

Kenza Bouaroudj, Djamel-Eddine Saïdouni, Ilham Kitouni

Int. J. Comput. Aided Eng. Technol., 2015

2013

Testing Stochastic Systems Using MoVoS Tool: Case Studies.

Kenza Bouaroudj, Djamel-Eddine Saïdouni, Ilham Kitouni

Proceedings of the Information and Software Technologies - 19th International Conference, 2013

2012

Extending Refusal Testing by Stochastic Refusals for Testing Non-deterministic Systems

Kenza Bouaroudj, Ilham Kitouni, Hiba Hachichi, Djamel-Eddine Saïdouni

CoRR, 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

A Graph Transformation Approach for Testing Timed Systems.

Hiba Hachichi, Ilham Kitouni, Kenza Bouaroudj, Djamel-Eddine Saïdouni

Proceedings of the Information and Software Technologies - 18th International Conference, 2012