Lydie du Bousquet

According to our database, Lydie du Bousquet authored at least 62 papers between 1998 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Adaptation of an Online Platform to Teach Testing.

Lydie du Bousquet, Christophe Saint-Marcel

Proceedings of the Joint Proceedings of the 10th International Workshop on Quantitative Approaches to Software Quality (QuASoQ 2022) & the 6th Software Engineering Education Workshop (SEED 2022) co-located with 29th Asia Pacific Software Engineering Conference 2022, 2022

2019

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

Lucas Gisselaire, Florian Cario, Quentin Guerre-Berthelot, Bastien Zigmann, Lydie du Bousquet, Masahide Nakamura

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2019

End User Development: Verifying Home Behavior.

Alexandre Demeure, Sybille Caffiau, Sophie Dupuy-Chessa, Huong Ta, Lydie du Bousquet

Proceedings of the Joint Proceedings HCI Engineering 2019, 2019

Quelques pas vers l'Honnêteté et l'Explicabilité de moteurs de recherche sur le Web.

Lydie du Bousquet, Philippe Mulhem, Sara Lakah

Proceedings of the COnférence en Recherche d'Informations et Applications, 2019

2018

An Environment for the ParTraP Trace Property Language (Tool Demonstration).

Ansem Ben Cheikh, Yoann Blein, Salim Chehida, Germán Vega, Yves Ledru, Lydie du Bousquet

Proceedings of the Runtime Verification - 18th International Conference, 2018

Requirements for a Trace Property Language for Medical Devices.

Yves Ledru, Yoann Blein, Lydie du Bousquet, Roland Groz, Arnaud Clere, Fabrice Bertrand

Proceedings of the 2018 IEEE/ACM International Workshop on Software Engineering in Healthcare Systems, 2018

Extending specification patterns for verification of parametric traces.

Yoann Blein, Yves Ledru, Lydie du Bousquet, Roland Groz

Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

2017

Improving Trace Generation and Analysis for Medical Devices.

Yoann Blein, Arnaud Clere, Fabrice Bertrand, Yves Ledru, Roland Groz, Lydie du Bousquet

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

2016

Applying a Pairwise Coverage Criterion to Scenario-Based Testing.

Lydie du Bousquet, Mickaël Delahaye, Catherine Oriat

Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

2015

Chronique - Défis 2015.

Philippe Collet, Lydie du Bousquet, Laurence Duchien, Pierre-Etienne Moreau

Tech. Sci. Informatiques, 2015

Selecting a software engineering tool: lessons learnt from mutation analysis.

Mickaël Delahaye, Lydie du Bousquet

Softw. Pract. Exp., 2015

Constructing Execution and Life-Cycle Models for Smart City Services with Self-Aware IoT.

Masahide Nakamura, Lydie du Bousquet

Proceedings of the 2015 IEEE International Conference on Autonomic Computing, 2015

2013

Special section on Mutation testing (Mutation 2010).

Lydie du Bousquet, Jeremy S. Bradbury, Gordon Fraser

Sci. Comput. Program., 2013

A Comparison of Mutation Analysis Tools for Java.

Mickaël Delahaye, Lydie du Bousquet

Proceedings of the 2013 13th International Conference on Quality Software, 2013

Fault localization in embedded software based on a single cyclic trace.

Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Compressing Microcontroller Execution Traces to Assist System Analysis.

Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet

Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013

A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information.

Yves Grasland, Lydie du Bousquet, Roland Groz, Ioannis Parissis

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012

Apport d'un prototype spécifié en Z dans le redéveloppement d'un outil de test.

Yves Ledru, Lydie du Bousquet

Tech. Sci. Informatiques, 2012

Test suite selection based on traceability annotations.

Yves Ledru, Germán Vega, Taha Triki, Lydie du Bousquet

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Model-Based Filtering of Combinatorial Test Suites.

Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, Julien Botella

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2010

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

J. Autom. Reason., 2010

Proof Process Evaluation with Mutation Analysis.

Lydie du Bousquet, Michel Lévy

Proceedings of the Tests and Proofs - 4th International Conference, 2010

A New Approach for Software Testability.

Lydie du Bousquet

Proceedings of the Testing, 2010

Assertion-based test oracles for home automation systems.

Ajitha Rajan, Lydie du Bousquet, Yves Ledru, Germán Vega, Jean-Luc Richier

Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2010

Comparing Safety Analysis Based on Sequence Diagrams and Textual Use Cases.

Tor Stålhane, Guttorm Sindre, Lydie du Bousquet

Proceedings of the Advanced Information Systems Engineering, 22nd International Conference, 2010

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

2009

Using formal methods to increase confidence in a home network system implementation: a case study.

Lydie du Bousquet, Masahide Nakamura, Ben Yan, Hiroshi Igaki

Innov. Syst. Softw. Eng., 2009

Analysis of the Introduction of Testability Antipatterns during the Development Process.

Muhammad Rabee Shaheen, Lydie du Bousquet

Proceedings of the Fourth International Conference on Software Engineering Advances, 2009

Service specification and validation in the context of the home.

Lydie du Bousquet, Ajitha Rajan, Catherine Oriat, Jean-Luc Richier, Germán Vega

Proceedings of the Feature Interactions in Software and Communication Systems X, 2009

2008

Validating Safety for the Integrated Services of the Home Network System Using JML.

Ben Yan, Masahide Nakamura, Lydie du Bousquet, Ken-ichi Matsumoto

J. Inf. Process., 2008

Relation between Depth of Inheritance Tree and Number of Methods to Test.

Lydie du Bousquet, Muhammad Rabee Shaheen

Proceedings of the First International Conference on Software Testing, 2008

Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators.

Virginia Papailiopoulou, Laya Madani, Lydie du Bousquet, Ioannis Parissis

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

2007

A Case Study in Matching Test and Proof Coverage.

Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, F. Allouti

Proceedings of the Third Workshop on Model Based Testing, 2007

Measuring a Java Test Suite Coverage Using JML Specifications.

Frédéric Dadeau, Yves Ledru, Lydie du Bousquet

Proceedings of the Third Workshop on Model Based Testing, 2007

Towards Mutation Analysis for Lustre Programs.

Lydie du Bousquet, Michel Delaunay

Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems, 2007

Mastering combinatorial explosion with the tobias-2 test generator.

Yves Ledru, Frédéric Dadeau, Lydie du Bousquet, Sébastien Ville, Elodie Rose

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Using Formal Methods to increase confidence in one Home Network System implementation: Case study.

Lydie du Bousquet, Masahide Nakamura, Ben Yan, Hiroshi Igaki

Proceedings of the ISoLA 2007, 2007

Using mutation analysis to evaluate test generation strategies in a synchronous context.

Lydie du Bousquet, Michel Delaunay

Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), 2007

Characterizing Safety of Integrated Services in Home Network System.

Ben Yan, Masahide Nakamura, Lydie du Bousquet, Ken-ichi Matsumoto

Proceedings of the Pervasive Computing for Quality of Life Enhancement, 2007

2006

Tobias-Z: An executable formal specification of a test generator.

Yves Ledru, Lydie du Bousquet

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Evaluating Behavior Correctness of Synchronous Systems through Time to Service Distribution Analysis: Tools Required.

Lydie du Bousquet

Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28, 2006

2005

Telephony Feature Validation against Eventuality Properties and Interaction Detection based on a Statistical Analysis of the Time to Service.

Lydie du Bousquet, Olivier Gaudoin

Proceedings of the Feature Interactions in Telecommunications and Software Systems VIII, 2005

Test of the ICARE Platform Fusion Mechanism.

Sophie Dupuy-Chessa, Lydie du Bousquet, Jullien Bouchet, Yves Ledru

Proceedings of the Interactive Systems, 2005

Ambience and Mobility.

Gavin J. Doherty, Lydie du Bousquet, José Creissac Campos, El Mustapha El Atifi, Gilles Falquet, Mieke Massink, Carmen Santoro

Proceedings of the Interactive Systems, 2005

2004

Case Study in JML-Based Software Validation.

Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Filtering TOBIAS Combinatorial Test Suites.

Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron

Proceedings of the Fundamental Approaches to Software Engineering, 2004

2003

Testing Against Some Eventuality Properties of Synchronous Software: A Case Study.

Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon

Proceedings of the Synchronous Languages, Applications and Programming, 2003

2001

Conformance Testing from UML Specifications. Experience Report.

Lydie du Bousquet, Hugues Martin, Jean-Marc Jézéquel

Proceedings of the Practical UML-Based Rigorous Development Methods, 2001

Test Purposes: Adapting the Notion of Specification to Testing.

Yves Ledru, Lydie du Bousquet, Pierre Bontron, Olivier Maury, Catherine Oriat, Marie-Laure Potet

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Validation of UML Models Thanks to Z and Lustre.

Sophie Dupuy-Chessa, Lydie du Bousquet

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

2000

A Multi-formalism Approach for the Validation of UML Models.

Sophie Dupuy, Lydie du Bousquet

Formal Aspects Comput., 2000

Feature interaction detection using a synchronous approach and testing.

Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon

Comput. Networks, 2000

Formal Test Automation: The Conference Protocol with TGV/TORX.

Lydie du Bousquet, Solofo Ramangalahy, Séverine Simon, César Viho, Axel Belinfante, René G. de Vries

Proceedings of the Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13^th International Conference on Testing Communicating Systems (TestCom 2000), August 29, 2000

Automatic Test Generation for Java-Card Applets.

Hugues Martin, Lydie du Bousquet

Proceedings of the Java on Smart Cards: Programming and Security, 2000

An Approach to Symbolic Test Generation.

Vlad Rusu, Lydie du Bousquet, Thierry Jéron

Proceedings of the Integrated Formal Methods, Second International Conference, 2000

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

PhD thesis, 1999

An Overview of Lutess: A Specification-based Tool for Testing Synchronous Software.

Lydie du Bousquet, Nicolas Zuanon

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

Lutess: A Specification-Driven Testing Environment for Synchronous Software.

Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon

Proceedings of the 1999 International Conference on Software Engineering, 1999

Feature Interaction Detection Using Testing and Model-Checking Experience Report.

Lydie du Bousquet

Proceedings of the FM'99 - Formal Methods, 1999

1998

Lutess: a testing environment for synchronous software.

Lydie du Bousquet, Farid Ouabdesselam, Ioannis Parissis, Jean-Luc Richier, Nicolas Zuanon

Proceedings of the International Workshop Tool Support for System Specification, 1998

Expressing and implementing operational profiles for reactive software validation.

Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier

Proceedings of the Ninth International Symposium on Software Reliability Engineering, 1998

Incremental Feature Validation: a Synchronous Point of View.

Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon

Proceedings of the Feature Interactions in Telecommunications and Software Systems V, September 29, 1998