Hiba Hachichi, Ilham Kitouni, Kenza Bouaroudj, Djamel-Eddine Saïdouni. A Graph Transformation Approach for Testing Timed Systems. In Tomas Skersys, Rimantas Butleris, Rita Butkiene, editors, Information and Software Technologies - 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012. Proceedings. Volume 319 of Communications in Computer and Information Science, pages 123-137, Springer, 2012. [doi]
Abstract is missing.