| 2022 | APSEC | Adaptation of an Online Platform to Teach Testing. | Lydie du Bousquet, Christophe Saint-Marcel |
| 2019 | EICS | End User Development: Verifying Home Behavior. | Alexandre Demeure, Sybille Caffiau, Sophie Dupuy-Chessa, Huong Ta, Lydie du Bousquet |
| 2018 | ICSE | Extending specification patterns for verification of parametric traces. | Yoann Blein, Yves Ledru, Lydie du Bousquet, Roland Groz |
| 2018 | ICSE | Requirements for a Trace Property Language for Medical Devices. | Yves Ledru, Yoann Blein, Lydie du Bousquet, Roland Groz, Arnaud Clere, Fabrice Bertrand |
| 2018 | RV | An Environment for the ParTraP Trace Property Language (Tool Demonstration). | Ansem Ben Cheikh, Yoann Blein, Salim Chehida, Germn Vega, Yves Ledru, Lydie du Bousquet |
| 2017 | QRS | Improving Trace Generation and Analysis for Medical Devices. | Yoann Blein, Arnaud Clere, Fabrice Bertrand, Yves Ledru, Roland Groz, Lydie du Bousquet |
| 2016 | ICST | Applying a Pairwise Coverage Criterion to Scenario-Based Testing. | Lydie du Bousquet, Mickal Delahaye, Catherine Oriat |
| 2013 | ICST | A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information. | Yves Grasland, Lydie du Bousquet, Roland Groz, Ioannis Parissis |
| 2013 | ISSRE | Fault localization in embedded software based on a single cyclic trace. | Azzeddine Amiar, Mickal Delahaye, Ylis Falcone, Lydie du Bousquet |
| 2012 | FASE | Model-Based Filtering of Combinatorial Test Suites. | Taha Triki, Yves Ledru, Lydie du Bousquet, Frdric Dadeau, Julien Botella |
| 2010 | CaiSE | Comparing Safety Analysis Based on Sequence Diagrams and Textual Use Cases. | Tor Stlhane, Guttorm Sindre, Lydie du Bousquet |
| 2010 | TAP | Proof Process Evaluation with Mutation Analysis. | Lydie du Bousquet, Michel Lvy |
| 2009 | ICSEA | Analysis of the Introduction of Testability Antipatterns during the Development Process. | Muhammad Rabee Shaheen, Lydie du Bousquet |
| 2008 | FMICS | Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators. | Virginia Papailiopoulou, Laya Madani, Lydie du Bousquet, Ioannis Parissis |
| 2008 | ICST | Relation between Depth of Inheritance Tree and Number of Methods to Test. | Lydie du Bousquet, Muhammad Rabee Shaheen |
| 2007 | ICOST | Characterizing Safety of Integrated Services in Home Network System. | Ben Yan, Masahide Nakamura, Lydie du Bousquet, Ken-ichi Matsumoto |
| 2007 | ICSEA | Using mutation analysis to evaluate test generation strategies in a synchronous context. | Lydie du Bousquet, Michel Delaunay |
| 2007 | ISoLA | Using Formal Methods to increase confidence in one Home Network System implementation: Case study. | Lydie du Bousquet, Masahide Nakamura, Ben Yan, Hiroshi Igaki |
| 2006 | ICSEA | Evaluating Behavior Correctness of Synchronous Systems through Time to Service Distribution Analysis: Tools Required. | Lydie du Bousquet |
| 2004 | FASE | Filtering TOBIAS Combinatorial Test Suites. | Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron |
| 2001 | FM | Validation of UML Models Thanks to Z and Lustre. | Sophie Dupuy-Chessa, Lydie du Bousquet |
| 2000 | IFM | An Approach to Symbolic Test Generation. | Vlad Rusu, Lydie du Bousquet, Thierry Jron |
| 1999 | FM | Feature Interaction Detection Using Testing and Model-Checking Experience Report. | Lydie du Bousquet |
| 1999 | ICSE | Lutess: A Specification-Driven Testing Environment for Synchronous Software. | Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon |
| 1998 | ISSRE | Expressing and implementing operational profiles for reactive software validation. | Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier |