Publications 2010

Thèses et habilitations à diriger les recherches

1. L. du Bousquet. Contributions à l'automatisation raisonnée de différents processus du test logiciel. Habilitation à diriger des recherches, Grenoble, France, Novembre 2010.
2. Virginia Papailiopoulou. Test automatique de programmes Lustre/SCADE. Thèse de l'Université Joseph Fourier, Grenoble, France, Février 2010. download

Ouvrages

1. Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann, (eds). Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Lecture Notes in Computer Science, Springer, 2010.
2. Eric Cariou, Laurence Duchien, Yves Ledru. Actes des deuxièmes journées nationales du GDR CNRS Génie de la Programmation et du Logiciel. Université de Pau et des Pays de l'Adour, Mars 2010.

Articles de journaux

1. Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet. Reusing a JML specification dedicated to verification for testing, and vice-versa: case studies. Journal of Automatic Reasoning, Special issue on Tests and Proofs, 45(4):415-435, 2010.
2. Akram Idani, Mohamed-Amine Labiadh, Yves Ledru. Infrastructure dirigée par les modèles pour une intégration adaptable et évolutive de UML et B. Ingénierie des Systèmes d'Information, 15(3):87-112, 2010.

Conférences internationales

1. Lydie du Bousquet. A New Approach for Software Testability. In Testing - Practice and Research Techniques, 5th International Academic and Industrial Conference (TAIC PART), Lecture Notes in Computer Science, Volume 6303, Pages 207-210, Windsor, UK, 2010.
2. Lydie du Bousquet, Michel Lévy. Proof Process Evaluation with Mutation Analysis. In Tests and Proofs(TAP), Lecture Notes in Computer Science, Volume 6143, Pages 55-60, Malaga, Spain, 2010.
3. Khaled El-Fakih, Roland Groz, Muhammad Naeem Irfan, Muzammil Shahbaz. Learning Finite State Models of Observable Nondeterministic Systems in a Testing Context. In 22nd IFIP International Conference on Testing Software and Systems, Pages 97-102, Natal, Brazil, 2010.
4. Muhammad Naeem Irfan. State Machine Inference in Testing Context with Long Counterexamples. In Third International Conference on Software Testing, Verification and Validation, ICST 2010, Pages 508-511, Paris, France, 2010.
5. Ajitha Rajan, Lydie du Bousquet, Yves Ledru, German Vega, Jean-Luc Richier. Assertion-based test oracles for home automation systems. In Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES'10, Pages 45-52, New York, NY, USA, 2010. download download
6. Mariam Lahami, Moez Krichen, Akram Idani, Mohamed Jmaiel. A generic process to build reliable distributed software components from early to late stages of software development. In Sixth IEEE International Conference on Computer Engineering and Systems (ICCES'10), Pages 287-292, Cairo, Egypt, Novembre 2010.
7. Tor Stalhane, Guttorm Sindre, Lydie du Bousquet. Comparing Safety Analysis Based on Sequence Diagrams and Textual Use Cases. In Advanced Information Systems Engineering, 22nd International Conference (CAiSE), Lecture Notes in Computer Science, Volume 6051, Pages 165-179, Hammamet, Tunisia, Juin 2010.
8. 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

Communications avec actes

1. Muhammad Naeem Irfan, Roland Groz, Catherine Oriat. Optimising Angluin Algorithm L* by Minimising the Number of Membership Queries to Process Counterexamples. In Zulu Workshop, Valencia, Septembre 2010.
2. Muhammad Naeem Irfan, Catherine Oriat, Roland Groz. Angluin Style Finite State Machine Inference with Non-optimal Counterexamples. In 1st International Workshop on Model Inference In Testing, MIIT 2010, Pages 11-19, Juillet 2010.
3. Mohamed-Amine Labiadh, Akram Idani, Yves Ledru. Approche transformationnelle à base de méta-modèles pour l'intégration de UML et de notations formelles. In Actes de la Conférence AFADL'10: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 197-212, Poitiers, Juin 2010.
4. Yves Ledru, Lydie du Bousquet. De l'utilisation d'une spécification Z comme prototype dans le redéveloppement d'un projet. In Actes de la Conférence AFADL'10: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 117-131, Poitiers, Juin 2010.

Rapports de recherche

1. Lydie du Bousquet. Mutation analysis to evaluate Lustre program specifications in the context of model-checking. Research Report LIG, 2010.
2. Muhammad Rabee Shaheen, Lydie du Bousquet. Survey of source code metrics for evaluating testability of object oriented systems. Research Report LIG, 2010.