Publications of Laya Madani

Load the BibTeX file

Academic Journals

1. Ioannis Parissis, Laya Madani. Automatically testing interactive applications using extended task trees. Journal of Logic and Algebraic Programming, 78(6):454-471, July 2009. download

International Conferences

1. Laya Madani, Ioannis Parissis. Automatically testing interactive multimodal systems using task trees and fusion models. In Proceeding of the 6th international workshop on Automation of Software Test (AST'11), Pages 43-49, États-Unis, May 2011. download
2. Ioannis Parissis, Laya Madani, Virginia Papailiopoulou. Towards a testing methodology for reactive systems: a case study of a landing gear controller. In Proceedings of the 3th International Conference on Software Testing and Verification (ICST 2010), Pages 489-497, Paris, France, 2010. download
3. J. Bouchet, L. Madani, L. Nigay, C. Oriat, I. Parissis. Formal Testing of Multimodal Interactive Systems. In Engineering Interactive Systems (EIS'07), Salamanca, Spain, March 2007.
4. L. Madani, C. Oriat, I. Parissis, J. Bouchet, L. Nigay. Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach. In 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005), Chicago, USA, November 2005.

National conferences or workshops

1. Laya Madani, Ahmed M'hiri, Sophie Dupuy-Chessa, Ioannis Parissis. Vers la formalisation de propriétés ergonomiques de systèmes interactifs. In Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2009), Toulouse, France, January 2009.
2. Laya Madani, Ioannis Parissis. Automated Test of Interactive Applications Using Task Trees. In 4th Workshop on Advances in Model-based Testing (A-MOST 2008), Pages 13-22, Lillehammer, Norway, 2008.
3. V. Papailiopoulou, L. Madani, L. du Bousquet, I. Parissis. Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators. In 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008), L'Aquila, Italy, 2008.
4. L. Madani, I. Parissis. Vers la génération automatique de tests à partir d'arbres de tâches. In AFADL'07 (Approches Formelles dans l'Assistance au Développement de Logiciels, 10ème anniversaire), Namur, June 2007.
5. L. Madani, L. Nigay, I. Parissis. Testing the care properties of multimodal applications by means of a synchronous approach. In IASTED Int'l Conference on Software Engineering, Innsbruck, Austria, February 2005.

Thesis and habilitations

1. Laya Madani. Utilisation de la programmation synchrone pour la spécification et la validation de services interactifs. PhD Thesis Université Joseph Fourier, Grenoble, France, October 2007. download