Publications Per Type

International Journals

1. Eduardo Almeida, Gerson Sunyé, Yves Le Traon, and Patrick Valduriez. -- Testing peer-to-peer systems. -- Empirical Software Engineering, p:346--379, 2010

2. Jean-Marie Mottu, Benoit Baudry, Yves Le Traon, Construction de tests qualifiés de transformation de modèles, In Technique et Science Informatiques, Numéro Spécial LÍngénierie dirigée par les modèles, Hermes, volume tba, 2010. [bib] [pdf]

3. B. Baudry, B., S. Ghosh, F. Fleurey, R. France, Yves Le Traon and J.-M. Mottu. "Barriers to Systematic Model Transformation Testing", Communications of the ACM. Accepted for publication, 2009.

4. F. Fleurey, B. Baudry, P.-A. Muller, and Yves Le Traon, "Towards Dependable Model Transformations: Qualifying Input Test Data". Accepted for publication in Software and Systems Modeling, 2007. (pdf)

5. 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, t3(4):252--268, April 2007 . (pdf)

6. 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.(pdf)

7. 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.(pdf)

8. B. Baudry, F. Fleurey, J-M. Jézéquel and Y. Le Traon, “From Genetic to Bacteriological Algorithms for Mutation-Based Testing”,Software Testing Verification and Reliability (STVR), June 2005, Vol 15(2), pp. 73-96. (pdf)

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

10. 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.(pdf)

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

12. 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.(pdf)

13. 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.

14. 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.

15. 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.(pdf)

Book chapters

• 1. Mariano Belaunde, Grégoire Dupé, Yves Le Traon, Bertrand Nicolas, Jacques Simonin – 10 years of IRISATECH, chapter “MDE experiments in France Telecom”, IRISATEH, 2007.

  2. Clémentine Nebut, Yves Le Traon, 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.

International Conferences

• 1. Gilles Perrouin, Sagar Sen, Jacques Klein, Benoit Baudry and Yves Le Traon. Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines, In Third International Conference on Software Testing, Verification and Validation (ICST 2010), Paris, France, April 6-10, 2010,To appear,

1. Delamare, R., B. Baudry, S. Ghosh and Y. Le Traon, "A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ". I n Proceedings of ICST (International Conference on Software Testing Verification and Validation). April 2009. Denver, CO, USA.

2. Mouelhi, T., Y. Le Traon and B. Baudry, "Transforming and selecting functional test cases for security policy testing". In Proceedings of ICST (International Conference on Software Testing Verification and Validation. April 2009. Denver, CO, USA.

3. T. Mouelhi, F. Fleurey, B. Baudry and Y. Le Traon, “A model-based framework for security policy specification, deployment and testing”, the ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MODELS 2008), October 2008, Toulouse, France.

4. E. Almeida, G. Sunye, Y. Le Traon, P. Valduriez, "Testing Peers' Volatility", the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), September 2008, L'Aquila, Italy (Sh. p.).

5. E. Almeida, G. Sunye, P. Valduriez, Y. Le Traon, "A Framework for Testing Peer-to-Peer Systems", the 19th IEEE International Symposium on Software Reliability Engineering (ISSRE 2008), November 2008, Seattle, WA, USA.

6. J.Simonin, F.Alizon, J-P. Deschrevel, Y. Le Traon, J-M. Jézéquel and B. Nicolas, "EA4UP: an Enterprise Architecture-Assisted Telecom Service Development Method", 12th IEEE International EDOC Conference (EDOC '08), September 2008, München, Germany (sh. p.)

7. A. Pretschner, Y. Le Traon and T. Mouelhi. “Model-Based Tests for Access Control Policies”. In Proceedings of ICST'08 (IEEE International Conference on Software Testing Verification and Validation). Lillehamer, Norway, April 2008.

8. R. Delamare, B. Baudry, and Y. Le Traon. "Regression Test Selection when Evolving Software with Aspects". In Proceedings of LATE workshop, in conjunction with AOSD'08. Brussels, Belgium, 2008.

9. Jean-Marie Mottu, Benoit Baudry, Yves Le Traon. "Model Transformation Testing : oracle issue", In proceedings of MoDeVVa workshop, colocated with ICST'08, Lillehammer, Norway, 2008

10. Y. Le Traon, T. Mouelhi, A. Pretschner, and B. Baudry. "Test-Driven Assessment of Access Control in Legacy Applications". In Proceedings of ICST'08 (IEEE International Conference on Software Testing Verification and Validation). Lillehamer, Norway, April 2008.

11. Yves Le Traon, Tejeddine Mouelhi and Benoit Baudry, “Testing security policies: going beyond functional testing”, in the IEEE Int. Symposium on Software Reliability Engineering (ISSRE'07), Trollhättan, Sweden, 2007.(pdf)

12. Benoit Baudry, Clémentine Nebut, and Yves Le Traon, “Model-driven engineering for requirements analysis”, in EDOC'07 (Entreprise Distributed Object Computing Conference), Annapolis, MD, USA, 2007 (short). (pdf)

13. Erwan Brottier, Benoit Baudry, Yves Le Traon, David Touzet, and Bertrand Nicolas, “Producing a global requirement model from multiple requirement specifications”, in EDOC'07 (Entreprise Distributed Object Computing Conference), Annapolis, MD, USA, 2007. (pdf)

14. Jacques Simonin, Yves Le Traon, Jean-Marc Jézéquel, “An enterprise architecture alignment measure for telecom service development”, in EDOC'07 (Entreprise Distributed Object Computing Conference), Annapolis, MD, USA, 2007 (short).(pdf)

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

16. J-M. Mottu, B. Baudry, and Y. Le Traon. -- Reusable mda components: A testing-for-trust approach. -- To appear in proceedings of the MoDELS/UML 2006, Genova, Italy, 2006.(pdf)

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

18. 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 17^th International Symposium on Software Reliability Engineering (ISSRE'06), Raleigh, NC, USA, 2006.(pdf)

    1. 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)(pdf)

    2. 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 the10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS’04), Toronto, May, 2004

    3. 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.

    4. 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)

    5. 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.(pdf)

    6. 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)

    7. 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 the22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 02), Houston, Texas, November 2002.

    8. 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.(pdf)

    9. 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.(pdf)

    10. 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. (pdf)

    11. 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.

    12. 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.

    13. 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.(pdf)

    14. 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.

    15. 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.(pdf)

    16. 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.

    17. 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).

    18. 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 theTechnology of Object-Oriented Languages and Systems Conference (TOOLS-Europe 99), Nancy (France), June 1999, pp. 96-107.

    19. 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.

    20. 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.

    21. 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.

    22. 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.

    23. 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.

    24. 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

    25. 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

    26. 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

    27. 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.

    28. 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.

    29. 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.

Peer-Reviewed International Workshop Papers

1. T. Mouelhi, F. Fleurey, B. Baudry and Y. Le Traon, “Mutating DAC And MAC Security Policies: A Generic Metamodel Based Approach”, the Modeling Security Workshop (ModSEC 2008), in association with MODELS '08, ), September 2008, Toulouse, France.

2. Tejeddine Mouelhi, Yves Le Traon, and Benoit Baudry, “Mutation analysis for security tests qualification”, in the Mutation'07 int. workshop associated to TAIC-Part'07, Cumberland Lodge, Windsor, UK, 2007.(pdf)

3. 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. (pdf)

4. R. Delamare, B. Baudry, and Y. Le Traon. Reverse-engineering of UML 2.0 Sequence Diagrams from Execution Traces. Proceedings of Workshop on Object-Oriented Reengineering in conjunction with ECOOP'06, Nantes, France, 2006. (pdf)

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

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

7. 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.(pdf)

8. 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.

9. 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.

10. 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.

11. 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.

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

13. 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

French Conference Papers

Other Publications