Publications 2004

Books

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

Academic Journals

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.

International Conferences

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, September 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, September 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, June 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, June 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, June 2004.
7. F. Ouabdesselam. Testing Synchronous Reactive Software Against Formal Properties. In 16th IFIP International Conference, TestCom 2004, Invited Talk, Oxford, UK, March 2004.

National conferences or workshops

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, November 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, November 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, November 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, June 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, February 2004.

Research Reports

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

Other communications

1. D. Bert. Translating CASL Specifications into First Order Logic with Set Theory. 17ème Workshop on Algebraic Development Techniques, WADT'04, Barcelone, March 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, March 2004.

Thesis and habilitations

1. Jérôme Vassy. Génération automatique de cas de test guidée par des propriétés de sûreté. PhD Thesis Université Joseph Fourier, Grenoble, France, October 2004. download