The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Yves Le Traon: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Yves Le Traon, Chantal Robach
    Testability analysis of co-designed systems. [Citation Graph (0, 0)][DBLP]
    Asian Test Symposium, 1995, pp:206-0 [Conf]
  2. Yves Le Traon
    Le test et le diagnostic en vue de la m maintenance : des objets aux modéles. [Citation Graph (0, 0)][DBLP]
    CAL, 2006, pp:190- [Conf]
  3. Jean-Marie Mottu, Benoit Baudry, Yves Le Traon
    Mutation Analysis Testing for Model Transformations. [Citation Graph (0, 0)][DBLP]
    ECMDA-FA, 2006, pp:376-390 [Conf]
  4. Vu Le Hanh, Kamel Akif, Yves Le Traon, Jean-Marc Jézéquel
    Selecting an Efficient OO Integration Testing Strategy: An Experimental Comparison of Actual Strategies. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2001, pp:381-401 [Conf]
  5. Ghassan Al Hayek, Yves Le Traon, Chantal Robach
    Considering Test Economics in the Process of Hardware/Software Partitioning. [Citation Graph (0, 0)][DBLP]
    EUROMICRO, 1996, pp:28-0 [Conf]
  6. Simon Pickin, Claude Jard, Yves Le Traon, Thierry Jéron, Jean-Marc Jézéquel, Alain Le Guennec
    System Test Synthesis from UML Models of Distributed Software. [Citation Graph (0, 0)][DBLP]
    FORTE, 2002, pp:97-113 [Conf]
  7. Benoit Baudry, Franck Fleurey, Yves Le Traon
    Improving test suites for efficient fault localization. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:82-91 [Conf]
  8. Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon
    Genes and Bacteria for Automatic Test Cases Optimization in the .NET Environment. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2002, pp:195-206 [Conf]
  9. Benoit Baudry, Vu Le Hanh, Jean-Marc Jézéquel, Yves Le Traon
    Building Trust into OO Components Using a Genetic Analogy. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2000, pp:4-14 [Conf]
  10. Benoit Baudry, Yves Le Sunyé, Jean-Marc Jézéquel
    Towards a 'Safe' Use of Design Patterns to Improve OO Software Testability. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2001, pp:324-331 [Conf]
  11. Clémentine Nebut, Franck Fleurey, Yves Le Traon, Jean-Marc Jézéquel
    Requirements by Contracts allow Automated System Testing. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2003, pp:85-98 [Conf]
  12. Erwan Brottier, Franck Fleurey, Jim Steel, Benoit Baudry, Yves Le Traon
    Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2006, pp:85-94 [Conf]
  13. Yves Le Traon, Farid Ouabdesselam, Chantal Robach
    Analyzing Testability on Data Flow Designs. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2000, pp:162-173 [Conf]
  14. Maisaa Khalil, Yves Le Traon, Chantal Robach
    Towards an automatic diagnosis for high-level design validation. [Citation Graph (0, 0)][DBLP]
    ITC, 1998, pp:1010-0 [Conf]
  15. Yves Le Traon, Ghassan Al Hayek, Chantal Robach
    Testability-Oriented Hardware/Software Partitioning. [Citation Graph (0, 0)][DBLP]
    ITC, 1996, pp:725-731 [Conf]
  16. Yves Le Traon, Chantal Robach
    From Hardware to Software Testability. [Citation Graph (0, 0)][DBLP]
    ITC, 1995, pp:710-719 [Conf]
  17. Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon
    Automatic Test Cases Optimization Using a Bacteriological Adaptation Model: Application to .NET Component. [Citation Graph (0, 0)][DBLP]
    ASE, 2002, pp:253-256 [Conf]
  18. Franck Fleurey, Yves Le Traon, Benoit Baudry
    From Testing to Diagnosis: An Automated Approach. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:306-309 [Conf]
  19. Clémentine Nebut, Simon Pickin, Yves Le Traon, Jean-Marc Jézéquel
    Automated Requirements-based Generation of Test Cases for Product Families. [Citation Graph (0, 0)][DBLP]
    ASE, 2003, pp:263-266 [Conf]
  20. Benoit Baudry, Yves Le Traon, Jean-Marc Jézéquel
    Robustness and Diagnosability of OO Systems Designed by Contracts. [Citation Graph (0, 0)][DBLP]
    IEEE METRICS, 2001, pp:272-284 [Conf]
  21. Benoit Baudry, Yves Le Traon, Gerson Sunyé
    Testability Analysis of a UML Class Diagram. [Citation Graph (0, 0)][DBLP]
    IEEE METRICS, 2002, pp:54-0 [Conf]
  22. Benoit Baudry, Yves Le Traon, Gerson Sunyé, Jean-Marc Jézéquel
    Measuring and Improving Design Patterns Testability. [Citation Graph (0, 0)][DBLP]
    IEEE METRICS, 2003, pp:50-0 [Conf]
  23. Yves Le Traon, Chantal Robach
    Testability Measurements for Data Flow Designs. [Citation Graph (0, 0)][DBLP]
    IEEE METRICS, 1997, pp:91-98 [Conf]
  24. Jean-Marie Mottu, Benoit Baudry, Yves Le Traon
    Reusable MDA Components: A Testing-for-Trust Approach. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2006, pp:589-603 [Conf]
  25. Clémentine Nebut, Franck Fleurey, Yves Le Traon, Jean-Marc Jézéquel
    A Requirement-Based Approach to Test Product Families. [Citation Graph (0, 0)][DBLP]
    PFE, 2003, pp:198-210 [Conf]
  26. David Lugato, Frédéric Maraux, Yves Le Traon, Véronique Normand, Hubert Dubois, Jean-Yves Pierron, Jean-Pierre Gallois, Clémentine Nebut
    Automated Functional Test Case Synthesis from THALES industrial Requirements. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time and Embedded Technology and Applications Symposium, 2004, pp:104-111 [Conf]
  27. Gerson Sunyé, Damien Pollet, Yves Le Traon, Jean-Marc Jézéquel
    Refactoring UML Models. [Citation Graph (0, 0)][DBLP]
    UML, 2001, pp:134-148 [Conf]
  28. Benoit Baudry, Vu Le Hanh, Yves Le Traon
    Testing-for-Trust: The Genetic Selection Model Applied to Component Qualification. [Citation Graph (0, 0)][DBLP]
    TOOLS (33), 2000, pp:108-119 [Conf]
  29. Yves Le Traon, Daniel Deveaux, Jean-Marc Jézéquel
    Self-Testable Components: From Pragmatic Tests to Design-for-Testability Methodology. [Citation Graph (0, 0)][DBLP]
    TOOLS (29), 1999, pp:96-107 [Conf]
  30. Yves Le Traon
    Test et diagnostic - des objets aux modèles. [Citation Graph (0, 0)][DBLP]
    LMO, 2006, pp:17- [Conf]
  31. Yves Le Traon, Benoit Baudry
    Test d'intégration d'un système à objets - planification de l'ordre d'intégration. [Citation Graph (0, 0)][DBLP]
    LMO, 2006, pp:217-230 [Conf]
  32. Daniel Deveaux, Régis Fleurquin, Patrice Frison, Jean-Marc Jézéquel, Yves Le Traon
    Composants objets fiables : une approche pragmatique. [Citation Graph (0, 0)][DBLP]
    L'OBJET, 1999, v:5, n:3/4, pp:- [Journal]
  33. Ghassan Al Hayek, Yves Le Traon, Chantal Robach
    Impact of System Partitioning on Test Cost. [Citation Graph (0, 0)][DBLP]
    IEEE Design & Test of Computers, 1997, v:14, n:1, pp:64-74 [Journal]
  34. Benoit Baudry, Yves Le Traon
    Measuring design testability of a UML class diagram. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2005, v:47, n:13, pp:859-879 [Journal]
  35. Yves Le Traon, Farid Ouabdesselam, Chantal Robach, Benoit Baudry
    From diagnosis to diagnosability: axiomatization, measurement and application. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2003, v:65, n:1, pp:31-50 [Journal]
  36. Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon
    Automatic Test Case Optimization: A Bacteriologic Algorithm. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 2005, v:22, n:2, pp:76-82 [Journal]
  37. Jean-Marc Jézéquel, Daniel Deveaux, Yves Le Traon
    Reliable Objects: Lightweight Testing for OO Languages. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 2001, v:18, n:4, pp:76-83 [Journal]
  38. Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon
    From genetic to bacteriological algorithms for mutation-based testing. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2005, v:15, n:2, pp:73-96 [Journal]
  39. Clémentine Nebut, Franck Fleurey, Yves Le Traon, Jean-Marc Jézéquel
    Automatic Test Generation: A Use Case Driven Approach. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:3, pp:140-155 [Journal]
  40. Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel
    Design by Contract to Improve Software Vigilance. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:8, pp:571-586 [Journal]
  41. Simon Pickin, Claude Jard, Thierry Jéron, Jean-Marc Jézéquel, Yves Le Traon
    Test Synthesis from UML Models of Distributed Software. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2007, v:33, n:4, pp:252-269 [Journal]

  42. Producing a Global Requirement Model from Multiple Requirement Specifications. [Citation Graph (, )][DBLP]


  43. Model-Driven Engineering for Requirements Analysis. [Citation Graph (, )][DBLP]


  44. An Enterprise Architecture Alignment Measure for Telecom Service Development. [Citation Graph (, )][DBLP]


  45. EA4UP: An Enterprise Architecture-Assisted Telecom Service Development Method. [Citation Graph (, )][DBLP]


  46. Inquiring the usage of aspect-oriented programming: An empirical study. [Citation Graph (, )][DBLP]


  47. A Framework for Testing Peer-to-Peer Systems. [Citation Graph (, )][DBLP]


  48. Testing Security Policies: Going Beyond Functional Testing. [Citation Graph (, )][DBLP]


  49. Testing Peers' Volatility. [Citation Graph (, )][DBLP]


  50. Security-driven model-based dynamic adaptation. [Citation Graph (, )][DBLP]


  51. A Model-Based Framework for Security Policy Specification, Deployment and Testing. [Citation Graph (, )][DBLP]


  52. Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation. [Citation Graph (, )][DBLP]


  53. Composing Models at Two Modeling Levels to Capture Heterogeneous Concerns in Requirements. [Citation Graph (, )][DBLP]


  54. Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective. [Citation Graph (, )][DBLP]


  55. Test-Driven Assessment of Access Control in Legacy Applications. [Citation Graph (, )][DBLP]


  56. Model-Based Tests for Access Control Policies. [Citation Graph (, )][DBLP]


  57. A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ. [Citation Graph (, )][DBLP]


  58. Transforming and Selecting Functional Test Cases for Security Policy Testing. [Citation Graph (, )][DBLP]


  59. Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines. [Citation Graph (, )][DBLP]


  60. Runtime verification of declassification for imperative programs: Formal foundations. [Citation Graph (, )][DBLP]


  61. Barriers to systematic model transformation testing. [Citation Graph (, )][DBLP]


Search in 1.103secs, Finished in 1.105secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002