Many of the paper listed below may be downloaded at the publication page of the team.


a)                 Journals

 

[PJJJT06] Simon Pickin, Claude Jard, Thierry Jéron, Jean-Marc Jézéquel, and Yves Le Traon. “Test synthesis from UML models of distributed software”, IEEE Transactions on Software Engineering, 32(12), December 2006. 


[LBJ06] Y. Le Traon, B. Baudry and J-M. Jézéquel “Design by Contract to improve Software Vigilance” in, IEEE Transactions on Software Engineering, 32(8),  August  2006.

 

[NBJT06] C. Nebut, F. Fleurey, J-M. Jézéquel and Y. Le Traon, “Automatic Test Generation: A Use Case-Driven Approach”, IEEE Transactions on Software Engineering, 32(3):140, March  2006.


[BFJL05] B. Baudry, F. Fleurey, J-M. Jézéquel and Y. Le Traon, “From Genetic to Bacteriological Algorithms for Mutation-Based Testing”, to be published the in Software, Testing, Verification & Reliability journal (STVR), June 2005, Vol 15(2), pp. 73-96. 

 

[BL05] B. Baudry and Y. Le Traon, “Measuring Design Testability of a UML Class Diagram”, in the journal, Information & Software Technology (IST), Vol 47/13 pp 859-879. 

 

[BFJL05] B. Baudry, F. Fleurey,  J.-M. Jézéquel and Y. Le Traon, “An Original Approach for Automatic Test Cases Optimization: a Bacteriologic Algorithm”, IEEE Software, March 2005 Vol. 22(2), pp. 76-82.

 

[LORB03] Y. Le Traon, F. Ouabdesselam, C. Robach and B. Baudry, « From Diagnosis to Diagnosability: Axiomatization, Measurement and Application”, in The Journal of Systems and Software, January 2003, Vol. 1, N°65, pp. 31-50. 

 

[JDL01]    J.-M. Jézéquel, D. Deveaux, Y. Le Traon, “Reliable Objects: a Lightweight Approach Applied to Java”, IEEE Software, Vol. 18, N°4, July-August 2001, pp. 76-83.

 

[LJJM00]  Y. Le Traon, T. Jéron, J-M. Jézéquel and P. Morel, “ Efficient OO Integration and Regression Testing ”, IEEE Transactions on Reliability, March 2000, pp. 12-25.

 

[DFFJL99] D. Deveaux, R. Fleurquin, P. Frison, J-M. Jézéquel and Y. Le Traon, “ Composants Objets Fiables, une approche pragmatique ”, L’Objet, Vol. 5, N°3-4, december 1999, pp.469-494.

 

[ALR97]   G. Al Hayek, Y. Le Traon, and C. Robach, “ Impact of System Partitioning on Test Cost, ” IEEE Design & Test of Computers, Vol 14, n°1, 1997, pp. 64-74.

 

 

b)                  Book chapters

 

[CLJ05] Clémentine Nebut, Yves LeTraon, and Jean-Marc Jézéquel. -- Families Research Book, chapter “System Testing of Product Families: from Requirements to Test Cases”. -- Number to be published in LNCS. Springer Verlag, 2005.

 

c)                  International Conferences/workshops (selection on full papers)

 

[BFT06] B. Baudry, F.Fleurey and Y. Le Traon, “Improving Test Cases for Accurate Diagnosis”, in the 28th ACM/IEEE Int. Conference on Software Engineering (ICSE 2006), Shanghai, May 2006.  

[MBT06a] J-M. Mottu, B. Baudry, and Y. Le Traon. -- Reusable MDA components: A testing-for-trust approach. --  in proceedings of the MoDELS/UML 2006, Genova, Italy, 2006.

 

[MBT06b] J.-M. Mottu, Benoit Baudry, and Yves Le Traon. -- Mutation analysis testing for model transformations. -- in proceedings of the European Conference on Model Driven Architecture (ECMDA 06), Bilbao, Spain, 2006.

 

[BFSBT06] E. Brottier, F. Fleurey, J. Steel, B. Baudry, and Y. Le Traon. -- Metamodel-based test generation for model transformations: an algorithm and a tool. -- in proceedings of the IEEE 17th International Symposium on Software Reliability Engineering (ISSRE'06), Raleigh, NC, USA, 2006.

 

[BDM06]  Benoit Baudry, Trung Dinh-Trong, Jean-Marie Mottu, Devon Simmonds, Robert France, Sudipto Ghosh, Franck Fleurey, and Yves Le Traon. -- Model transformation testing challenges. -- In ECMDA workshop on Integration of Model Driven Development and Model Driven Testing., Bilbao, Spain, July 2006.

[DBT06]   Romain Delamare, Benoit Baudry, and Yves Le Traon, “Reverse-engineering of UML 2.0 sequence diagrams from execution traces”, In Workshop on Object-Oriented Reengineering at ECOOP 06, Nantes, France, July 2006.


[TB04] Y. Le Traon and B. Baudry, “Optimal Allocation of Testing Resources”, to be published in proc. of the SIVOES-Modeva workshop, SIVOES (Specification Implementation and Validation Of Embedded Systems)-MoDeVa (Model Design and Validation), Nov. 2004.

 

[CDRLP04] P. Collet, D. Deveaux, R. Rousseau and Y Le Traon, “Contract-Based Testing: from Objects to Components”, to be published in proc. of the 1st IEEE Int. Workshop on Testability Assesment (IWoTA 2004), Nov. 2004.

 

[BTS05] B. Baudry, Y. Le Traon and G. Sunye,  “Improving the Testability of UML Diagrams”, to be published in proc. of the 1st IEEE Int. Workshop on Testability Assesment (IWoTA 2004), Nov. 2004.

 

 [FBT04] F.Fleurey, B. Baudry, Y. Le Traon, "From testing to diagnosis: An automated approach”, in proc. of the 19th IEEE International Conference on Automated Software Engineering (ASE'04), Oct. 2004.(sh. Paper)

 

[LMTN04]D. Lugato, F. Maraux, Y. Le Traon, C. Nebut, V. Normand, et al., “Automated Functional Test Case Synthesis from THALES industrial Requirements”, in proc. of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS’04), Toronto, May, 2004

 

[NFTJ03] C. Nebut, F. Fleurey, Y. Le Traon and J-M. Jézéquel, “Requirements by Contracts allow Automated System Testing”, in proc. of the 14th. IEEE International Symposium on  Software Reliability Engineering (ISSRE'03), Nov. 2003.

 

[NPTJ03] C. Nebut and S. Pickin and Y. Le Traon and J-M. Jézéquel, “Automated Requirements-based Generation of Test Cases for Product Families”, in proc. of the 18th IEEE International Conference on Automated Software Engineering (ASE'03), Oct. 2003.(sh. Paper)

 

[NFTJ03] C. Nebut and  F. Fleurey and  Y. Le Traon and J.-M. Jézéquel, “A Requirement-based Approach to Test Product Families”, proc. of the 5th workshop on Product Families Engineering (PFE'03), Nov. 2003.

 

[BTSJ03]  B. Baudry, Y. Le Traon, G. Sunye, J-M. Jézéquel, “Measuring and improving Design Patterns Testability”, in proc. of the “9th International Software Metrics Symposium (Metrics 2003), Sept. 2003.

 

[BFJL02a] B. Baudry, F. Fleurey, J.-M. Jézéquel, and Y. Le Traon. "Automatic Test Cases Optimization using a Bacteriological Adaptation Model: Application to .NET Components", to be published in proceedings of the Int. Conf. on Automated Software Engineering 2002, Edimburgh, September 2002. (sh. Paper)

 

[PNLJ02] C. Nebut, Y. Le Traon and S. Pickin, “Reusable Test Requirements for UML-Modeled Product Lines”in , proceedings of the 1st International Workshop on Requirements Engineering for Product Lines, REPL’02, Essen, Germany, September 2002.

 

[BFJL02b ] B. Baudry, F. Fleurey, J.-M. Jézéquel, and Y. Le Traon, "Computational Intelligence for Testing  .NET Components", in proceedings of Microsoft Summer Research Workshop 2002, Cambrige, UK, September 2002.

 

[PJLJJL02] S. Pickin, C. Jard, , Y. Le Traon, T. Jéron, J.-M. Jézéquel, and A. Le Guennec, “System Test Synthesis from UML Models of Distributed Software”, in proc. of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 02), Houston, Texas, November 2002.

 

[BFJL02c] B. Baudry, F. Fleurey, J.-M. Jézéquel, and Y. Le Traon. "Genes and Bacteria for Automatic Test Cases Optimization in the .NET Environment".to be presented at the “13th International Symposium on Software Reliability Engineering (ISSRE’02) ”, ISSRE 2002, Annapolis, MD, USA, November 2002.

 

[BLSJ02] B. Baudry, Y. Le Traon, G. Sunye, J-M. Jézéquel, “ Testability Analysis of a UML Class Diagram”, proceedings of the “8th International Software Metrics Symposium (Metrics 2002),Ottawa, June 2002.

 

[BLSJ01] B. Baudry, Y. Le Traon, G. Sunye, J-M. Jézéquel, “ Towards a ‘Safe’ Use of Design Patterns to improve OO Software Testability”, proceedings of the “12th International Symposium on Software Reliability Engineering (ISSRE’01) ”, November 2001, Hong-Kong.

 

[SPLJ01] G. Sunye,  D. Pollet, Y. Le Traon, J.-M. Jézéquel, “ Refactoring UML models ”, published in the UML’01 Conference proceedings, Lecture Notes in Computer Science, Springer Verlag,, October 2001, pp.134-148.

 

[AVLJ01] K. Akif, H. Vu Le, Y. Le Traon, J.-M. Jézéquel, “Selecting an Efficient OO Integration Testing Strategy: An Experimental Comparison of Actual Strategies”, published in ECOOP (European Conference for Object-Oriented Programming) proceedings, Lecture Notes in Computer Science, Springer Verlag, June 2001, pp. 381-401.

 

[BLJ01] Benoit Baudry, Yves Le Traon and Jean-Marc Jézéquel, “ Robustness and Diagnosability of Designed by Contracts OO Systems ”, 7th International Software Metrics Symposium (Metrics 2001), London (England), April 2001, pp. 272-283.

 

[BHJL2000b]Benoit Baudry Vu Le Hanh, Jean-Marc Jézéquel and Yves Le Traon, “ Building Trust into OO Components using a Genetic Analogy ”, proc. of the 11th International Symposium on Software Reliability Engineering (ISSRE’2K), October 2000, San Jose (California),pp. 4-14.

 

[LOC2000] Yves Le Traon, Farid Ouabdesselam and Chantal Robach, “ Analysing Testability on Data-Flow Designs ”, proc. of the 11th International Symposium on Software Reliability Engineering (ISSRE’2K), October 2000, San Jose (California), pp. 162-173.

 

[BHJL2000]Benoit Baudry Vu Le Hanh, Jean-Marc Jézéquel and Yves Le Traon, “ Testable Components : Yet Another Mutation-Based Approach ”, proc. of the Symposium on Mutation Testing for the New Century (Mutation’2K), October 2000, San Jose (California), pp. 69-76.

 

[BHL2000] Benoit Baudry, Hanh Vu Le and Yves Le Traon, “ Testing-for-Trust: the Genetic Selection Model Applied to Component Qualification ”, In proc. of Technology of Object-Oriented Languages and Systems Conference  (TOOLS-Europe 2000), June 2000, Mont Saint-Michel / St-Malo (France).

 

[LDJ99]Yves Le Traon, Daniel Devaux and Jean-Marc Jézéquel, “ Self-Testable Components: from Pragmatic Tests to Design-for-Testability Methodology ”, In proc. of the Technology of Object-Oriented Languages and Systems Conference  (TOOLS-Europe 99), Nancy (France), June 1999, pp. 96-107.

 

[JJLM99] Thiérry Jéron, Jean-Marc Jézéquel, Yves Le Traon, and Pierre Morel, “ Efficient Strategies for Integration and Non-regression Testing of OO Systems ”, In proc. of the 10th International Symposium on Software Reliability Engineering (ISSRE’99), November 1999, Boca raton (Florida), 260-269.

 

[KLR98a] M. Khalil, Y. Le Traon and C. Robach, “ Automatic Fault Diagnosis for Control-Flow based System ”, Proc. of the IEEE European Test Workshop, Barcelona (Spain), May 1998.

 

[KLR98b] M Khalil, Y le Traon and C Robach, “ Control-flow Systems Diagnosis: An Evolutive Method ” Proc. of the Euromicro Conference (Euromicro’98), Vasteras (Sweden),  August 1998.

 

[KLR98c] M. Khalil, Y. Le Traon and C. Robach, “ Towards an Automatic Diagnosis for High Level Design Validation”, Proc. of the IEEE International Test Conference (ITC’98), Washington , October 1998.

 

[KLR98d]  M. Khalil, Y. Le Traon and C. Robach, “ Automated Strategies for Software Diagnosis ”, Proc. of the IEEE International Symposium on Software Reliability Engineering (ISSRE’98), Paderborn (Germany), November 1998.

 

[LOR98] Y. Le Traon, F. Ouabdesselam and  C. Robach, “ Software Diagnosability ”, Proc. of the IEEE International Symposium on Software Reliability Engineering (ISSRE’98), Paderborn (Germany), November 1998, pp. 255-266.

 

[LR97a]    Y. Le Traon and C. Robach, “ Testability Analysis of Embedded Dataflow Designs, ” Proc. of the IEEE European Test Workshop, Cagliari (Sardaigne), 1997

 

[LR97b]    Y. Le Traon and C. Robach, “ Testability Measurements for Dataflow Designs, ” Proc. of the 4th International Software Metrics Symposium (Metrics 97), Albuquerque (New Mexico), 1997, pp. 91-98

 

[ALR96a] G. Al-Hayek, Y.Le Traon et C. Robach, “ Considering Test Economics in the Process of Hardware/Software Partitioning, ” Proc. of the 22nd Euromicro Conference, Prague , 1996, pp. 28-34

 

[ALR96b] G. Al-Hayek, Y. Le Traon et C. Robach, “ Test Economics Criterion for Hardware/Software Partitioning, ” Proc. of the IEEE European Test Workshop, Montpellier, 1996, pp. 186-191

 

[LAR96]   Y. Le Traon, G. Al Hayek, and C. Robach, “ Testability-oriented hardware/software partitioning, ” Proc. of the IEEE International Test Conference (ITC’96), Washington D.C. (USA), 1996, pp. 725-731

 

[LR95a]    Y. Le Traon et C. Robach, " From Hardware to Software Testability, " Proc. of the IEEE International Test Conference (ITC’95), Washington D.C, 1995, pp. 710-719.

 

[LR95b]    Y. Le Traon et C. Robach, “ Towards a Unified Approach to the Testability of Co-designed Systems, ” Proc. of the  IEEE International Symposium on Software Reliability Engineering (ISSRE’95), Toulouse (France),  1995, pp. 278-285.

 

[LR95c]    Y. Le Traon et C. Robach, “ Testability Analysis of Co-designed Systems, ” Proc. of the IEEE 4th Asian Test Symposium 1995 (ATS’95), Bengalore (Inde) , 1995, pp. 206-212.

d)                 Invited Talks

“ Trusting OO Components :a Design-for-Testability Approach ”, proc. of the 2nd Conference on Quantitative Management on Software Engineering  (QM’99), December 1999, Rome (Italy).

e)                  National conferences (selection on full papers)

[MBLB05]            Jean-Marie Mottu, Benoit Baudry, Yves Le Traon, and Erwan Brottier. -- Génération automatique de test pour les transformations de modèles. -- In 1ère Journées sur l'Ingénierie Dirigée par les Modèles, Paris, June 2005.

 

f)                   Conferences/workshops  (selection on abstracts)

 

[TD01]      Y. Le Traon et Ph. Desfray, “ Conception-testable et génération de test pour logiciels orientés-objet ”, présenté à Objet, Composants et Modèles 2001 (OCM’01), Mai 2001, Rennes, France.

[DT01]      D. Deveaux and Y. Le Traon, “ XML to Manage Source Engineering in Object-Oriented Development : an Example ”, presented at, XSE workshop of the Int. Conference on Software Engineering 2001 (ICSE’01), Toronto.

[LR96]      Y. Le Traon et C. Robach, “ Testabilité de Logiciels Synchrones, ” Proc. of the Colloque National de Fiabilité & Maintenabilité (Lambda-Mu), Saint-Malo, France, 1996

g)                 Technical /PhD reports

Y. Le Traon, « Contribution au test de logiciels orientés-objet », rapport d’Habilitation à Diriger les Recherches (HDR), IRISA-IFSIC, Rennes, France, 2004.

Y. Le Traon, M. Delaunay et C. Robach, “ Etude RAF : analyse de la testabilité du système de régulation de la pression du réservoir d’hélium d’Ariane 5”, Rapport contractuel, Aérospatiale-Les Mureaux, 1997-1998.

Y. Le Traon., Analyse conjointe logiciel-matériel de la testabilité de systèmes flots de données, Rapport de thèse , Institut National Polytechnique de Grenoble, Grenoble, France, 1997.