Publications 2004

Thèses et habilitations à diriger les recherches

1. Jérôme Vassy. Génération automatique de cas de test guidée par des propriétés de sûreté. Thèse de l'Université Joseph Fourier, Grenoble, France, Octobre 2004. download

Ouvrages

1. P. Gruenbacher, Y. Ledru. Special issue. \\ http://www.ercim.org/publication/Ercim\_News/enw58/, Volume 58, ERCIM News on Automated Software Engineering, Juillet 2004.
2. R. Groz, R. M. Hierons. Testing of Communicating Systems, 16th IFIP International Conference, TestCom 2004. Springer, Oxford, UK, Mars 2004.

Articles de journaux

1. F. Badeau, D. Bert, S. Boulmé, C. Métayer, M.-L. Potet, N. Stouls, L. Voisin. Adaptabilité et validation de la traduction de B vers C - Points de vue du projet BOM. Technique et Science Informatiques, RSTI, série TSI, 23(7):879-903, 2004.
2. P. Bontron, M.-L. Potet. Stratégie de couverture de test à un haut niveau d'abstraction. Technique et Science Informatiques, 23(7):905-928, 2004.
3. A. Petrenko, S. Boroday, R. Groz. Confirming Configurations in EFSM Testing. IEEE Trans. Software Engineering, 30(1):29-42, 2004.

Conférences internationales

1. Y. Ledru, L. du Bousquet, O. Maury, P. Bontron. Filtering TOBIAS combinatorial test suites. In Proceedings of ETAPS/FASE'04 - Fundamental Approaches to Software Engineering, Pages 281-294, Barcelona, 2004.
2. L. du Bousquet, Y. Ledru, O. Maury, C. Oriat, J.-L. Lanet. A case study in JML-based software validation (short paper). In Proceedings of 19th Int. IEEE Conf. on Automated Sofware Engineering (ASE'04), Pages 294-297, Linz, Septembre 2004.
3. Akram Idani, Yves Ledru. Object Oriented Concepts Identification from Formal B Specifications. In Proceedings of 9th Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS'04), ENTCS 133 (2005), Elsevier, Pages 159-174, Linz, Septembre 2004. download
4. Y. Ledru, S. Dupuy, H. Fadil. Towards Computer-Aided Design of OCL Constraints. In Proceedings of CAISE'04 Workshops Vol. 1 -EMMSAD'04: Evaluating Modeling Methods for Systems Analysis and Design, Pages 329-338, Riga, Juin 2004.
5. H. Ruíz Barradas, D. Bert. Propriétés dynamiques avec hypothèses d'équité en B événementiel. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2004, J. Julliand (ed.), Pages 299-313, LIFC, Besançon, Juin 2004.
6. N. Stouls, M.-L. Potet. Explicitation du contrôle de développement B événementiel. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2004, J. Julliand (ed.), Pages 13-28, LIFC, Besançon, Juin 2004.
7. F. Ouabdesselam. Testing Synchronous Reactive Software Against Formal Properties. In 16th IFIP International Conference, TestCom 2004, Invited Talk, Oxford, UK, Mars 2004.

Communications avec actes

1. T. B. Nguyen, C. Robach, M. Delaunay. Testability Analysis of Reactive Software. In 1st Int. Workshop on Testability Assessment (IWoTA) (in conjunction with ISSRE04), Pages 15-25, Rennes, France, Novembre 2004.
2. B. Baldassari, C. Robach, L. du Bousquet, J. Brosse. Early metrics for object oriented designs. In 1st Int. Workshop on Testability Assessment (IWoTA) (in conjunction with ISSRE04), Pages 62-69, Rennes, France, Novembre 2004.
3. A. Lakehal, F. Ouabdesselam, I. Parissis, J. Vassy. Models for Synchronous Software Testing. In MoDeVa Workshop (satellite event of ISSRE'04), Pages 41-50, Rennes, France, Novembre 2004.
4. A. Lakehal, I. Parissis, L. du Bousquet. Critères de couverture structurelle de programmes LUSTRE. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2004, J. Julliand (ed.), Pages 185-199, LIFC, Besançon, Juin 2004.
5. K. C. Griche, I. Parissis. Automatic Control Flow Based Generation of Stubs for Structural Testing. In IASTED Int'l Conference on Software Engineering, Innsbruck, Autria, Février 2004.

Rapports de recherche

1. Catherine Oriat. Jartege: A Tool for Random Generation of Unit Tests for Java Classes. RR LSR-IMAG, No 1069, Juin 2004.

Autres communications

1. D. Bert. Translating CASL Specifications into First Order Logic with Set Theory. 17ème Workshop on Algebraic Development Techniques, WADT'04, Barcelone, Mars 2004.
2. H. Ruíz Barradas, D. Bert. Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems. 17ème Workshop on Algebraic Development Techniques, WADT'04, Barcelone, Mars 2004.