Publications HAL de Lydie,DU BOUSQUET de la collection LIG
Résultats de la recherche --> Url version détaillée , Url version formatée
Critères : Author : "Lydie,DU BOUSQUET", Collection(s) : "LIG"
Nombre d'occurrences trouvées : 41.

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
An Environment for the ParTraP Trace Property Language (Tool Demonstration)
auteur
Ansem 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, Wiley, 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
Techniques et sciences informatique (TSI), 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
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
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
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
Technique et Science Informatiques, Hermès-Lavoisier, 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
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
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
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
CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding
auteur
Azzeddine Amiar, Mickaël Delahaye, Ylìè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
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, Springer Verlag, 2010, 45 (4), pp.415-435. ⟨10.1007/s10817-009-9132-y⟩
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
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
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, Springer Verlag, 2009, 5 (3), pp.181-196. ⟨10.1007/s11334-009-0092-5⟩
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
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
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