Access content directly

Lydie Du Bousquet

47
Documents

Publications

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⟩
Journal articles hal-01274020v1

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⟩
Journal articles hal-01345654v1

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⟩
Journal articles 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⟩
Journal articles 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⟩
Journal articles hal-00953582v1
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
Conference papers hal-03902501v1
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
Conference papers hal-03902500v1
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⟩
Conference papers hal-02061553v1

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

Lucas Gisselaire , Florian Cario , Quentin Guerre-Berthelot , Bastien Zigmann , Lydie Du Bousquet
ASE Workshops 2019: 90-93, 2019, San Diego, CA, United States
Conference papers hal-03266543v1
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
Runtime Verification - 18th International Conference, RV 2018, Nov 2018, Limassol, Cyprus. pp.437-446, ⟨10.1007/978-3-030-03769-7_26⟩
Conference papers hal-02004420v1

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
Conference papers hal-02062601v1
Image document

Requirements for a Trace Property Language for Medical Devices

Yves Ledru , Yoann Blein , Lydie Du Bousquet , Roland Groz , Arnaud Clere
the International Workshop on Software Engineering in Healthcare Systems, SEHS@ICSE 2018, May 2018, Gothenburg, Sweden. ⟨10.1145/3194696.3194699⟩
Conference papers hal-02004396v1

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
Conference papers hal-01657741v1
Image document

Improving Trace Generation and Analysis for Medical Devices

Yoann Blein , Arnaud Clere , Fabrice Bertrand , Yves Ledru , Roland Groz
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⟩
Conference papers 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
Conference papers 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
Conference papers 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
Conference papers hal-00853717v1
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⟩
Conference papers 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
Conference papers 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
Conference papers 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
Conference papers hal-00953273v1

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
Conference papers hal-00953274v1

TASCCC - Project and Testing Tool (poster and demo)

Kalou Cabrera Castillos , Frédéric Dadeau , Yves Ledru , Lydie Du Bousquet , Taha Triki
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
Conference papers 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
Conference papers hal-00680691v1
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
Conference papers hal-00935067v1

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
Conference papers hal-00935068v1

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⟩
Conference papers 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
Conference papers hal-00953276v1

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
Conference papers 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⟩
Conference papers hal-00953393v1

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
Conference papers 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⟩
Conference papers hal-00953391v1

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⟩
Conference papers 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⟩
Conference papers hal-00953390v1

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⟩
Conference papers hal-00953585v1

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
Conference papers hal-00953584v1

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⟩
Conference papers hal-00953586v1

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
Conference papers 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⟩
Conference papers hal-01272641v1
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
Conference papers hal-00794313v1
Image document

Contributions à l'automatisation raisonnée de différents processus du test logiciel

Lydie Du Bousquet
Génie logiciel [cs.SE]. Université de Grenoble, 2010
Habilitation à diriger des recherches tel-01005528v1