Lydie Du Bousquet

50
Documents

Publications

Publications

Co-designing conversational agents with older people: A scoping review of methods, challenges, and a way forward

Sidonie Salomé , Lydie Du Bousquet , Emmanuel Monfort
Computers in Human Behavior Reports, 2025, 17, pp.100606. ⟨10.1016/j.chbr.2025.100606⟩
Article dans une revue hal-04925970 v1

Défis 2025

Philippe Collet , Lydie Du Bousquet , Laurence Duchien , Pierre-Etienne Moreau
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015, 34 (3), pp.311-324. ⟨10.3166/TSI.34.293-306⟩
Article dans une revue hal-01345654 v1

Selecting a software engineering tool: lessons learnt from mutation analysis

Mickaël Delahaye , Lydie Du Bousquet
Software: Practice and Experience, 2015, 45 (7), pp.875-891. ⟨10.1002/spe.2312⟩
Article dans une revue istex hal-01274020 v1

Apport d'un prototype spécifié en Z dans le redéveloppement d'un outil de test

Yves Ledru , Lydie Du Bousquet
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2012, 31 (6), pp.743-767. ⟨10.3166/tsi.31.743-767⟩
Article dans une revue istex hal-00857295 v1

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
Journal of Automated Reasoning, 2010, 45 (4), pp.415-435. ⟨10.1007/s10817-009-9132-y⟩
Article dans une revue istex hal-00587110 v1

Using formal methods to increase confidence in a home network system implementation: a case study

Lydie Du Bousquet , M. Nakamura , B. Yan , H. Igaki
Innovations in Systems and Software Engineering, 2009, 5 (3), pp.181-196. ⟨10.1007/s11334-009-0092-5⟩
Article dans une revue istex hal-00953582 v1
Image document

De l'adaptation de Caseine pour l'évaluation des tests des étudiants

Lydie Du Bousquet , Christophe Saint-Marcel
21èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL 2022, Jun 2022, Vannes, France
Communication dans un congrès hal-03902501 v1
Image document

Adaptation of an online platform to teach testing

Lydie Du Bousquet , Christophe Saint-Marcel
6th Software Engineering Education Workshop (SEED-2022), Dec 2022, Osaka, Japan
Communication dans un congrès hal-03902500 v1
Image document

Quelques pas vers l’Honnêteté et l’Explicabilité de moteurs de recherche sur le Web

Philippe Mulhem , Lydie Du Bousquet , Sara Lakah
COnférence en Recherche d’Information et Applications, Mar 2019, Villeurbanne, France. ⟨10.3166/DN.1.-.1-18⟩
Communication dans un congrès hal-02061553 v1

Toward Evaluation of Deployment Architecture of ML-Based Cyber-Physical Systems

Lucas Gisselaire , Florian Cario , Quentin Guerre-Berthelot , Bastien Zigmann , Lydie Du Bousquet et al.
ASE Workshops 2019: 90-93, 2019, San Diego, CA, United States
Communication dans un congrès hal-03266543 v1
Image document

Requirements for a Trace Property Language for Medical Devices

Yves Ledru , Yoann Blein , Lydie Du Bousquet , Roland Groz , Arnaud Clere et al.
the International Workshop on Software Engineering in Healthcare Systems, SEHS@ICSE 2018, May 2018, Gothenburg, Sweden. ⟨10.1145/3194696.3194699⟩
Communication dans un congrès hal-02004396 v1
Image document

An Environment for the ParTraP Trace Property Language (Tool Demonstration)

Ansem Ben Cheikh Ben Cheikh , Yoann Blein , Salim Chehida , German Vega , Yves Ledru et al.
Runtime Verification - 18th International Conference, RV 2018, Nov 2018, Limassol, Cyprus. pp.437-446, ⟨10.1007/978-3-030-03769-7_26⟩
Communication dans un congrès hal-02004420 v1

Improving Testability of Software Systems that Include a Learning Feature

Lydie Du Bousquet , Masahide Nakamura
The Tenth International Conference on Advances in System Testing and Validation (VALID), Oct 2018, Nice, France
Communication dans un congrès hal-02062601 v1

Recognizing ADLs Based on Non-Intrusive Environmental Sensing and BLE Beacons

Long Niu , Sachio Saiki , Lydie Du Bousquet , Masahide Nakamura
Eighth International Conference on Indoor Positionning and Indoor Navigation (IPIN2017), Sep 2017, Sapporo, Japan
Communication dans un congrès hal-01657741 v1
Image document

Improving Trace Generation and Analysis for Medical Devices

Yoann Blein , Arnaud Clere , Fabrice Bertrand , Yves Ledru , Roland Groz et al.
IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017, Jul 2017, Prague, Czech Republic. pp.599-600, ⟨10.1109/QRS-C.2017.135⟩
Communication dans un congrès hal-01657553 v1

Applying a Pairwise Coverage Criterion to Scenario-Based Testing

Lydie Du Bousquet , Mickaël Delahaye , Catherine Oriat
Fifth International Workshop on Combinatorial Testing (IWCT 2016), Apr 2016, Chicago, United States
Communication dans un congrès hal-01415860 v1

Constructing Execution and Life-Cycle Models for Smart City Services with Self-Aware IoT

Masahide Nakamura , Lydie Du Bousquet
2015 IEEE International Conference on Autonomic Computing (ICAC) and Workshop, Jul 2015, Grenoble, France
Communication dans un congrès hal-01657731 v1

A Comparison of Mutation Analysis Tools for Java

Mickaël Delahaye , Lydie Du Bousquet
QSIC 2013 - International Conference on Quality Software, Jul 2013, Nanjing, China
Communication dans un congrès hal-00853717 v1
Image document

Compressing Microcontroller Execution Traces to Assist System Analysis

Azzeddine Amiar , Mickaël Delahaye , Yliès Falcone , Lydie Du Bousquet
4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.139-150, ⟨10.1007/978-3-642-38853-8_13⟩
Communication dans un congrès hal-00853716 v1

Réduction de suites de tests avec des critères d'équivalence basés sur la couverture structurelle

Taha Triki , Lydie Du Bousquet , Yves Ledru
AFADL 2012 - Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2013, Grenoble, France. pp.120-134
Communication dans un congrès hal-00857296 v1

A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information

Yves Grasland , Lydie Du Bousquet , Roland Groz , Ioannis Parissis
6th International Conference on Software Testing and Verification (ICST 2013), Mar 2013, Luxembourg, Luxembourg. pp.104-113
Communication dans un congrès hal-00954524 v1

Nouveaux mécanismes de filtrage de tests basés sur le modèle

Taha Triki , Yves Ledru , Lydie Du Bousquet , Frédéric Dadeau , Julien Botella
Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.179-180
Communication dans un congrès hal-00953273 v1

Model-Based Filtering of Combinatorial Test Suites

Taha Triki , Yves Ledru , Lydie Du Bousquet , Frédéric Dadeau , Julien Botella
FASE'2012, 15th Int. Conf. on Fundamental Approaches to Software Engineering, Jan 2012, Estonia. pp.439 - 454
Communication dans un congrès hal-00935068 v1

Résumer les traces d'exécution des micro-contrôleurs

Azzeddine Amiar , Mickaël Delahaye , Yliès Falcone , Lydie Du Bousquet
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2012), 2012, Grenoble, France
Communication dans un congrès hal-00953276 v1

Test Suite Selection Based on Traceability Annotations

Yves Ledru , German Eduardo Vega Baez , Taha Triki , Lydie Du Bousquet
ASE 2012 - International Conference on Automated Software Engineering, Sep 2012, Essen, Germany. pp.342-345, ⟨10.1145/2351676.2351742⟩
Communication dans un congrès hal-00857298 v1

Tobias on-line tool for combinatorial software testing (poster and demo)

Lydie Du Bousquet , Yves Ledru , Taha Triki , German Eduardo Vega Baez
Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.217
Communication dans un congrès hal-00953274 v1
Image document

Model-Based Filtering of Combinatorial Test Suites

Taha Triki , Yves Ledru , Lydie Du Bousquet , Frédéric Dadeau , Julien Botella
FASE'2012, 15th Int. Conf. on Fundamental Approaches to Software Engineering, Jan 2012, Estonia. pp.439 - 454
Communication dans un congrès hal-00935067 v1

TASCCC - Project and Testing Tool (poster and demo)

Kalou Cabrera Castillos , Frédéric Dadeau , Yves Ledru , Lydie Du Bousquet , Taha Triki et al.
Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.241
Communication dans un congrès hal-00953275 v1

Évaluation de la qualité de jeux de tests hybrides en domotique

Yves Grasland , Lydie Du Bousquet , Roland Groz , Ioannis Parissis
AFADL 2012 - Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. pp.104-119
Communication dans un congrès hal-00680691 v1

Home Automation Systems Testing : A Coverage Measure for Hybrid Automata

Yves Grasland , Lydie Du Bousquet , Roland Groz , Ioannis Parissis
ICTSS 2011 - 23rd IFIP International Conference on Testing Software and Systems, Nov 2011, Paris, France. pp.5-12
Communication dans un congrès hal-00860799 v1

Assertion-based test oracles for home automation systems

Ajitha Rajan , Lydie Du Bousquet , Yves Ledru , German Eduardo Vega Baez , Jean-Luc Richier
Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2010, New York, NY, United States. pp.45-52, ⟨10.1145/1865875.1865882⟩
Communication dans un congrès hal-00953393 v1

Comparing Safety Analysis Based on Sequence Diagrams and Textual Use Cases

Tor Stålhane , Guttorm Sindre , Lydie Du Bousquet
Advanced Information Systems Engineering, 22nd International Conference (CAiSE), 2010, Hammamet, Tunisia. pp.165-179, ⟨10.1007/978-3-642-13094-6_14⟩
Communication dans un congrès istex hal-00953390 v1

Proof Process Evaluation with Mutation Analysis

Lydie Du Bousquet , Michel Lévy
Tests and Proofs (TAP 2010), 2010, Malaga, Spain. pp.55-60, ⟨10.1007/978-3-642-13977-2_6⟩
Communication dans un congrès istex hal-00953392 v1

A New Approach for Software Testability

Lydie Du Bousquet
Testing - Practice and Research Techniques, 5th International Academic and Industrial Conference (TAIC PART), 2010, Windsor, UK, pp.207-210, ⟨10.1007/978-3-642-15585-7_23⟩
Communication dans un congrès istex hal-00953391 v1

De l'utilisation d'une spécification Z comme prototype dans le redéveloppement d'un projet

Yves Ledru , Lydie Du Bousquet
Actes de la Conférence AFADL'10: Approches Formelles dans l'Assistance au Développement de Logiciels, 2010, Poitiers, pp.117-131
Communication dans un congrès hal-00953400 v1

Is Depth of Inheritance Tree a Good Cost Prediction For Branch Coverage Testing?

Muhammad Rabee Shaheen , Lydie Du Bousquet
First International Conference on Advances in System Testing and Validation Lifecycle VALID, 2009, Porto, Portugal. pp.42-47, ⟨10.1109/VALID.2009.11⟩
Communication dans un congrès hal-00953585 v1

Service specification and validation in the context of the home

Lydie Du Bousquet , Ajitha Rajan , Catherine Oriat , Jean-Luc Richier , German Eduardo Vega Baez
10th International Conference on Feature Interactions (ICFI 2009), 2009, Lisbon, Portugal. pp.207-219
Communication dans un congrès hal-00953584 v1

Analysis of the introduction of testability antipatterns during the development process

Muhammad Rabee Shaheen , Lydie Du Bousquet
Fourth International Conference on Software Engineering Advances ICSEA, 2009, Porto, Portugal. pp.128-133, ⟨10.1109/ICSEA.2009.27⟩
Communication dans un congrès hal-00953586 v1

Generation of Test Programs for the Assertion-Based Verification of TLM Models

L. Ferro , Laurence Pierre , Y. Ledru , L. Du Bousquet
IEEE International Design and Test Workshop (IDT'08), Dec 2008, Monastir, Tunisia. pp.237-242
Communication dans un congrès hal-00354257 v1

Mutation analysis for Lustre programs: Fault model description and validation

Lydie Du Bousquet , Michel Delaunay
Testing: Academic and Industrial Conference Practice and Research Techniques. TAICPART-MUTATION 2007, Sep 2007, Cumberland Lodge, Windsor, United Kingdom. pp.176-184, ⟨10.1109/TAIC.PART.2007.27⟩
Communication dans un congrès hal-01272641 v1
Image document

Conformance testing from UML specifications. Experience Report

Lydie Du Bousquet , Hugues Martin , Jean-Marc Jézéquel
Lecture Notes in Informatics (LNI), Oct 2001, Dortmund, Germany
Communication dans un congrès hal-00794313 v1

The invisible threat: digital waste and digital pollution

Lydie Du Bousquet , Vania Marangozova , Théo Buisson , Christina Todorova , Pavel Varbanov et al.
Campus des Métiers et des Qualifications Informatique et Electronique de demain (CMQ IED); European Software Institute – Center Eastern Europe (ESI CEE); Centro de Referencia Nacional de Desarrollo Informático y Comunicaciones (CFTIC); Fondazione ITS INCOM per l’INformazione e la COMunicazione (ITS INCOM). 2022
Rapport hal-04752731 v1
Image document

CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding

Azzeddine Amiar , Mickaël Delahaye , Yliès Falcone , Lydie Du Bousquet
2013
Rapport hal-00857299 v1
Image document

CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding

Azzeddine Amiar , Mickaël Delahaye , Yliès Falcone , Lydie Du Bousquet
[Research Report] RR-LIG-031, LIG. 2012
Rapport (rapport de recherche) hal-01472082 v1
Image document

The First Four Years (2007-2010) and Beyond - Volume 1: Research Program and Activity Report

Nicolas Balacheff , Béatrice Buccio , Patrick Chapuis , Jacky Coutin , Joëlle Coutaz et al.
2011
Rapport hal-00773168 v1
Image document

Survey of source code metrics for evaluating testability of object oriented systems

Muhammad Rabee Shaheen , Lydie Du Bousquet
[Research Report] RR-LIG-005, 2010
Rapport (rapport de recherche) hal-00953403 v1
Image document

Mutation analysis to evaluate Lustre program specifications in the context of model-checking

Lydie Du Bousquet
[Research Report] RR-LIG-007, 2010
Rapport (rapport de recherche) hal-00953404 v1