Lydie Du Bousquet

Publications

Article dans une revue (6)

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-04925970v1
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-01345654v1
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-01274020v1
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-00857295v1
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-00587110v1
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-00953582v1

Communication dans un congrès (35)

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-03902501v1
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-03902500v1
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-02061553v1
Toward Evaluation of Deployment Architecture of ML-Based Cyber-Physical Systems Lucas Gisselaire,Florian Cario,Quentin Guerre-Berthelot,Bastien Zigmann,Lydie Du Bousquetet al. ASE Workshops 2019: 90-93, 2019, San Diego, CA, United States Communication dans un congrès hal-03266543v1
Requirements for a Trace Property Language for Medical Devices Yves Ledru,Yoann Blein,Lydie Du Bousquet,Roland Groz,Arnaud Clereet 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-02004396v1
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-02062601v1
An Environment for the ParTraP Trace Property Language (Tool Demonstration) Ansem Ben Cheikh Ben Cheikh,Yoann Blein,Salim Chehida,German Vega,Yves Ledruet 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-02004420v1
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-01657741v1
Improving Trace Generation and Analysis for Medical Devices Yoann Blein,Arnaud Clere,Fabrice Bertrand,Yves Ledru,Roland Grozet 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-01657553v1
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-01415860v1
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-01657731v1
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-00853717v1
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-00853716v1
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-00857296v1
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-00954524v1
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-00953273v1
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-00857298v1
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-00953276v1
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-00935068v1
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-00953274v1
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-00935067v1
TASCCC - Project and Testing Tool (poster and demo) Kalou Cabrera Castillos,Frédéric Dadeau,Yves Ledru,Lydie Du Bousquet,Taha Trikiet 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-00953275v1
É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-00680691v1
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-00860799v1
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-00953393v1
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-00953392v1
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-00953390v1
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-00953400v1
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-00953391v1
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-00953585v1
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-00953586v1
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-00953584v1
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-00354257v1
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-01272641v1
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-00794313v1

Autre publication scientifique (1)

Les métiers du numérique pour inventer le monde de demain Boyer Anne,Lydie Du Bousquet,Robin Vivian,Samuel Nowakowski,Erwan Kerrien Fun MooC, 2020 Autre publication scientifique hal-04818666v1

Rapport (6)

The invisible threat: digital waste and digital pollution Lydie Du Bousquet,Vania Marangozova,Théo Buisson,Christina Todorova,Pavel Varbanovet 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-04752731v1
CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding Azzeddine Amiar,Mickaël Delahaye,Yliès Falcone,Lydie Du Bousquet 2013 Rapport hal-00857299v1
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-01472082v1
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 Coutazet al. 2011 Rapport hal-00773168v1
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-00953403v1
Mutation analysis to evaluate Lustre program speciﬁcations in the context of model-checking Lydie Du Bousquet [Research Report] RR-LIG-007, 2010 Rapport (rapport de recherche) hal-00953404v1

Thèse (1)

Test fonctionnel statistique de logiciels spécifiés en Lustre ; application à la validation de services téléphoniques Lydie Du Bousquet Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 1999. Français. ⟨NNT : ⟩ Thèse tel-00004828v1

HDR (1)

Contributions à l'automatisation raisonnée de différents processus du test logiciel Lydie Du Bousquet Génie logiciel [cs.SE]. Université de Grenoble, 2010 HDR tel-01005528v1