Bruno Legeard

According to our database, Bruno Legeard authored at least 80 papers between 1988 and 2024.

Collaborative distances:

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

2024

Detecting Intentional AIS Shutdown in Open Sea Maritime Surveillance Using Self-Supervised Deep Learning.

Pierre Bernabé, Arnaud Gotlieb, Bruno Legeard, Dusica Marijan, Frank Olaf Sem-Jacobsen, Helge Spieker

IEEE Trans. Intell. Transp. Syst., February, 2024

2023

Regression Test Generation by Usage Coverage Driven Clustering on User Traces.

Frédéric Tamagnan, Fabrice Bouquet, Alexandre Vernotte, Bruno Legeard

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

2022

A domain-specific language to design false data injection tests for air traffic control systems.

Alexandre Vernotte, Aymeric Cretin, Bruno Legeard, Fabien Peureux

Int. J. Softw. Tools Technol. Transf., 2022

CAE: Contextual auto-encoder for multivariate time-series anomaly detection in air transportation.

Antoine Chevrot, Alexandre Vernotte, Bruno Legeard

Comput. Secur., 2022

2021

DAE : Discriminatory Auto-Encoder for multivariate time-series anomaly detection in air transportation.

Antoine Chevrot, Alexandre Vernotte, Bruno Legeard

CoRR, 2021

Encoding Temporal and Spatial Vessel Context using Self-Supervised Learning Model (Student Abstract).

Pierre Bernabé, Helge Spieker, Bruno Legeard, Arnaud Gotlieb

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Tool Support for Refactoring Manual Tests.

Élodie Bernard, Julien Botella, Fabrice Ambert, Bruno Legeard, Mark Utting

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Supporting efficient test automation using lightweight MBT.

Élodie Bernard, Fabrice Ambert, Bruno Legeard

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Test Data Generation for False Data Injection Attack Testing in Air Traffic Surveillance.

Aymeric Cretin, Alexandre Vernotte, Antoine Chevrot, Fabien Peureux, Bruno Legeard

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Identifying and Generating Missing Tests using Machine Learning on Execution Traces.

Mark Utting, Bruno Legeard, Frédéric Dadeau, Frédéric Tamagnan, Fabrice Bouquet

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020

2019

Complementary test selection criteria for model-based testing of security components.

Julien Botella, Jean-Francois Capuron, Frédéric Dadeau, Elizabeta Fourneret, Bruno Legeard, Florence Schadle

Int. J. Softw. Tools Technol. Transf., 2019

2018

Chapter One - Model-Based Testing for Internet of Things Systems.

Abbas Ahmad, Fabrice Bouquet, Elizabeta Fourneret, Bruno Legeard

Adv. Comput., 2018

Lightweight Model-Based Testing for Enterprise IT.

Élodie Bernard, Fabrice Ambert, Bruno Legeard, Arnaud Bouzy

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

2017

Improving Internet of Things device certification with policy-based management.

Ricardo Neisse, Gianmarco Baldini, Gary Steri, Abbas Ahmad, Elizabeta Fourneret, Bruno Legeard

Proceedings of the Global Internet of Things Summit, 2017

2016

Achieving SCA Conformance Testing with Model-Based Testing.

Julien Botella, Jean-Philippe Delahaye, Eddie Jaffuel, Bruno Legeard, Fabien Peureux

J. Signal Process. Syst., 2016

Recent Advances in Model-Based Testing.

Mark Utting, Bruno Legeard, Fabrice Bouquet, Elizabeta Fourneret, Fabien Peureux, Alexandre Vernotte

Adv. Comput., 2016

Security certification and labelling in Internet of Things.

Gianmarco Baldini, Antonio F. Skarmeta, Elizabeta Fourneret, Ricardo Neisse, Bruno Legeard, Franck Le Gall

Proceedings of the 3rd IEEE World Forum on Internet of Things, 2016

Model-Based Testing as a Service for IoT Platforms.

Abbas Ahmad, Fabrice Bouquet, Elizabeta Fourneret, Franck Le Gall, Bruno Legeard

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015

Model-based testing: where does it stand?

Robert V. Binder, Bruno Legeard, Anne Kramer

Commun. ACM, 2015

Risk-Driven Vulnerability Testing: Results from eHealth Experiments Using Patterns and Model-Based Approach.

Alexandre Vernotte, Cornel Botea, Bruno Legeard, Arthur Molnar, Fabien Peureux

Proceedings of the Risk Assessment and Risk-Driven Testing - Third International Workshop, 2015

2014

SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models.

Elizabeta Fourneret, Jérôme Cantenot, Fabrice Bouquet, Bruno Legeard, Julien Botella

Proceedings of the Eighth International Conference on Software Security and Reliability, 2014

MBT for Global Platform Compliance Testing: Experience Report and Lessons Learned.

Gil Bernabeu, Eddie Jaffuel, Bruno Legeard, Fabien Peureux

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Risk-Based Vulnerability Testing Using Security Test Patterns.

Julien Botella, Bruno Legeard, Fabien Peureux, Alexandre Vernotte

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Efficient Detection of Multi-step Cross-Site Scripting Vulnerabilities.

Alexandre Vernotte, Frédéric Dadeau, Franck Lebeau, Bruno Legeard, Fabien Peureux, François Piat

Proceedings of the Information Systems Security - 10th International Conference, 2014

2013

Smartesting CertifyIt: Model-Based Testing for Enterprise IT.

Bruno Legeard, Arnaud Bouzy

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

Model-Based Vulnerability Testing for Web Applications.

Franck Lebeau, Bruno Legeard, Fabien Peureux, Alexandre Vernotte

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

Model-Based Testing of Cryptographic Components - Lessons Learned from Experience.

Julien Botella, Fabrice Bouquet, Jean-Francois Capuron, Franck Lebeau, Bruno Legeard, Florence Schadle

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

Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing.

Fabrice Ambert, Fabrice Bouquet, Jonathan Lasalle, Bruno Legeard, Fabien Peureux

Proceedings of the Modelling Foundations and Applications - 9th European Conference, 2013

2012

A taxonomy of model-based testing approaches.

Mark Utting, Alexander Pretschner, Bruno Legeard

Softw. Test. Verification Reliab., 2012

2011

SysML to UML model transformation for test generation purpose.

Jonathan Lasalle, Fabrice Bouquet, Bruno Legeard, Fabien Peureux

ACM SIGSOFT Softw. Eng. Notes, 2011

Test Generation Using Symbolic Animation of Models.

Frédéric Dadeau, Fabien Peureux, Bruno Legeard, Régis Tissot, Jacques Julliand, Pierre-Alain Masson, Fabrice Bouquet

Proceedings of the Model-Based Testing for Embedded Systems, 2011

2010

Model-based Testing: Next Generation Functional Software Testing.

Bruno Legeard

Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

Model-Based Testing for the Cloud.

Antonia Bertolino, Wolfgang Grieskamp, Robert M. Hierons, Yves Le Traon, Bruno Legeard, Henry Muccini, Amit M. Paradkar, David S. Rosenblum, Jan Tretmans

Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

2008

A Test Generation Solution to Automate Software Testing.

Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux

Proceedings of the 3rd International Workshop on Automation of Software Test, 2008

2007

Requirements traceability in the model-based testing process.

Eddy Bernard, Bruno Legeard

Proceedings of the Software Engineering 2007, 2007

LEIRIOS Test Generator: Automated Test Generation from B Models.

Eddie Jaffuel, Bruno Legeard

Proceedings of the B 2007: Formal Specification and Development in B, 2007

A subset of precise UML for model-based testing.

Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, Mark Utting

Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007

Practical Model-Based Testing - A Tools Approach.

Mark Utting, Bruno Legeard

Morgan Kaufmann, ISBN: 978-0-12-372501-1, 2007

2006

Génération de tests à partir de statecharts fondée sur le calcul de comportements.

Séverine Colin, Franck Lebeau, Bruno Legeard

Tech. Sci. Informatiques, 2006

Model-Based Testing from UML Models.

Eddy Bernard, Fabrice Bouquet, Amandine Charbonnier, Bruno Legeard, Fabien Peureux, Mark Utting, Eric Torreborre

Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

Automated Boundary Test Generation from JML Specifications.

Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard

Proceedings of the FM 2006: Formal Methods, 2006

2005

Requirements traceability in automated test generation: application to smart card software validation.

Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, Mark Utting

ACM SIGSOFT Softw. Eng. Notes, 2005

JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP.

Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

How Symbolic Animation Can Help Designing an Efficient Formal Model.

Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard

Proceedings of the Formal Methods and Software Engineering, 2005

Symbolic Animation of JML Specifications.

Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting

Proceedings of the FM 2005: Formal Methods, 2005

2004

Controlling test case explosion in test generation from B formal models.

Bruno Legeard, Fabien Peureux, Mark Utting

Softw. Test. Verification Reliab., 2004

Preamble computation in automated test case generation using constraint logic programming.

Séverine Colin, Bruno Legeard, Fabien Peureux

Softw. Test. Verification Reliab., 2004

CLPS-B - A constraint solver to animate a B specification.

Fabrice Bouquet, Bruno Legeard, Fabien Peureux

Int. J. Softw. Tools Technol. Transf., 2004

Generation of test sequences from formal specifications: GSM 11-11 standard case study.

Eddy Bernard, Bruno Legeard, Xavier Luck, Fabien Peureux

Softw. Pract. Exp., 2004

Boundary Coverage Criteria for Test Generation from Formal Models.

Nikolai Kosmatov, Bruno Legeard, Fabien Peureux, Mark Utting

Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

Faster Analysis of Formal Specifications.

Fabrice Bouquet, Bruno Legeard, Mark Utting, Nicolas Vacelet

Proceedings of the Formal Methods and Software Engineering, 2004

Mastering Test Generation from Smart Card Software Formal Models.

Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre

Proceedings of the Construction and Analysis of Safe, 2004

2003

Un format fédérateur pour l'évaluation de spécifications formelles en Programmation Logique avec Contraintes.

Fabrice Bouquet, Bruno Legeard, Nicolas Vacelet

Tech. Sci. Informatiques, 2003

Intégration de domaines à variables dans un solveur de contraintes ensemblistes.

Fabrice Ambert, Sébastien Chemin, Bruno Legeard

Tech. Sci. Informatiques, 2003

Reification of Executable Test Scripts in Formal Specicifation-Based Test Generation: The Java Card Transaction Mechanism Case Study.

Fabrice Bouquet, Bruno Legeard

Proceedings of the FME 2003: Formal Methods, 2003

2002

B-Testing-Tools : génération de tests aux limites à partir de spécifications B.

Bruno Legeard, Fabien Peureux

Tech. Sci. Informatiques, 2002

A Comparison of the BTT and TTF Test-Generation Methods.

Bruno Legeard, Fabien Peureux, Mark Utting

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

CLPS-B - A Constraint Solver for B.

Fabrice Bouquet, Bruno Legeard, Fabien Peureux

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

Automated Boundary Testing from Z and B.

Bruno Legeard, Fabien Peureux, Mark Utting

Proceedings of the FME 2002: Formal Methods, 2002

2001

Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study.

Bruno Legeard, Fabien Peureux

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

2000

Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B.

Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Laurent Py

Proceedings of the Programmation en logique avec contraintes, 2000

1998

Résolution d'un problème de découpe à deux dimensions en programmation logique avec contraintes.

Isabelle Jacques, Bruno Legeard, Laurent Py

Proceedings of the JFPLC'98, 1998

Représentation de séquences définies sur des ensembles non instanciés par arbre PQR patiel.

Lotfi Berkaoui, Bruno Legeard

Proceedings of the JFPLC'98, 1998

Specification of an Integrated Circuit Card Protocol Application Using the B Method and Linear Temporal Logic.

Jacques Julliand, Bruno Legeard, Thierry Machicoane, Benoit Parreaux, Bruno Tatibouët

Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998

1997

Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini.

Mohamed Hibti, Bruno Legeard, Henri Lombardi

RAIRO Theor. Informatics Appl., 1997

Multi-criteria Comparison Between Algorithmic, Constraint Logic and Specific Constraint Programming on a Real Schedulingt Problem.

Eric Boucher, Astrid Bachelu, Christophe Varnier, Pierre Baptiste, Bruno Legeard

Proceedings of the Third International Conference on the Practical Application of Constraint Technology, 1997

Procédure exacte d'optimisation dans le paradigme de la programmation logique avec contraintes ensemblistes.

Eric Boucher, Bruno Legeard

Proceedings of the JFPLC'97, 1997

1996

Fonctions de voisinage progressives et admissibles pour des méthodes d'optimisation en PLC sur séquences.

Eric Boucher, Bruno Legeard

Proceedings of the JFPLC'96, 1996

1995

Outil d'aide à l'élaboration d'ordonnancement cyclique pour les lignes de traitement de surface.

Christophe Varnier, Pierre Baptiste, Bruno Legeard

Proceedings of the JFPLC'95, 1995

CLPS : un langage de PLC ensembliste.

Fabrice Ambert, Bruno Legeard, Hamza Zidoum

Proceedings of the JFPLC'95, 1995

1994

Sequences Constraint Solving in Constraints Logic Programming.

Pierre Baptiste, Bruno Legeard, Hamza Zidoum

Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994

1993

Deciding in HFS-Theory via Linear Integer Programming.

Mohamed Hibti, Henri Lombardi, Bruno Legeard

Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993

Le traitement des contraintes disjonctives dans un problème d'ordonnancement : exemple du «Hoist Scheduling Problem».

Christophe Varnier, Pierre Baptiste, Bruno Legeard

Proceedings of the 2èmes Journées Francophones de Programmation Logique (JFPL 93), 1993

Set-Unification from Another Point of View.

Mohamed Hibti, Henri Lombardi, Bruno Legeard

Proceedings of the Workshop on Logic Programming with Sets, 1993

Constraints over Homogeneous Hereditarily Finite Sets.

Fabrice Ambert, Mohamed Hibti, Henri Lombardi, Bruno Legeard

Proceedings of the Workshop on Logic Programming with Sets, 1993

1992

Tests de satisfiabilité dans le langage de programmation en logique avec contraintes ensemblistes: CLPS.

Bruno Legeard, Emmanuel Legros

Proceedings of the JFPL'92, 1992

Hoist scheduling problem: an approach based on constraint logic programming.

Pierre Baptiste, Bruno Legeard, Christophe Varnier

Proceedings of the 1992 IEEE International Conference on Robotics and Automation, 1992

1991

Short Overview of the CLPS System.

Bruno Legeard, Emmanuel Legros

Proceedings of the Programming Language Implementation and Logic Programming, 1991

Applications of Constraints Logic Programming Languages.

Jean-Jacques Chabrier, Claudine Pradelles, Bruno Legeard

Proceedings of the Logic Programming, 1991

1988

Capturing software processes through the generated objects.

Michel Rueher, Didier Ladret, Bruno Legeard

Proceedings of the Forth International Software Process Workshop, 1988