Kenza Bouaroudj

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 1

Top Topics

Stochastic Systems

Prostate Cancer

Quality Evaluation

Top Venues

Multim. Tools Appl.

Int. J. Comput. Aided Eng. Technol.

Publications

Kenza Bouaroudj, Ilham Kitouni, Abdelmouhsen Lechekhab, Zinelabidine Leghelimi, Issam Kara
Quality evaluation of commercially available healthcare applications for prostate cancer management. Multim. Tools Appl. 82 (20) (2023)
Kenza Bouaroudj, Djamel-Eddine Saïdouni, Ilham Kitouni
Formal testing theory of stochastic systems under maximality semantics. Int. J. Comput. Aided Eng. Technol. 7 (3) (2015)
Kenza Bouaroudj, Djamel-Eddine Saïdouni, Ilham Kitouni
Testing Stochastic Systems Using MoVoS Tool: Case Studies. ICIST (2013)
Kenza Bouaroudj, Ilham Kitouni, Hiba Hachichi, Djamel-Eddine Saïdouni
Extending Refusal Testing by Stochastic Refusals for Testing Non-deterministic Systems CoRR (2012)
Hiba Hachichi, Ilham Kitouni, Kenza Bouaroudj, Djamel-Eddine Saïdouni
A Graphical Tool for Testing Timed Systems based on Meta- Modeling and Graph Grammars CoRR (2012)
Hiba Hachichi, Ilham Kitouni, Kenza Bouaroudj, Djamel-Eddine Saïdouni
A Graph Transformation Approach for Testing Timed Systems. ICIST (2012)