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)

A Graph Transformation Approach for Modeling UML Diagrams. - Hiba Hachichi (Int. J. Syst. Serv. Oriented Eng., 2022)