Bruno Legeard

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 19

Top Topics

Sequence Diagrams

Test Data Generation

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Pierre Bernabé, Arnaud Gotlieb, Bruno Legeard, Dusica Marijan, Frank Olaf Sem-Jacobsen, Helge Spieker
Detecting Intentional AIS Shutdown in Open Sea Maritime Surveillance Using Self-Supervised Deep Learning. IEEE Trans. Intell. Transp. Syst. 25 (2) (2024)
Frédéric Tamagnan, Fabrice Bouquet, Alexandre Vernotte, Bruno Legeard
Regression Test Generation by Usage Coverage Driven Clustering on User Traces. ICSTW (2023)
Pierre Bernabé, Arnaud Gotlieb, Bruno Legeard, Dusica Marijan, Frank Olaf Sem-Jacobsen, Helge Spieker
Detecting Intentional AIS Shutdown in Open Sea Maritime Surveillance Using Self-Supervised Deep Learning. CoRR (2023)
Antoine Chevrot, Alexandre Vernotte, Bruno Legeard
CAE: Contextual auto-encoder for multivariate time-series anomaly detection in air transportation. Comput. Secur. 116 (2022)
Alexandre Vernotte, Aymeric Cretin, Bruno Legeard, Fabien Peureux
A domain-specific language to design false data injection tests for air traffic control systems. Int. J. Softw. Tools Technol. Transf. 24 (2) (2022)
Pierre Bernabé, Helge Spieker, Bruno Legeard, Arnaud Gotlieb
Encoding Temporal and Spatial Vessel Context using Self-Supervised Learning Model (Student Abstract). AAAI (2021)
Antoine Chevrot, Alexandre Vernotte, Bruno Legeard
DAE : Discriminatory Auto-Encoder for multivariate time-series anomaly detection in air transportation. CoRR (2021)
Aymeric Cretin, Alexandre Vernotte, Antoine Chevrot, Fabien Peureux, Bruno Legeard
Test Data Generation for False Data Injection Attack Testing in Air Traffic Surveillance. ICST Workshops (2020)
Mark Utting, Bruno Legeard, Frédéric Dadeau, Frédéric Tamagnan, Fabrice Bouquet
Identifying and Generating Missing Tests using Machine Learning on Execution Traces. AITest (2020)
Élodie Bernard, Fabrice Ambert, Bruno Legeard
Supporting efficient test automation using lightweight MBT. ICST Workshops (2020)
Élodie Bernard, Julien Botella, Fabrice Ambert, Bruno Legeard, Mark Utting
Tool Support for Refactoring Manual Tests. ICST (2020)
Julien Botella, Jean-Francois Capuron, Frédéric Dadeau, Elizabeta Fourneret, Bruno Legeard, Florence Schadle
Complementary test selection criteria for model-based testing of security components. Int. J. Softw. Tools Technol. Transf. 21 (4) (2019)
Abbas Ahmad, Fabrice Bouquet, Elizabeta Fourneret, Bruno Legeard
Chapter One - Model-Based Testing for Internet of Things Systems. Adv. Comput. 108 (2018)
Élodie Bernard, Fabrice Ambert, Bruno Legeard, Arnaud Bouzy
Lightweight Model-Based Testing for Enterprise IT. ICST Workshops (2018)
Ricardo Neisse, Gianmarco Baldini, Gary Steri, Abbas Ahmad, Elizabeta Fourneret, Bruno Legeard
Improving Internet of Things device certification with policy-based management. GIoTS (2017)
Julien Botella, Jean-Philippe Delahaye, Eddie Jaffuel, Bruno Legeard, Fabien Peureux
Achieving SCA Conformance Testing with Model-Based Testing. J. Signal Process. Syst. 83 (1) (2016)
Abbas Ahmad, Fabrice Bouquet, Elizabeta Fourneret, Franck Le Gall, Bruno Legeard
Model-Based Testing as a Service for IoT Platforms. ISoLA (2) (2016)
Mark Utting, Bruno Legeard, Fabrice Bouquet, Elizabeta Fourneret, Fabien Peureux, Alexandre Vernotte
Recent Advances in Model-Based Testing. Adv. Comput. 101 (2016)
Gianmarco Baldini, Antonio F. Skarmeta, Elizabeta Fourneret, Ricardo Neisse, Bruno Legeard, Franck Le Gall
Security certification and labelling in Internet of Things. WF-IoT (2016)
Robert V. Binder, Bruno Legeard, Anne Kramer
Model-based testing: where does it stand? Commun. ACM 58 (2) (2015)
Alexandre Vernotte, Cornel Botea, Bruno Legeard, Arthur Molnar, Fabien Peureux
Risk-Driven Vulnerability Testing: Results from eHealth Experiments Using Patterns and Model-Based Approach. RISK (2015)
Elizabeta Fourneret, Jérôme Cantenot, Fabrice Bouquet, Bruno Legeard, Julien Botella
SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models. SERE (2014)
Robert V. Binder, Bruno Legeard, Anne Kramer
Model-based Testing: Where Does It Stand? ACM Queue 13 (1) (2014)
Gil Bernabeu, Eddie Jaffuel, Bruno Legeard, Fabien Peureux
MBT for Global Platform Compliance Testing: Experience Report and Lessons Learned. ISSRE Workshops (2014)
Alexandre Vernotte, Frédéric Dadeau, Franck Lebeau, Bruno Legeard, Fabien Peureux, François Piat
Efficient Detection of Multi-step Cross-Site Scripting Vulnerabilities. ICISS (2014)
Julien Botella, Bruno Legeard, Fabien Peureux, Alexandre Vernotte
Risk-Based Vulnerability Testing Using Security Test Patterns. ISoLA (2) (2014)
Franck Lebeau, Bruno Legeard, Fabien Peureux, Alexandre Vernotte
Model-Based Vulnerability Testing for Web Applications. ICST Workshops (2013)
Julien Botella, Fabrice Bouquet, Jean-Francois Capuron, Franck Lebeau, Bruno Legeard, Florence Schadle
Model-Based Testing of Cryptographic Components - Lessons Learned from Experience. ICST (2013)
Fabrice Ambert, Fabrice Bouquet, Jonathan Lasalle, Bruno Legeard, Fabien Peureux
Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing. ECMFA (2013)
Bruno Legeard, Arnaud Bouzy
Smartesting CertifyIt: Model-Based Testing for Enterprise IT. ICST (2013)
Mark Utting, Alexander Pretschner, Bruno Legeard
A taxonomy of model-based testing approaches. Softw. Test. Verification Reliab. 22 (5) (2012)
Jonathan Lasalle, Fabrice Bouquet, Bruno Legeard, Fabien Peureux
SysML to UML model transformation for test generation purpose. ACM SIGSOFT Softw. Eng. Notes 36 (1) (2011)
Bruno Legeard
Model-based Testing: Next Generation Functional Software Testing. Practical Software Testing: Tool Automation and Human Factors (2010)
Antonia Bertolino, Wolfgang Grieskamp, Robert M. Hierons, Yves Le Traon, Bruno Legeard, Henry Muccini, Amit M. Paradkar, David S. Rosenblum, Jan Tretmans
Model-Based Testing for the Cloud. Practical Software Testing: Tool Automation and Human Factors (2010)
Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux
A Test Generation Solution to Automate Software Testing. AST (2008)
Eddy Bernard, Bruno Legeard
Requirements traceability in the model-based testing process. Software Engineering (Workshops) (2007)
Eddie Jaffuel, Bruno Legeard
LEIRIOS Test Generator: Automated Test Generation from B Models. B (2007)
Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, Mark Utting
A subset of precise UML for model-based testing. A-MOST (2007)
Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard
Automated Boundary Test Generation from JML Specifications. FM (2006)
Eddy Bernard, Fabrice Bouquet, Amandine Charbonnier, Bruno Legeard, Fabien Peureux, Mark Utting, Eric Torreborre
Model-Based Testing from UML Models. GI Jahrestagung (2) (2006)
Séverine Colin, Franck Lebeau, Bruno Legeard
Génération de tests à partir de statecharts fondée sur le calcul de comportements. Tech. Sci. Informatiques 25 (1) (2006)
Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting
JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP. TACAS (2005)
Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, Mark Utting
Requirements traceability in automated test generation: application to smart card software validation. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard
How Symbolic Animation Can Help Designing an Efficient Formal Model. ICFEM (2005)
Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting
Symbolic Animation of JML Specifications. FM (2005)
Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, Mark Utting
Requirements traceability in automated test generation: application to smart card software validation. A-MOST (2005)
Séverine Colin, Bruno Legeard, Fabien Peureux
Preamble computation in automated test case generation using constraint logic programming. Softw. Test. Verification Reliab. 14 (3) (2004)
Bruno Legeard, Fabien Peureux, Mark Utting
Controlling test case explosion in test generation from B formal models. Softw. Test. Verification Reliab. 14 (2) (2004)
Fabrice Bouquet, Bruno Legeard, Mark Utting, Nicolas Vacelet
Faster Analysis of Formal Specifications. ICFEM (2004)
Eddy Bernard, Bruno Legeard, Xavier Luck, Fabien Peureux
Generation of test sequences from formal specifications: GSM 11-11 standard case study. Softw. Pract. Exp. 34 (10) (2004)
Fabrice Bouquet, Bruno Legeard, Fabien Peureux
CLPS-B - A constraint solver to animate a B specification. Int. J. Softw. Tools Technol. Transf. 6 (2) (2004)
Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre
Mastering Test Generation from Smart Card Software Formal Models. CASSIS (2004)
Nikolai Kosmatov, Bruno Legeard, Fabien Peureux, Mark Utting
Boundary Coverage Criteria for Test Generation from Formal Models. ISSRE (2004)
Fabrice Bouquet, Bruno Legeard, Nicolas Vacelet
Un format fédérateur pour l'évaluation de spécifications formelles en Programmation Logique avec Contraintes. Tech. Sci. Informatiques 22 (1) (2003)
Fabrice Bouquet, Bruno Legeard, Nicolas Vacelet
Un format fédérateur pour l'évaluation de spécifications formelles en programmation logique avec contraintes. JFPLC (2003)
Fabrice Ambert, Sébastien Chemin, Bruno Legeard
Intégration de domaines à variables dans un solveur de contraintes ensemblistes. Tech. Sci. Informatiques 22 (1) (2003)
Fabrice Bouquet, Bruno Legeard
Reification of Executable Test Scripts in Formal Specicifation-Based Test Generation: The Java Card Transaction Mechanism Case Study. FME (2003)
Fabrice Ambert, Sébastien Chemin, Bruno Legeard
Intégration de domaines à variables dans un solveur de contraintes ensemblistes. JFPLC (2003)
Fabrice Bouquet, Bruno Legeard, Fabien Peureux
CLPS-B - A Constraint Solver for B. TACAS (2002)
Bruno Legeard, Fabien Peureux, Mark Utting
A Comparison of the BTT and TTF Test-Generation Methods. ZB (2002)
Bruno Legeard, Fabien Peureux
B-Testing-Tools : génération de tests aux limites à partir de spécifications B. Tech. Sci. Informatiques 21 (9) (2002)
Bruno Legeard, Fabien Peureux, Mark Utting
Automated Boundary Testing from Z and B. FME (2002)
Bruno Legeard, Fabien Peureux
Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study. ASE (2001)
Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Laurent Py
Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B. JFPLC (2000)
Lotfi Berkaoui, Bruno Legeard
Représentation de séquences définies sur des ensembles non instanciés par arbre PQR patiel. JFPLC (1998)
Jacques Julliand, Bruno Legeard, Thierry Machicoane, Benoit Parreaux, Bruno Tatibouët
Specification of an Integrated Circuit Card Protocol Application Using the B Method and Linear Temporal Logic. B (1998)
Isabelle Jacques, Bruno Legeard, Laurent Py
Résolution d'un problème de découpe à deux dimensions en programmation logique avec contraintes. JFPLC (1998)
Eric Boucher, Astrid Bachelu, Christophe Varnier, Pierre Baptiste, Bruno Legeard
Multi-criteria Comparison Between Algorithmic, Constraint Logic and Specific Constraint Programming on a Real Schedulingt Problem. PACT (1997)
Eric Boucher, Bruno Legeard
Procédure exacte d'optimisation dans le paradigme de la programmation logique avec contraintes ensemblistes. JFPLC (1997)
Mohamed Hibti, Bruno Legeard, Henri Lombardi
Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini. RAIRO Theor. Informatics Appl. 31 (3) (1997)
Eric Boucher, Bruno Legeard
Fonctions de voisinage progressives et admissibles pour des méthodes d'optimisation en PLC sur séquences. JFPLC (1996)
Fabrice Ambert, Bruno Legeard, Hamza Zidoum
CLPS : un langage de PLC ensembliste. JFPLC (1995)
Christophe Varnier, Pierre Baptiste, Bruno Legeard
Outil d'aide à l'élaboration d'ordonnancement cyclique pour les lignes de traitement de surface. JFPLC (1995)
Pierre Baptiste, Bruno Legeard, Hamza Zidoum
Sequences Constraint Solving in Constraints Logic Programming. ICTAI (1994)
Mohamed Hibti, Henri Lombardi, Bruno Legeard
Set-Unification from Another Point of View. ICLP Workshop on Logic Programming with Sets (1993)
Fabrice Ambert, Mohamed Hibti, Henri Lombardi, Bruno Legeard
Constraints over Homogeneous Hereditarily Finite Sets. ICLP Workshop on Logic Programming with Sets (1993)
Christophe Varnier, Pierre Baptiste, Bruno Legeard
Le traitement des contraintes disjonctives dans un problème d'ordonnancement : exemple du «Hoist Scheduling Problem». JFPL (1993)
Mohamed Hibti, Henri Lombardi, Bruno Legeard
Deciding in HFS-Theory via Linear Integer Programming. LPAR (1993)
Bruno Legeard, Emmanuel Legros
Tests de satisfiabilité dans le langage de programmation en logique avec contraintes ensemblistes: CLPS. JFPL (1992)
Pierre Baptiste, Bruno Legeard, Christophe Varnier
Hoist scheduling problem: an approach based on constraint logic programming. ICRA (1992)
Bruno Legeard, Emmanuel Legros
Short Overview of the CLPS System. PLILP (1991)
Jean-Jacques Chabrier, Claudine Pradelles, Bruno Legeard
Applications of Constraints Logic Programming Languages. ICLP (1991)
Michel Rueher, Didier Ladret, Bruno Legeard
Capturing software processes through the generated objects. ISPW (1988)