- titre
- Adaptation of an online platform to teach testing
- auteur
- Lydie Du Bousquet, Christophe Saint-Marcel
- article
- 6th Software Engineering Education Workshop (SEED-2022), Dec 2022, Osaka, Japan
- titre
- De l'adaptation de Caseine pour l'évaluation des tests des étudiants
- auteur
- Lydie Du Bousquet, Christophe Saint-Marcel
- article
- 21èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL 2022, Jun 2022, Vannes, France
- titre
- End User Development: Verifying Home Behavior
- auteur
- Alexandre Demeure, Sybille Caffiau, Sophie Dupuy-Chessa, Huong Ta, Lydie Du Bousquet
- article
- Joint Proceedings HCI Engineering 2019 - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints co-located with 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019), Jun 2019, Valencia, Spain. pp.27-32
- titre
- Quelques pas vers l’Honnêteté et l’Explicabilité de moteurs de recherche sur le Web
- auteur
- Philippe Mulhem, Lydie Du Bousquet, Sara Lakah
- article
- COnférence en Recherche d’Information et Applications, Mar 2019, Villeurbanne, France. ⟨10.3166/DN.1.-.1-18⟩
- titre
- Toward Evaluation of Deployment Architecture of ML-Based Cyber-Physical Systems
- auteur
- Lucas Gisselaire, Florian Cario, Quentin Guerre-Berthelot, Bastien Zigmann, Lydie Du Bousquet, Masahide Nakamura
- article
- ASE Workshops 2019: 90-93, 2019, San Diego, CA, United States
- titre
- An Environment for the ParTraP Trace Property Language (Tool Demonstration)
- auteur
- Ansem Ben Cheikh Ben Cheikh, Yoann Blein, Salim Chehida, German Vega, Yves Ledru, Lydie Du Bousquet
- article
- Runtime Verification - 18th International Conference, RV 2018, Nov 2018, Limassol, Cyprus. pp.437-446, ⟨10.1007/978-3-030-03769-7_26⟩
- titre
- Improving Testability of Software Systems that Include a Learning Feature
- auteur
- Lydie Du Bousquet, Masahide Nakamura
- article
- The Tenth International Conference on Advances in System Testing and Validation (VALID), Oct 2018, Nice, France
- titre
- Requirements for a Trace Property Language for Medical Devices
- auteur
- Yves Ledru, Yoann Blein, Lydie Du Bousquet, Roland Groz, Arnaud Clere, Fabrice Bertrand
- article
- the International Workshop on Software Engineering in Healthcare Systems, SEHS@ICSE 2018, May 2018, Gothenburg, Sweden. ⟨10.1145/3194696.3194699⟩
- titre
- Recognizing ADLs Based on Non-Intrusive Environmental Sensing and BLE Beacons
- auteur
- Long Niu, Sachio Saiki, Lydie Du Bousquet, Masahide Nakamura
- article
- Eighth International Conference on Indoor Positionning and Indoor Navigation (IPIN2017), Sep 2017, Sapporo, Japan
- titre
- Improving Trace Generation and Analysis for Medical Devices
- auteur
- Yoann Blein, Arnaud Clere, Fabrice Bertrand, Yves Ledru, Roland Groz, Lydie Du Bousquet
- article
- 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⟩
- titre
- Applying a Pairwise Coverage Criterion to Scenario-Based Testing
- auteur
- Lydie Du Bousquet, Mickaël Delahaye, Catherine Oriat
- article
- Fifth International Workshop on Combinatorial Testing (IWCT 2016), Apr 2016, Chicago, United States
- titre
- Selecting a software engineering tool: lessons learnt from mutation analysis
- auteur
- Mickaël Delahaye, Lydie Du Bousquet
- article
- Software: Practice and Experience, 2015, 45 (7), pp.875-891. ⟨10.1002/spe.2312⟩
- titre
- Défis 2025
- auteur
- Philippe Collet, Lydie Du Bousquet, Laurence Duchien, Pierre-Etienne Moreau
- article
- 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⟩
- titre
- Constructing Execution and Life-Cycle Models for Smart City Services with Self-Aware IoT
- auteur
- Masahide Nakamura, Lydie Du Bousquet
- article
- 2015 IEEE International Conference on Autonomic Computing (ICAC) and Workshop, Jul 2015, Grenoble, France
- titre
- A Comparison of Mutation Analysis Tools for Java
- auteur
- Mickaël Delahaye, Lydie Du Bousquet
- article
- QSIC 2013 - International Conference on Quality Software, Jul 2013, Nanjing, China
- titre
- Compressing Microcontroller Execution Traces to Assist System Analysis
- auteur
- Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie Du Bousquet
- article
- 4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.139-150, ⟨10.1007/978-3-642-38853-8_13⟩
- titre
- A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information
- auteur
- Yves Grasland, Lydie Du Bousquet, Roland Groz, Ioannis Parissis
- article
- 6th International Conference on Software Testing and Verification (ICST 2013), Mar 2013, Luxembourg, Luxembourg. pp.104-113
- titre
- Réduction de suites de tests avec des critères d'équivalence basés sur la couverture structurelle
- auteur
- Taha Triki, Lydie Du Bousquet, Yves Ledru
- article
- AFADL 2012 - Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2013, Grenoble, France. pp.120-134
- titre
- Single-Trace Fault Localization in Embedded Software
- auteur
- Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie Du Bousquet
- article
- 24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013), 2013, Pasadena, CA, United States. pp.148-157, ⟨10.1109/ISSRE.2013.6698914⟩
- titre
- TASCCC - Project and Testing Tool (poster)
- auteur
- Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Lydie Du Bousquet, Taha Triki, German Eduardo Vega Baez, Safouan Taha, Bruno Legeard, Julien Botella, Boutheina Chetali, Julien Bernet, David Rouillard
- article
- Actes des Cinquièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2013, Nancy, France. pp.198
- titre
- CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding
- auteur
- Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie Du Bousquet
- article
- 2013
- titre
- Apport d'un prototype spécifié en Z dans le redéveloppement d'un outil de test
- auteur
- Yves Ledru, Lydie Du Bousquet
- article
- 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⟩
- titre
- Test Suite Selection Based on Traceability Annotations
- auteur
- Yves Ledru, German Eduardo Vega Baez, Taha Triki, Lydie Du Bousquet
- article
- ASE 2012 - International Conference on Automated Software Engineering, Sep 2012, Essen, Germany. pp.342-345, ⟨10.1145/2351676.2351742⟩
- titre
- Évaluation de la qualité de jeux de tests hybrides en domotique
- auteur
- Yves Grasland, Lydie Du Bousquet, Roland Groz, Ioannis Parissis
- article
- AFADL 2012 - Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. pp.104-119
- titre
- Model-Based Filtering of Combinatorial Test Suites
- auteur
- Taha Triki, Yves Ledru, Lydie Du Bousquet, Frédéric Dadeau, Julien Botella
- article
- FASE'2012, 15th Int. Conf. on Fundamental Approaches to Software Engineering, Jan 2012, Estonia. pp.439 - 454
- titre
- TASCCC - Project and Testing Tool (poster and demo)
- auteur
- Kalou Cabrera Castillos, Frédéric Dadeau, Yves Ledru, Lydie Du Bousquet, Taha Triki, Safouan Taha, Bruno Legeard, Julien Botella, Boutheina Chetali, Bernet Julien, David Rouillard
- article
- 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
- titre
- Résumer les traces d'exécution des micro-contrôleurs
- auteur
- Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie Du Bousquet
- article
- Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2012), 2012, Grenoble, France
- titre
- Nouveaux mécanismes de filtrage de tests basés sur le modèle
- auteur
- Taha Triki, Yves Ledru, Lydie Du Bousquet, Frédéric Dadeau, Julien Botella
- article
- 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
- titre
- Tobias on-line tool for combinatorial software testing (poster and demo)
- auteur
- Lydie Du Bousquet, Yves Ledru, Taha Triki, German Eduardo Vega Baez
- article
- 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
- titre
- CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding
- auteur
- Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie Du Bousquet
- article
- [Research Report] RR-LIG-031, LIG. 2012
- titre
- Home Automation Systems Testing : A Coverage Measure for Hybrid Automata
- auteur
- Yves Grasland, Lydie Du Bousquet, Roland Groz, Ioannis Parissis
- article
- ICTSS 2011 - 23rd IFIP International Conference on Testing Software and Systems, Nov 2011, Paris, France. pp.5-12
- titre
- Tobias a tool for combinatorial software testing (poster)
- auteur
- Lydie Du Bousquet, Yves Ledru, Taha Triki
- article
- Fourth International Conference on Software Testing, Verification and Validation (ICST 2011), 2011, Berlin, Germany
- titre
- The First Four Years (2007-2010) and Beyond - Volume 1: Research Program and Activity Report
- auteur
- Nicolas Balacheff, Béatrice Buccio, Patrick Chapuis, Jacky Coutin, Joëlle Coutaz, James L. Crowley, Yves Denneulin, Lydie Du Bousquet, Andrzej Duda, Rachid Echahed, Marie-Christine Fauvet, Catherine Garbay, Eric Gaussier, Isabelle Guillet, Christian Laugier, Yves Ledru, Arnaud Legrand, Nadine Mandran, Hervé Martin, Jean-François Méhaut, Thierry Morturier, Brigitte Plateau, Elisabeth Pons, Joëlle Prévost, Frédéric Prost, Vincent Quint, Patrick Reignier, Franck Rousseau, Marie-Christine Rousset, Eric Rutten, Michel Vacher
- article
- 2011
- titre
- Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies
- auteur
- Lydie Du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet
- article
- Journal of Automated Reasoning, 2010, 45 (4), pp.415-435. ⟨10.1007/s10817-009-9132-y⟩
- titre
- Comparing Safety Analysis Based on Sequence Diagrams and Textual Use Cases
- auteur
- Tor Stålhane, Guttorm Sindre, Lydie Du Bousquet
- article
- Advanced Information Systems Engineering, 22nd International Conference (CAiSE), 2010, Hammamet, Tunisia. pp.165-179, ⟨10.1007/978-3-642-13094-6_14⟩
- titre
- Proof Process Evaluation with Mutation Analysis
- auteur
- Lydie Du Bousquet, Michel Lévy
- article
- Tests and Proofs (TAP 2010), 2010, Malaga, Spain. pp.55-60, ⟨10.1007/978-3-642-13977-2_6⟩
- titre
- Assertion-based test oracles for home automation systems
- auteur
- Ajitha Rajan, Lydie Du Bousquet, Yves Ledru, German Eduardo Vega Baez, Jean-Luc Richier
- article
- 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⟩
- titre
- De l'utilisation d'une spécification Z comme prototype dans le redéveloppement d'un projet
- auteur
- Yves Ledru, Lydie Du Bousquet
- article
- Actes de la Conférence AFADL'10: Approches Formelles dans l'Assistance au Développement de Logiciels, 2010, Poitiers, pp.117-131
- titre
- A New Approach for Software Testability
- auteur
- Lydie Du Bousquet
- article
- 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⟩
- titre
- Contributions à l'automatisation raisonnée de différents processus du test logiciel
- auteur
- Lydie Du Bousquet
- article
- Génie logiciel [cs.SE]. Université de Grenoble, 2010
- titre
- Survey of source code metrics for evaluating testability of object oriented systems
- auteur
- Muhammad Rabee Shaheen, Lydie Du Bousquet
- article
- [Research Report] RR-LIG-005, 2010
- titre
- Mutation analysis to evaluate Lustre program specifications in the context of model-checking
- auteur
- Lydie Du Bousquet
- article
- [Research Report] RR-LIG-007, 2010
- titre
- Using formal methods to increase confidence in a home network system implementation: a case study
- auteur
- Lydie Du Bousquet, M. Nakamura, B. Yan, H. Igaki
- article
- Innovations in Systems and Software Engineering, 2009, 5 (3), pp.181-196. ⟨10.1007/s11334-009-0092-5⟩
- titre
- Is Depth of Inheritance Tree a Good Cost Prediction For Branch Coverage Testing?
- auteur
- Muhammad Rabee Shaheen, Lydie Du Bousquet
- article
- First International Conference on Advances in System Testing and Validation Lifecycle VALID, 2009, Porto, Portugal. pp.42-47, ⟨10.1109/VALID.2009.11⟩
- titre
- Analysis of the introduction of testability antipatterns during the development process
- auteur
- Muhammad Rabee Shaheen, Lydie Du Bousquet
- article
- Fourth International Conference on Software Engineering Advances ICSEA, 2009, Porto, Portugal. pp.128-133, ⟨10.1109/ICSEA.2009.27⟩
- titre
- Service specification and validation in the context of the home
- auteur
- Lydie Du Bousquet, Ajitha Rajan, Catherine Oriat, Jean-Luc Richier, German Eduardo Vega Baez
- article
- 10th International Conference on Feature Interactions (ICFI 2009), 2009, Lisbon, Portugal. pp.207-219
- titre
- Mutation analysis for Lustre programs: Fault model description and validation
- auteur
- Lydie Du Bousquet, Michel Delaunay
- article
- 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⟩
- titre
- Conformance testing from UML specifications. Experience Report
- auteur
- Lydie Du Bousquet, Hugues Martin, Jean-Marc Jézéquel
- article
- Lecture Notes in Informatics (LNI), Oct 2001, Dortmund, Germany