The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Benoit Baudry: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Sébastien Gérard, Chokri Mraidha, François Terrier, Benoit Baudry
    A UML-Based Concept for High Concurrency: The Real-Time Object. [Citation Graph (0, 0)][DBLP]
    ISORC, 2004, pp:64-67 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. Benoit Baudry, David Hearnden, Nicolas Rapin, Jörn Guy Süß
    Report on the 3rd MoDeVa Workshop - Model Design and Validation. [Citation Graph (0, 0)][DBLP]
    MoDELS Workshops, 2006, pp:179-181 [Conf]
  14. 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]
  15. Benoit Baudry, Christophe Gaston, Sudipto Ghosh
    Report on the 2nd Workshop on Model Development and Validation - MoDeVa. [Citation Graph (0, 0)][DBLP]
    MoDELS Satellite Events, 2005, pp:32-38 [Conf]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. Franck Fleurey, Erwan Breton, Benoit Baudry, Alain Nicolas, Jean-Marc Jézéquel
    Model-Driven Engineering for Software Migration in a Large Industrial Context. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2007, pp:482-497 [Conf]

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


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


  26. Providing Support for Model Composition in Metamodels. [Citation Graph (, )][DBLP]


  27. Composing Multi-view Aspect Models. [Citation Graph (, )][DBLP]


  28. Improving maintenance in AOP through an interaction specification framework. [Citation Graph (, )][DBLP]


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


  30. Variability Modeling and QoS Analysis of Web Services Orchestrations. [Citation Graph (, )][DBLP]


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


  32. Domain-Specific Model Editors with Model Completion. [Citation Graph (, )][DBLP]


  33. 4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE. [Citation Graph (, )][DBLP]


  34. A Generic Approach for Automatic Model Composition. [Citation Graph (, )][DBLP]


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


  36. Meta-model Pruning. [Citation Graph (, )][DBLP]


  37. Modeling Modeling. [Citation Graph (, )][DBLP]


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


  39. A Framework for Testing Model Composition Engines. [Citation Graph (, )][DBLP]


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


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


  42. On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing. [Citation Graph (, )][DBLP]


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


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


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


  46. Automatic Model Generation Strategies for Model Transformation Testing. [Citation Graph (, )][DBLP]


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


  48. A classification of invasive patterns in AOP [Citation Graph (, )][DBLP]


  49. Artificial table testing dynamically adaptive systems [Citation Graph (, )][DBLP]


Search in 0.129secs, Finished in 0.131secs
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