Publications 2008

Books

1. Colloque Francophone d'Ingénierie des Protocoles (CFIP'2008). Andrzej Duda, Roland Groz (eds.), Les Arcs, France, March 2008.

Academic Journals

1. Lydie du Bousquet, Michel Delaunay. Towards Mutation Analysis for Lustre Programs. Electr. Notes Theor. Comput. Sci, 203(4):35-48, 2008.
2. Roland Groz, Muzammil Shahbaz, K. Li. Extraction de modèles paramétrés au cours du test de composants logiciels. Technique et Science Informatiques, 27(8):977-1006, 2008.
3. Abdesselam Lakehal, Ioannis Parissis. Structural coverage criteria for LUSTRE/SCADE programs. Software Testing, Verification and Reliablity, 2008.
4. Yves Ledru, Régine Laleau, Sylvie Vignes. Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité des aéroports. Ingénierie des Systèmes d'Information, RSTI, série ISI, 13(4):133-157, 2008.
5. B. Yan, M. Nakamura, L. du Bousquet, K.-I. Matsumoto. Validating Safety for Integrated Services of Home Network System Using JML. Journal of Information Processing (IPSJ), 16:38-49, 2008.

Book Chapters

1. Antonia Bertolino, Eda Marchetti, Ioannis Parissis Cesare Bartolini. Data Flow-based Validation of Web Services Compositions: Perspectives and Examples. In Architecting Dependable Systems V, LNCS 5135, 2008.

International Conferences

1. Roland Groz, Keqin Li, Alexandre Petrenko, Muzammil Shahbaz. Modular System Verification by Inference, Testing and Reachability Analysis. In Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa (eds.), Lecture Notes in Computer Science, Volume 5047, Pages 216-233, 2008.
2. Akram Idani, Bernard Coulette. Towards reverse-engineering of UML views from structured formal developments. In 10th International Conference on Enterprise Information Systems (ICEIS'08), Pages 94-103, Spain, 2008.
3. Virginia Papailiopoulou. Automatic Test Generation for LUSTRE/SCADE Programs. In 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008) - Doctoral Symposium, 15-19 September 2008, L'Aquila, Italy, Pages 517-520, 2008.
4. Muhammad-Rabee Shaheen, Lydie du Bousquet. Quantitative analysis of testability antipatterns on open source Java applications. In 12th ECOOP Workshop on Quantitative Approaches on Object Oriented Software Engineering, 2008.
5. Lydie du Bousquet, Muhammad-Rabee Shaheen. Relation between Depth of Inheritance Tree and Number of Methods to Test. In First International Conference on Software Testing, Verification, and Validation, ICST 2008, Pages 161-170, Lillehammer, Norway, April 2008.
6. Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier. j-POST: a Java Toolchain for Property-Oriented Software Testing. In Fourth Workshop on Model-Based Testing (MBT'08), a satellite event of ETAPS'08, March 29 - April 6, 2008, Budapest, Electronic Notes in Theoretical Computer Science, Volume 220(1), Pages 29-41, March 2008.
7. Luca Ferro, Laurence Pierre, Yves Ledru, Lydie du Bousquet. Generation of test programs for the assertion-based verification of TLM models. In Design and Test Workshop, 2008. IDT 2008. 3rd International, Pages 237-242, 2008. download download

National conferences or workshops

1. 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.
2. 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.
3. Eduardo R. Lopez Ruiz, Yves Ledru, Michel Lemoine. Extending the use of rigorous methods with aeronautics. In Workshop on Formal Aspects of Safety-Critical Systems, The Safety-Critical Systems Club, 2008.
4. Eduardo R. Lopez Ruiz, Yves Ledru, Michel Lemoine. Aeronautical Regulations Should Be Rigorously Developed Too!. In Proceedings of The Sixth NASA Langley Formal Methods Workshop, Volume NASA/CP-2008-215309, Pages 41-43, May 2008.
5. Vianney Darmaillacq, Jean-Luc Richier, Roland Groz. Test generation and execution for security rules in temporal logic. In First International Workshop on Security Testing, a satellite event of ICST 2008, April 9-11, 2008, Lillehammer, Norway, April 2008.
6. Vianney Darmaillacq. Security policy testing using vulnerability exploit chaining. In First International Workshop on Security Testing, a satellite event of ICST 2008, April 9-11, 2008, Lillehammer, Norway, April 2008.

Thesis and habilitations

1. Muzammil Shahbaz. Reverse Engineering Enhanced State Models of Black Box Software Components to support Integration Testing. PhD Thesis Institut Polytechnique de Grenoble, Grenoble, France, December 2008.