Lydie du Bousquet

65 papers A* 7A 5B 4C 6Journal 10Unranked 30

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	MTF: an Open-Source Metamorphic Testing Framework for LLM-based systems. AIAT Theis Henry, Sian Savourat, Lydie du Bousquet, Masahide Nakamura
2022	—	`conf`	Adaptation of an Online Platform to Teach Testing. QuASoQ/SEED@APSEC Lydie du Bousquet, Christophe Saint-Marcel
2019	—	`conf`	End User Development: Verifying Home Behavior. EICS Workshops Alexandre Demeure, Sybille Caffiau, Sophie Dupuy-Chessa, Huong Ta, Lydie du Bousquet
2019	—	`conf`	Quelques pas vers l'Honnêteté et l'Explicabilité de moteurs de recherche sur le Web. CORIA Lydie du Bousquet, Philippe Mulhem, Sara Lakah
2019	—	`conf`	Toward Evaluation of Deployment Architecture of ML-Based Cyber-Physical Systems. ASE Workshops Lucas Gisselaire, Florian Cario, Quentin Guerre-Berthelot, Bastien Zigmann, Lydie du Bousquet, Masahide Nakamura
2018	B	`conf`	An Environment for the ParTraP Trace Property Language (Tool Demonstration). RV Ansem Ben Cheikh, Yoann Blein, Salim Chehida, Germán Vega, Yves Ledru, Lydie du Bousquet
2018	—	`conf`	Extending specification patterns for verification of parametric traces. FormaliSE@ICSE Yoann Blein, Yves Ledru, Lydie du Bousquet, Roland Groz
2018	—	`conf`	Requirements for a Trace Property Language for Medical Devices. SEHS@ICSE Yves Ledru, Yoann Blein, Lydie du Bousquet, Roland Groz, Arnaud Clere, Fabrice Bertrand
2017	—	`conf`	Improving Trace Generation and Analysis for Medical Devices. QRS Companion Yoann Blein, Arnaud Clere, Fabrice Bertrand, Yves Ledru, Roland Groz, Lydie du Bousquet
2016	—	`conf`	Applying a Pairwise Coverage Criterion to Scenario-Based Testing. ICST Workshops Lydie du Bousquet, Mickaël Delahaye, Catherine Oriat
2015	J	`jnl`	Chronique - Défis 2015. Tech. Sci. Informatiques Philippe Collet, Lydie du Bousquet, Laurence Duchien, Pierre-Etienne Moreau
2015	—	`conf`	Constructing Execution and Life-Cycle Models for Smart City Services with Self-Aware IoT. ICAC Masahide Nakamura, Lydie du Bousquet
2015	J	`jnl`	Selecting a software engineering tool: lessons learnt from mutation analysis. Softw. Pract. Exp. Mickaël Delahaye, Lydie du Bousquet
2013	—	`conf`	A Comparison of Mutation Analysis Tools for Java. QSIC Mickaël Delahaye, Lydie du Bousquet
2013	A	`conf`	A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information. ICST Yves Grasland, Lydie du Bousquet, Roland Groz, Ioannis Parissis
2013	—	`conf`	Compressing Microcontroller Execution Traces to Assist System Analysis. IESS Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet
2013	A	`conf`	Fault localization in embedded software based on a single cyclic trace. ISSRE Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet
2013	J	`jnl`	Special section on Mutation testing (Mutation 2010). Sci. Comput. Program. Lydie du Bousquet, Jeremy S. Bradbury, Gordon Fraser
2012	J	`jnl`	Apport d'un prototype spécifié en Z dans le redéveloppement d'un outil de test. Tech. Sci. Informatiques Yves Ledru, Lydie du Bousquet
2012	B	`conf`	Model-Based Filtering of Combinatorial Test Suites. FASE Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, Julien Botella
2012	A*	`conf`	Test suite selection based on traceability annotations. ASE Yves Ledru, Germán Vega, Taha Triki, Lydie du Bousquet
2010	—	`conf`	A New Approach for Software Testability. TAIC PART Lydie du Bousquet
2010	—	`conf`	Assertion-based test oracles for home automation systems. MOMPES Ajitha Rajan, Lydie du Bousquet, Yves Ledru, Germán Vega, Jean-Luc Richier
2010	A	`conf`	Comparing Safety Analysis Based on Sequence Diagrams and Textual Use Cases. CAiSE Tor Stålhane, Guttorm Sindre, Lydie du Bousquet
2010	—	`book`	Contributions à l'automatisation raisonnée de différents processus du test logiciel. (Contributions to reasoned automation of various processes of software testing). Lydie du Bousquet
2010	—	`conf`	Proof Process Evaluation with Mutation Analysis. TAP@TOOLS Lydie du Bousquet, Michel Lévy
2010	J	`jnl`	Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies. J. Autom. Reason. Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet
2009	C	`conf`	Analysis of the Introduction of Testability Antipatterns during the Development Process. ICSEA Muhammad Rabee Shaheen, Lydie du Bousquet
2009	—	`conf`	Service specification and validation in the context of the home. ICFI Lydie du Bousquet, Ajitha Rajan, Catherine Oriat, Jean-Luc Richier, Germán Vega
2009	J	`jnl`	Using formal methods to increase confidence in a home network system implementation: a case study. Innov. Syst. Softw. Eng. Lydie du Bousquet, Masahide Nakamura, Ben Yan, Hiroshi Igaki
2008	C	`conf`	Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators. FMICS Virginia Papailiopoulou, Laya Madani, Lydie du Bousquet, Ioannis Parissis
2008	A	`conf`	Relation between Depth of Inheritance Tree and Number of Methods to Test. ICST Lydie du Bousquet, Muhammad Rabee Shaheen
2008	J	`jnl`	Validating Safety for the Integrated Services of the Home Network System Using JML. Inf. Media Technol. Ben Yan, Masahide Nakamura, Lydie du Bousquet, Ken-ichi Matsumoto
2008	J	`jnl`	Validating Safety for the Integrated Services of the Home Network System Using JML. J. Inf. Process. Ben Yan, Masahide Nakamura, Lydie du Bousquet, Ken-ichi Matsumoto
2007	—	`conf`	A Case Study in Matching Test and Proof Coverage. MBT Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, F. Allouti
2007	C	`conf`	Characterizing Safety of Integrated Services in Home Network System. ICOST Ben Yan, Masahide Nakamura, Lydie du Bousquet, Ken-ichi Matsumoto
2007	—	`ed.`	Feature Interactions in Software and Communication Systems IX, International Co nference on Feature Interactions in Software and Communication Systems, ICFI 2007, 3-5 September 2007, Grenoble, France ICFI Lydie du Bousquet, Jean-Luc Richier
2007	A*	`conf`	Mastering combinatorial explosion with the tobias-2 test generator. ASE Yves Ledru, Frédéric Dadeau, Lydie du Bousquet, Sébastien Ville, Elodie Rose
2007	—	`conf`	Measuring a Java Test Suite Coverage Using JML Specifications. MBT Frédéric Dadeau, Yves Ledru, Lydie du Bousquet
2007	—	`conf`	Towards Mutation Analysis for Lustre Programs. SLA++P Lydie du Bousquet, Michel Delaunay
2007	C	`conf`	Using Formal Methods to increase confidence in one Home Network System implementation: Case study. ISoLA Lydie du Bousquet, Masahide Nakamura, Ben Yan, Hiroshi Igaki
2007	C	`conf`	Using mutation analysis to evaluate test generation strategies in a synchronous context. ICSEA Lydie du Bousquet, Michel Delaunay
2006	C	`conf`	Evaluating Behavior Correctness of Synchronous Systems through Time to Service Distribution Analysis: Tools Required. ICSEA Lydie du Bousquet
2006	A*	`conf`	Tobias-Z: An executable formal specification of a test generator. ASE Yves Ledru, Lydie du Bousquet
2005	—	`conf`	Ambience and Mobility. DSV-IS Gavin J. Doherty, Lydie du Bousquet, José Creissac Campos, El Mustapha El Atifi, Gilles Falquet, Mieke Massink, Carmen Santoro
2005	—	`conf`	Telephony Feature Validation against Eventuality Properties and Interaction Detection based on a Statistical Analysis of the Time to Service. FIW Lydie du Bousquet, Olivier Gaudoin
2005	—	`conf`	Test of the ICARE Platform Fusion Mechanism. DSV-IS Sophie Dupuy-Chessa, Lydie du Bousquet, Jullien Bouchet, Yves Ledru
2004	A*	`conf`	Case Study in JML-Based Software Validation. ASE Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet
2004	B	`conf`	Filtering TOBIAS Combinatorial Test Suites. FASE Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron
2003	—	`conf`	Testing Against Some Eventuality Properties of Synchronous Software: A Case Study. SLAP Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon
2001	—	`conf`	Conformance Testing from UML Specifications. Experience Report. pUML Lydie du Bousquet, Hugues Martin, Jean-Marc Jézéquel
2001	A*	`conf`	Test Purposes: Adapting the Notion of Specification to Testing. ASE Yves Ledru, Lydie du Bousquet, Pierre Bontron, Olivier Maury, Catherine Oriat, Marie-Laure Potet
2001	—	`conf`	Validation of UML Models Thanks to Z and Lustre. FME Sophie Dupuy-Chessa, Lydie du Bousquet
2000	J	`jnl`	A Multi-formalism Approach for the Validation of UML Models. Formal Aspects Comput. Sophie Dupuy, Lydie du Bousquet
2000	B	`conf`	An Approach to Symbolic Test Generation. IFM Vlad Rusu, Lydie du Bousquet, Thierry Jéron
2000	—	`conf`	Automatic Test Generation for Java-Card Applets. Java Card Workshop Hugues Martin, Lydie du Bousquet
2000	J	`jnl`	Feature interaction detection using a synchronous approach and testing. Comput. Networks Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon
2000	—	`conf`	Formal Test Automation: The Conference Protocol with TGV/TORX. TestCom Lydie du Bousquet, Solofo Ramangalahy, Séverine Simon, César Viho, Axel Belinfante, René G. de Vries
1999	A*	`conf`	An Overview of Lutess: A Specification-based Tool for Testing Synchronous Software. ASE Lydie du Bousquet, Nicolas Zuanon
1999	—	`conf`	Feature Interaction Detection Using Testing and Model-Checking Experience Report. World Congress on Formal Methods Lydie du Bousquet
1999	A*	`conf`	Lutess: A Specification-Driven Testing Environment for Synchronous Software. ICSE Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon
1999	—	`—`	Test fonctionnel statistique de logiciels spécifiés en Lustre ; application à la validation de services téléphoniques. (Statistical functional testing of systems specified in Lustre; application to the validation of telecommunication features). Lydie du Bousquet
1998	A	`conf`	Expressing and implementing operational profiles for reactive software validation. ISSRE Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier
1998	—	`conf`	Incremental Feature Validation: a Synchronous Point of View. FIW Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon
1998	—	`conf`	Lutess: a testing environment for synchronous software. Tool Support for System Specification, Development and Verification Lydie du Bousquet, Farid Ouabdesselam, Ioannis Parissis, Jean-Luc Richier, Nicolas Zuanon