The SCEAS System
Navigation Menu

Search the dblp DataBase


Lydie du Bousquet: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sophie Dupuy-Chessa, Lydie du Bousquet, Jullien Bouchet, Yves Ledru
    Test of the ICARE Platform Fusion Mechanism. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2005, pp:102-113 [Conf]
  2. Gavin J. Doherty, Lydie du Bousquet, José Creissac Campos, El Mustapha El Atifi, Gilles Falquet, Mieke Massink, Carmen Santoro
    Ambience and Mobility. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2005, pp:264- [Conf]
  3. Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron
    Filtering TOBIAS Combinatorial Test Suites. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:281-294 [Conf]
  4. Lydie du Bousquet, Olivier Gaudoin
    Telephony Feature Validation against Eventuality Properties and Interaction Detection based on a Statistical Analysis of the Time to Service. [Citation Graph (0, 0)][DBLP]
    FIW, 2005, pp:78-95 [Conf]
  5. Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon
    Incremental Feature Validation: a Synchronous Point of View. [Citation Graph (0, 0)][DBLP]
    FIW, 1998, pp:262-275 [Conf]
  6. Lydie du Bousquet
    Feature Interaction Detection Using Testing and Model-Checking Experience Report. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:622-641 [Conf]
  7. Sophie Dupuy-Chessa, Lydie du Bousquet
    Validation of UML Models Thanks to Z and Lustre. [Citation Graph (0, 0)][DBLP]
    FME, 2001, pp:242-258 [Conf]
  8. Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon
    Lutess: A Specification-Driven Testing Environment for Synchronous Software. [Citation Graph (0, 0)][DBLP]
    ICSE, 1999, pp:267-276 [Conf]
  9. Vlad Rusu, Lydie du Bousquet, Thierry Jéron
    An Approach to Symbolic Test Generation. [Citation Graph (0, 0)][DBLP]
    IFM, 2000, pp:338-357 [Conf]
  10. Hugues Martin, Lydie du Bousquet
    Automatic Test Generation for Java-Card Applets. [Citation Graph (0, 0)][DBLP]
    Java Card Workshop, 2000, pp:121-136 [Conf]
  11. Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet
    Case Study in JML-Based Software Validation. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:294-297 [Conf]
  12. Lydie du Bousquet, Nicolas Zuanon
    An Overview of Lutess: A Specification-based Tool for Testing Synchronous Software. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:208-215 [Conf]
  13. Yves Ledru, Lydie du Bousquet
    Tobias-Z: An executable formal specification of a test generator. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:353-354 [Conf]
  14. Yves Ledru, Lydie du Bousquet, Pierre Bontron, Olivier Maury, Catherine Oriat, Marie-Laure Potet
    Test Purposes: Adapting the Notion of Specification to Testing. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:127-134 [Conf]
  15. Lydie du Bousquet, Solofo Ramangalahy, Séverine Simon, César Viho, Axel Belinfante, René G. de Vries
    Formal Test Automation: The Conference Protocol with TGV/TORX. [Citation Graph (0, 0)][DBLP]
    TestCom, 2000, pp:221-228 [Conf]
  16. Lydie du Bousquet, Hugues Martin, Jean-Marc Jézéquel
    Conformance Testing from UML Specifications. Experience Report. [Citation Graph (0, 0)][DBLP]
    pUML, 2001, pp:43-55 [Conf]
  17. Lydie du Bousquet
    Evaluating Behavior Correctness of Synchronous Systems through Time to Service Distribution Analysis: Tools Required. [Citation Graph (0, 0)][DBLP]
    ICSEA, 2006, pp:18- [Conf]
  18. Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon
    Feature interaction detection using a synchronous approach and testing. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2000, v:32, n:4, pp:419-431 [Journal]
  19. Sophie Dupuy, Lydie du Bousquet
    A Multi-formalism Approach for the Validation of UML Models. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:4, pp:228-230 [Journal]
  20. Ben Yan, Masahide Nakamura, Lydie du Bousquet, Ken-ichi Matsumoto
    Characterizing Safety of Integrated Services in Home Network System. [Citation Graph (0, 0)][DBLP]
    ICOST, 2007, pp:130-140 [Conf]
  21. Frédéric Dadeau, Yves Ledru, Lydie du Bousquet
    Measuring a Java Test Suite Coverage Using JML Specifications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:2, pp:21-32 [Journal]
  22. Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, F. Allouti
    A Case Study in Matching Test and Proof Coverage. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:2, pp:73-84 [Journal]

  23. Comparing Safety Analysis Based on Sequence Diagrams and Textual Use Cases. [Citation Graph (, )][DBLP]

  24. Using Formal Methods to increase confidence in one Home Network System implementation: Case study. [Citation Graph (, )][DBLP]

  25. Mastering combinatorial explosion with the tobias-2 test generator. [Citation Graph (, )][DBLP]

  26. A New Approach for Software Testability. [Citation Graph (, )][DBLP]

  27. Using mutation analysis to evaluate test generation strategies in a synchronous context. [Citation Graph (, )][DBLP]

  28. Analysis of the Introduction of Testability Antipatterns during the Development Process. [Citation Graph (, )][DBLP]

  29. Proof Process Evaluation with Mutation Analysis. [Citation Graph (, )][DBLP]

  30. Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators. [Citation Graph (, )][DBLP]

  31. Relation between Depth of Inheritance Tree and Number of Methods to Test. [Citation Graph (, )][DBLP]

  32. Towards Mutation Analysis for Lustre Programs. [Citation Graph (, )][DBLP]

  33. Testing Against Some Eventuality Properties of Synchronous Software: A Case Study. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.005secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002