Lydie du Bousquet

Publication Activity (10 Years)

Years Active: 1998-2022
Publications (10 Years): 12

Top Venues

FormaliSE@ICSE

EICS Workshops

ASE Workshops

CORIA

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Lydie du Bousquet, Christophe Saint-Marcel
Adaptation of an Online Platform to Teach Testing. QuASoQ/SEED@APSEC (2022)
Alexandre Demeure, Sybille Caffiau, Sophie Dupuy-Chessa, Huong Ta, Lydie du Bousquet
End User Development: Verifying Home Behavior. EICS Workshops (2019)
Lucas Gisselaire, Florian Cario, Quentin Guerre-Berthelot, Bastien Zigmann, Lydie du Bousquet, Masahide Nakamura
Toward Evaluation of Deployment Architecture of ML-Based Cyber-Physical Systems. ASE Workshops (2019)
Lydie du Bousquet, Philippe Mulhem, Sara Lakah
Quelques pas vers l'Honnêteté et l'Explicabilité de moteurs de recherche sur le Web. CORIA (2019)
Ansem Ben Cheikh, Yoann Blein, Salim Chehida, Germán Vega, Yves Ledru, Lydie du Bousquet
An Environment for the ParTraP Trace Property Language (Tool Demonstration). RV (2018)
Yves Ledru, Yoann Blein, Lydie du Bousquet, Roland Groz, Arnaud Clere, Fabrice Bertrand
Requirements for a Trace Property Language for Medical Devices. SEHS@ICSE (2018)
Yoann Blein, Yves Ledru, Lydie du Bousquet, Roland Groz
Extending specification patterns for verification of parametric traces. FormaliSE@ICSE (2018)
Yoann Blein, Arnaud Clere, Fabrice Bertrand, Yves Ledru, Roland Groz, Lydie du Bousquet
Improving Trace Generation and Analysis for Medical Devices. QRS Companion (2017)
Lydie du Bousquet, Mickaël Delahaye, Catherine Oriat
Applying a Pairwise Coverage Criterion to Scenario-Based Testing. ICST Workshops (2016)
Masahide Nakamura, Lydie du Bousquet
Constructing Execution and Life-Cycle Models for Smart City Services with Self-Aware IoT. ICAC (2015)
Mickaël Delahaye, Lydie du Bousquet
Selecting a software engineering tool: lessons learnt from mutation analysis. Softw. Pract. Exp. 45 (7) (2015)
Philippe Collet, Lydie du Bousquet, Laurence Duchien, Pierre-Etienne Moreau
Chronique - Défis 2015. Tech. Sci. Informatiques 34 (3) (2015)
Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet
Compressing Microcontroller Execution Traces to Assist System Analysis. IESS (2013)
Mickaël Delahaye, Lydie du Bousquet
A Comparison of Mutation Analysis Tools for Java. QSIC (2013)
Yves Grasland, Lydie du Bousquet, Roland Groz, Ioannis Parissis
A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information. ICST (2013)
Lydie du Bousquet, Jeremy S. Bradbury, Gordon Fraser
Special section on Mutation testing (Mutation 2010). Sci. Comput. Program. 78 (4) (2013)
Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet
Fault localization in embedded software based on a single cyclic trace. ISSRE (2013)
Yves Ledru, Germán Vega, Taha Triki, Lydie du Bousquet
Test suite selection based on traceability annotations. ASE (2012)
Yves Ledru, Lydie du Bousquet
Apport d'un prototype spécifié en Z dans le redéveloppement d'un outil de test. Tech. Sci. Informatiques 31 (6) (2012)
Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, Julien Botella
Model-Based Filtering of Combinatorial Test Suites. FASE (2012)
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. Reason. 45 (4) (2010)
Tor Stålhane, Guttorm Sindre, Lydie du Bousquet
Comparing Safety Analysis Based on Sequence Diagrams and Textual Use Cases. CAiSE (2010)
Lydie du Bousquet, Michel Lévy
Proof Process Evaluation with Mutation Analysis. TAP@TOOLS (2010)
Ajitha Rajan, Lydie du Bousquet, Yves Ledru, Germán Vega, Jean-Luc Richier
Assertion-based test oracles for home automation systems. MOMPES (2010)
Lydie du Bousquet
A New Approach for Software Testability. TAIC PART (2010)
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)
Muhammad Rabee Shaheen, Lydie du Bousquet
Analysis of the Introduction of Testability Antipatterns during the Development Process. ICSEA (2009)
Lydie du Bousquet, Masahide Nakamura, Ben Yan, Hiroshi Igaki
Using formal methods to increase confidence in a home network system implementation: a case study. Innov. Syst. Softw. Eng. 5 (3) (2009)
Lydie du Bousquet, Michel Delaunay
Towards Mutation Analysis for Lustre Programs. Electron. Notes Theor. Comput. Sci. 203 (4) (2008)
Lydie du Bousquet, Muhammad Rabee Shaheen
Relation between Depth of Inheritance Tree and Number of Methods to Test. ICST (2008)
Ben Yan, Masahide Nakamura, Lydie du Bousquet, Ken-ichi Matsumoto
Validating Safety for the Integrated Services of the Home Network System Using JML. J. Inf. Process. 16 (2008)
Ben Yan, Masahide Nakamura, Lydie du Bousquet, Ken-ichi Matsumoto
Validating Safety for the Integrated Services of the Home Network System Using JML. Inf. Media Technol. 3 (3) (2008)
Virginia Papailiopoulou, Laya Madani, Lydie du Bousquet, Ioannis Parissis
Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators. FMICS (2008)
Ben Yan, Masahide Nakamura, Lydie du Bousquet, Ken-ichi Matsumoto
Characterizing Safety of Integrated Services in Home Network System. ICOST (2007)
Lydie du Bousquet, Michel Delaunay
Using mutation analysis to evaluate test generation strategies in a synchronous context. ICSEA (2007)
Frédéric Dadeau, Yves Ledru, Lydie du Bousquet
Measuring a Java Test Suite Coverage Using JML Specifications. Electron. Notes Theor. Comput. Sci. 190 (2) (2007)
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)
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)
Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, F. Allouti
A Case Study in Matching Test and Proof Coverage. Electron. Notes Theor. Comput. Sci. 190 (2) (2007)
Lydie du Bousquet
Evaluating Behavior Correctness of Synchronous Systems through Time to Service Distribution Analysis: Tools Required. ICSEA (2006)
Yves Ledru, Lydie du Bousquet
Tobias-Z: An executable formal specification of a test generator. ASE (2006)
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)
Sophie Dupuy-Chessa, Lydie du Bousquet, Jullien Bouchet, Yves Ledru
Test of the ICARE Platform Fusion Mechanism. DSV-IS (2005)
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)
Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron
Filtering TOBIAS Combinatorial Test Suites. FASE (2004)
Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet
Case Study in JML-Based Software Validation. ASE (2004)
Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon
Testing Against Some Eventuality Properties of Synchronous Software: A Case Study. Electron. Notes Theor. Comput. Sci. 88 (2004)
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)
Sophie Dupuy-Chessa, Lydie du Bousquet
Validation of UML Models Thanks to Z and Lustre. FME (2001)
Lydie du Bousquet, Hugues Martin, Jean-Marc Jézéquel
Conformance Testing from UML Specifications. Experience Report. pUML (2001)
Sophie Dupuy, Lydie du Bousquet
A Multi-formalism Approach for the Validation of UML Models. Formal Aspects Comput. 12 (4) (2000)
Vlad Rusu, Lydie du Bousquet, Thierry Jéron
An Approach to Symbolic Test Generation. IFM (2000)
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)
Hugues Martin, Lydie du Bousquet
Automatic Test Generation for Java-Card Applets. Java Card Workshop (2000)
Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon
Feature interaction detection using a synchronous approach and testing. Comput. Networks 32 (4) (2000)
Lydie du Bousquet, Nicolas Zuanon
An Overview of Lutess: A Specification-based Tool for Testing Synchronous Software. ASE (1999)
Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon
Lutess: A Specification-Driven Testing Environment for Synchronous Software. ICSE (1999)
Lydie du Bousquet
Feature Interaction Detection Using Testing and Model-Checking Experience Report. World Congress on Formal Methods (1999)
Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier
Expressing and implementing operational profiles for reactive software validation. ISSRE (1998)
Lydie du Bousquet, Farid Ouabdesselam, Ioannis Parissis, Jean-Luc Richier, Nicolas Zuanon
Lutess: a testing environment for synchronous software. Tool Support for System Specification, Development and Verification (1998)
Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon
Incremental Feature Validation: a Synchronous Point of View. FIW (1998)

Lydie du Bousquet.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Lydie du Bousquet