Lydie Du Bousquet
47
Documents
Publications
Selecting a software engineering tool: lessons learnt from mutation analysisSoftware: Practice and Experience, 2015, 45 (7), pp.875-891. ⟨10.1002/spe.2312⟩
Article dans une revue
hal-01274020v1
|
|
Défis 2025Revue 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
|
|
Apport d'un prototype spécifié en Z dans le redéveloppement d'un outil de testRevue 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
hal-00857295v1
|
|
Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case StudiesJournal of Automated Reasoning, 2010, 45 (4), pp.415-435. ⟨10.1007/s10817-009-9132-y⟩
Article dans une revue
hal-00587110v1
|
|
Using formal methods to increase confidence in a home network system implementation: a case studyInnovations in Systems and Software Engineering, 2009, 5 (3), pp.181-196. ⟨10.1007/s11334-009-0092-5⟩
Article dans une revue
hal-00953582v1
|
|
De l'adaptation de Caseine pour l'évaluation des tests des étudiants21è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 testing6th 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 WebCOnfé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 SystemsASE Workshops 2019: 90-93, 2019, San Diego, CA, United States
Communication dans un congrès
hal-03266543v1
|
|
|
An Environment for the ParTraP Trace Property Language (Tool Demonstration)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
|
Improving Testability of Software Systems that Include a Learning FeatureThe Tenth International Conference on Advances in System Testing and Validation (VALID), Oct 2018, Nice, France
Communication dans un congrès
hal-02062601v1
|
|
|
Requirements for a Trace Property Language for Medical Devicesthe 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
|
Recognizing ADLs Based on Non-Intrusive Environmental Sensing and BLE BeaconsEighth 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 DevicesIEEE 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 TestingFifth 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 IoT2015 IEEE International Conference on Autonomic Computing (ICAC) and Workshop, Jul 2015, Grenoble, France
Communication dans un congrès
hal-01657731v1
|
|
Réduction de suites de tests avec des critères d'équivalence basés sur la couverture structurelleAFADL 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
|
|
|
Compressing Microcontroller Execution Traces to Assist System Analysis4th 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
|
A Comparison of Mutation Analysis Tools for JavaQSIC 2013 - International Conference on Quality Software, Jul 2013, Nanjing, China
Communication dans un congrès
hal-00853717v1
|
|
A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information6th 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èleActes 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
|
|
TASCCC - Project and Testing Tool (poster and demo)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 domotiqueAFADL 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
|
|
Model-Based Filtering of Combinatorial Test SuitesFASE'2012, 15th Int. Conf. on Fundamental Approaches to Software Engineering, Jan 2012, Estonia. pp.439 - 454
Communication dans un congrès
hal-00935068v1
|
|
Test Suite Selection Based on Traceability AnnotationsASE 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ôleursApproches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2012), 2012, Grenoble, France
Communication dans un congrès
hal-00953276v1
|
|
Tobias on-line tool for combinatorial software testing (poster and demo)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 SuitesFASE'2012, 15th Int. Conf. on Fundamental Approaches to Software Engineering, Jan 2012, Estonia. pp.439 - 454
Communication dans un congrès
hal-00935067v1
|
Home Automation Systems Testing : A Coverage Measure for Hybrid AutomataICTSS 2011 - 23rd IFIP International Conference on Testing Software and Systems, Nov 2011, Paris, France. pp.5-12
Communication dans un congrès
hal-00860799v1
|
|
Proof Process Evaluation with Mutation AnalysisTests and Proofs (TAP 2010), 2010, Malaga, Spain. pp.55-60, ⟨10.1007/978-3-642-13977-2_6⟩
Communication dans un congrès
hal-00953392v1
|
|
Assertion-based test oracles for home automation systemsProceedings 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
|
|
A New Approach for Software TestabilityTesting - 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
hal-00953391v1
|
|
De l'utilisation d'une spécification Z comme prototype dans le redéveloppement d'un projetActes 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
|
|
Comparing Safety Analysis Based on Sequence Diagrams and Textual Use CasesAdvanced 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
hal-00953390v1
|
|
Is Depth of Inheritance Tree a Good Cost Prediction For Branch Coverage Testing?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
|
|
Service specification and validation in the context of the home10th International Conference on Feature Interactions (ICFI 2009), 2009, Lisbon, Portugal. pp.207-219
Communication dans un congrès
hal-00953584v1
|
|
Analysis of the introduction of testability antipatterns during the development processFourth 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
|
|
Generation of Test Programs for the Assertion-Based Verification of TLM ModelsIEEE 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 validationTesting: 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 ReportLecture Notes in Informatics (LNI), Oct 2001, Dortmund, Germany
Communication dans un congrès
hal-00794313v1
|
|
CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding2013
Rapport
hal-00857299v1
|
|
CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding[Research Report] RR-LIG-031, LIG. 2012
Rapport
hal-01472082v1
|
|
The First Four Years (2007-2010) and Beyond - Volume 1: Research Program and Activity Report2011
Rapport
hal-00773168v1
|
|
Survey of source code metrics for evaluating testability of object oriented systems[Research Report] RR-LIG-005, 2010
Rapport
hal-00953403v1
|
|
Mutation analysis to evaluate Lustre program specifications in the context of model-checking[Research Report] RR-LIG-007, 2010
Rapport
hal-00953404v1
|
|
Test fonctionnel statistique de logiciels spécifiés en Lustre ; application à la validation de services téléphoniquesGénie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 1999. Français. ⟨NNT : ⟩
Thèse
tel-00004828v1
|
|
Contributions à l'automatisation raisonnée de différents processus du test logicielGénie logiciel [cs.SE]. Université de Grenoble, 2010
HDR
tel-01005528v1
|