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

Expressing and implementing operational profiles for reactive software validation. - Lydie du Bousquet; Farid Ouabdesselam; Jean-Luc Richier (ISSRE, 1998)

Lutess: a testing environment for synchronous software. - Lydie du Bousquet; Farid Ouabdesselam; Ioannis Parissis; Jean-Luc Richier; Nicolas Zuanon (Tool Support for System Specification, Development and Verification, 1998)

Feature Interaction Detection Using Testing and Model-Checking Experience Report. - Lydie du Bousquet (World Congress on Formal Methods, 1999)

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

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

Test fonctionnel statistique de logiciels spécifiés en Lustre ; application à la validation de services téléphoniques. (Statistical functional testing of systems specified in Lustre; application to the validation of telecommunication features). - Lydie du Bousquet (1999)

An Approach to Symbolic Test Generation. - Vlad Rusu; Lydie du Bousquet; Thierry Jéron (IFM, 2000)

Automatic Test Generation for Java-Card Applets. - Hugues Martin; Lydie du Bousquet (Java Card Workshop, 2000)

Formal Test Automation: The Conference Protocol with TGV/TORX. - Lydie du Bousquet; Solofo Ramangalahy; Séverine Simon; César Viho; Axel Belinfante; René G. de Vries (TestCom, 2000)

Feature interaction detection using a synchronous approach and testing. - Lydie du Bousquet; Farid Ouabdesselam; Jean-Luc Richier; Nicolas Zuanon (Comput. Networks, 2000)

A Multi-formalism Approach for the Validation of UML Models. - Sophie Dupuy; Lydie du Bousquet (Formal Aspects Comput., 2000)

Validation of UML Models Thanks to Z and Lustre. - Sophie Dupuy-Chessa; Lydie du Bousquet (FME, 2001)

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

Conformance Testing from UML Specifications. Experience Report. - Lydie du Bousquet; Hugues Martin; Jean-Marc Jézéquel (pUML, 2001)

Testing Against Some Eventuality Properties of Synchronous Software: A Case Study. - Lydie du Bousquet; Farid Ouabdesselam; Jean-Luc Richier; Nicolas Zuanon (SLAP, 2003)

Filtering TOBIAS Combinatorial Test Suites. - Yves Ledru; Lydie du Bousquet; Olivier Maury; Pierre Bontron (FASE, 2004)

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

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

Test of the ICARE Platform Fusion Mechanism. - Sophie Dupuy-Chessa; Lydie du Bousquet; Jullien Bouchet; Yves Ledru (DSV-IS, 2005)

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

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

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

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

Using mutation analysis to evaluate test generation strategies in a synchronous context. - Lydie du Bousquet; Michel Delaunay (ICSEA, 2007)

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

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

Towards Mutation Analysis for Lustre Programs. - Lydie du Bousquet; Michel Delaunay (SLA++P@ETAPS, 2007)

Measuring a Java Test Suite Coverage Using JML Specifications. - Frédéric Dadeau; Yves Ledru; Lydie du Bousquet (MBT, 2007)

A Case Study in Matching Test and Proof Coverage. - Yves Ledru; Lydie du Bousquet; Frédéric Dadeau; F. Allouti (MBT, 2007)

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

Relation between Depth of Inheritance Tree and Number of Methods to Test. - Lydie du Bousquet; Muhammad Rabee Shaheen (ICST, 2008)

Validating Safety for the Integrated Services of the Home Network System Using JML. - Ben Yan; Masahide Nakamura; Lydie du Bousquet; Ken-ichi Matsumoto (Inf. Media Technol., 2008)

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

Analysis of the Introduction of Testability Antipatterns during the Development Process. - Muhammad Rabee Shaheen; Lydie du Bousquet (ICSEA, 2009)

Using formal methods to increase confidence in a home network system implementation: a case study. - Lydie du Bousquet; Masahide Nakamura; Ben Yan; Hiroshi Igaki (Innov. Syst. Softw. Eng., 2009)

Contributions à l'automatisation raisonnée de différents processus du test logiciel. (Contributions to reasoned automation of various processes of software testing). - Lydie du Bousquet (2010)

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

Assertion-based test oracles for home automation systems. - Ajitha Rajan; Lydie du Bousquet; Yves Ledru; Germán Vega; Jean-Luc Richier (MOMPES, 2010)

A New Approach for Software Testability. - Lydie du Bousquet (TAIC PART, 2010)

Proof Process Evaluation with Mutation Analysis. - Lydie du Bousquet; Michel Lévy (TAP@TOOLS, 2010)

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

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

Test suite selection based on traceability annotations. - Yves Ledru; Germán Vega; Taha Triki; Lydie du Bousquet (ASE, 2012)

Apport d'un prototype spécifié en Z dans le redéveloppement d'un outil de test. - Yves Ledru; Lydie du Bousquet (Tech. Sci. Informatiques, 2012)

A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information. - Yves Grasland; Lydie du Bousquet; Roland Groz; Ioannis Parissis (ICST, 2013)

Compressing Microcontroller Execution Traces to Assist System Analysis. - Azzeddine Amiar; Mickaël Delahaye; Yliès Falcone; Lydie du Bousquet (IESS, 2013)

Fault localization in embedded software based on a single cyclic trace. - Azzeddine Amiar; Mickaël Delahaye; Yliès Falcone; Lydie du Bousquet (ISSRE, 2013)

A Comparison of Mutation Analysis Tools for Java. - Mickaël Delahaye; Lydie du Bousquet (QSIC, 2013)

Special section on Mutation testing (Mutation 2010). - Lydie du Bousquet; Jeremy S. Bradbury; Gordon Fraser 001 (Sci. Comput. Program., 2013)

Constructing Execution and Life-Cycle Models for Smart City Services with Self-Aware IoT. - Masahide Nakamura; Lydie du Bousquet (ICAC, 2015)

Selecting a software engineering tool: lessons learnt from mutation analysis. - Mickaël Delahaye; Lydie du Bousquet (Softw. Pract. Exp., 2015)

Chronique - Défis 2015. - Philippe Collet; Lydie du Bousquet; Laurence Duchien; Pierre-Etienne Moreau (Tech. Sci. Informatiques, 2015)

Applying a Pairwise Coverage Criterion to Scenario-Based Testing. - Lydie du Bousquet; Mickaël Delahaye; Catherine Oriat (ICST Workshops, 2016)

Improving Trace Generation and Analysis for Medical Devices. - Yoann Blein; Arnaud Clere; Fabrice Bertrand; Yves Ledru; Roland Groz; Lydie du Bousquet (QRS Companion, 2017)

Extending specification patterns for verification of parametric traces. - Yoann Blein; Yves Ledru; Lydie du Bousquet; Roland Groz (FormaliSE@ICSE, 2018)

Requirements for a Trace Property Language for Medical Devices. - Yves Ledru; Yoann Blein; Lydie du Bousquet; Roland Groz; Arnaud Clere; Fabrice Bertrand (SEHS@ICSE, 2018)

An Environment for the ParTraP Trace Property Language (Tool Demonstration). - Ansem Ben Cheikh; Yoann Blein; Salim Chehida; Germán Vega; Yves Ledru; Lydie du Bousquet (RV, 2018)

Quelques pas vers l'Honnêteté et l'Explicabilité de moteurs de recherche sur le Web. - Lydie du Bousquet; Philippe Mulhem; Sara Lakah (CORIA, 2019)

End User Development: Verifying Home Behavior. - Alexandre Demeure; Sybille Caffiau; Sophie Dupuy-Chessa; Huong Ta; Lydie du Bousquet (EICS Workshops, 2019)

Toward Evaluation of Deployment Architecture of ML-Based Cyber-Physical Systems. - Lucas Gisselaire; Florian Cario; Quentin Guerre-Berthelot; Bastien Zigmann; Lydie du Bousquet; Masahide Nakamura (ASE Workshops, 2019)

Adaptation of an Online Platform to Teach Testing. - Lydie du Bousquet; Christophe Saint-Marcel (QuASoQ/SEED@APSEC, 2022)