Lydie du Bousquet

Lydie du Bousquet, Jeremy S. Bradbury, Gordon Fraser: Special section on Mutation testing (Mutation 2010). Sci. Comput. Program. 78(4): 343-344 (2013)

Yves Ledru, Lydie du Bousquet: Apport d'un prototype spécifié en Z dans le redéveloppement d'un outil de test. Technique et Science Informatiques 31(6): 743-767 (2012)

Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, Julien Botella: Model-Based Filtering of Combinatorial Test Suites. FASE 2012: 439-454

Yves Ledru, Germán Vega, Taha Triki, Lydie du Bousquet: Test suite selection based on traceability annotations. ASE 2012: 342-345

Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet: Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies. J. Autom. Reasoning 45(4): 415-435 (2010)

Tor Stålhane, Guttorm Sindre, Lydie du Bousquet: Comparing Safety Analysis Based on Sequence Diagrams and Textual Use Cases. CAiSE 2010: 165-179

Lydie du Bousquet: A New Approach for Software Testability. TAIC PART 2010: 207-210

Lydie du Bousquet, Michel Lévy: Proof Process Evaluation with Mutation Analysis. TAP 2010: 55-60

Lydie du Bousquet, Masahide Nakamura, Ben Yan, Hiroshi Igaki: Using formal methods to increase confidence in a home network system implementation: a case study. ISSE 5(3): 181-196 (2009)

Lydie du Bousquet, Ajitha Rajan, Catherine Oriat, Jean-Luc Richier, Germán Vega: Service specification and validation in the context of the home. ICFI 2009: 207-219

Muhammad Rabee Shaheen, Lydie du Bousquet: Analysis of the Introduction of Testability Antipatterns during the Development Process. ICSEA 2009: 128-133

Lydie du Bousquet, Michel Delaunay: Towards Mutation Analysis for Lustre Programs. Electr. Notes Theor. Comput. Sci. 203(4): 35-48 (2008)

Ben Yan, Masahide Nakamura, Lydie du Bousquet, Ken-ichi Matsumoto: Validating Safety for the Integrated Services of the Home Network System Using JML. JIP 16: 38-49 (2008)

Virginia Papailiopoulou, Laya Madani, Lydie du Bousquet, Ioannis Parissis: Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators. FMICS 2008: 23-36

Lydie du Bousquet, Muhammad Rabee Shaheen: Relation between Depth of Inheritance Tree and Number of Methods to Test. ICST 2008: 161-170

Frédéric Dadeau, Yves Ledru, Lydie du Bousquet: Measuring a Java Test Suite Coverage Using JML Specifications. Electr. Notes Theor. Comput. Sci. 190(2): 21-32 (2007)

Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, F. Allouti: A Case Study in Matching Test and Proof Coverage. Electr. Notes Theor. Comput. Sci. 190(2): 73-84 (2007)

Ben Yan, Masahide Nakamura, Lydie du Bousquet, Ken-ichi Matsumoto: Characterizing Safety of Integrated Services in Home Network System. ICOST 2007: 130-140

Lydie du Bousquet, Michel Delaunay: Using mutation analysis to evaluate test generation strategies in a synchronous context. ICSEA 2007: 40

Lydie du Bousquet, Masahide Nakamura, Ben Yan, Hiroshi Igaki: Using Formal Methods to increase confidence in one Home Network System implementation: Case study. ISoLA 2007: 203-214

Yves Ledru, Frédéric Dadeau, Lydie du Bousquet, Sébastien Ville, Elodie Rose: Mastering combinatorial explosion with the tobias-2 test generator. ASE 2007: 535-536

Lydie du Bousquet, Jean-Luc Richier (Eds.): Feature Interactions in Software and Communication Systems IX, International Co nference on Feature Interactions in Software and Communication Systems, ICFI 2007, 3-5 September 2007, Grenoble, France. IOS Press 2007, isbn 978-1-58603-845-8

Lydie du Bousquet: Evaluating Behavior Correctness of Synchronous Systems through Time to Service Distribution Analysis: Tools Required. ICSEA 2006: 18

Yves Ledru, Lydie du Bousquet: Tobias-Z: An executable formal specification of a test generator. ASE 2006: 353-354

Sophie Dupuy-Chessa, Lydie du Bousquet, Jullien Bouchet, Yves Ledru: Test of the ICARE Platform Fusion Mechanism. DSV-IS 2005: 102-113

Gavin J. Doherty, Lydie du Bousquet, José Creissac Campos, El Mustapha El Atifi, Gilles Falquet, Mieke Massink, Carmen Santoro: Ambience and Mobility. DSV-IS 2005: 264

Lydie du Bousquet, Olivier Gaudoin: Telephony Feature Validation against Eventuality Properties and Interaction Detection based on a Statistical Analysis of the Time to Service. FIW 2005: 78-95

Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon: Testing Against Some Eventuality Properties of Synchronous Software: A Case Study. Electr. Notes Theor. Comput. Sci. 88: 105-121 (2004)

Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron: Filtering TOBIAS Combinatorial Test Suites. FASE 2004: 281-294

Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet: Case Study in JML-Based Software Validation. ASE 2004: 294-297

Sophie Dupuy-Chessa, Lydie du Bousquet: Validation of UML Models Thanks to Z and Lustre. FME 2001: 242-258

Yves Ledru, Lydie du Bousquet, Pierre Bontron, Olivier Maury, Catherine Oriat, Marie-Laure Potet: Test Purposes: Adapting the Notion of Specification to Testing. ASE 2001: 127-134

Lydie du Bousquet, Hugues Martin, Jean-Marc Jézéquel: Conformance Testing from UML Specifications. Experience Report. pUML 2001: 43-55

Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon: Feature interaction detection using a synchronous approach and testing. Computer Networks 32(4): 419-431 (2000)

Sophie Dupuy, Lydie du Bousquet: A Multi-formalism Approach for the Validation of UML Models. Formal Asp. Comput. 12(4): 228-230 (2000)

Vlad Rusu, Lydie du Bousquet, Thierry Jéron: An Approach to Symbolic Test Generation. IFM 2000: 338-357

Hugues Martin, Lydie du Bousquet: Automatic Test Generation for Java-Card Applets. Java Card Workshop 2000: 121-136

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. TestCom 2000: 221-228

Lydie du Bousquet: Feature Interaction Detection Using Testing and Model-Checking Experience Report. World Congress on Formal Methods 1999: 622-641

Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon: Lutess: A Specification-Driven Testing Environment for Synchronous Software. ICSE 1999: 267-276

Lydie du Bousquet, Nicolas Zuanon: An Overview of Lutess: A Specification-based Tool for Testing Synchronous Software. ASE 1999: 208-215

Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon: Incremental Feature Validation: a Synchronous Point of View. FIW 1998: 262-275