Search the dblp DataBase

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]