default search action
Bruno Legeard
Person information
- affiliation: Université de Franche-Comté, Besançon, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j22]Frédéric Tamagnan, Alexandre Vernotte, Fabrice Bouquet, Bruno Legeard:
Generation of Regression Tests From Logs With Clustering Guided by Usage Patterns. Softw. Test. Verification Reliab. 34(8) (2024) - [j21]Pierre Bernabé
, Arnaud Gotlieb, Bruno Legeard, Dusica Marijan
Detecting Intentional AIS Shutdown in Open Sea Maritime Surveillance Using Self-Supervised Deep Learning. IEEE Trans. Intell. Transp. Syst. 25(2): 1166-1177 (2024) - 2023
- [c58]Frédéric Tamagnan
Regression Test Generation by Usage Coverage Driven Clustering on User Traces. ICSTW 2023: 82-89 - [i4]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 abs/2310.15586 (2023) - 2022
- [j20]Antoine Chevrot
CAE: Contextual auto-encoder for multivariate time-series anomaly detection in air transportation. Comput. Secur. 116: 102652 (2022) - [j19]Alexandre Vernotte
A domain-specific language to design false data injection tests for air traffic control systems. Int. J. Softw. Tools Technol. Transf. 24(2): 127-158 (2022) - 2021
- [c57]Pierre Bernabé, Helge Spieker, Bruno Legeard, Arnaud Gotlieb:
Encoding Temporal and Spatial Vessel Context using Self-Supervised Learning Model (Student Abstract). AAAI 2021: 15757-15758 - [i3]Antoine Chevrot, Alexandre Vernotte, Bruno Legeard:
DAE : Discriminatory Auto-Encoder for multivariate time-series anomaly detection in air transportation. CoRR abs/2109.04247 (2021) - 2020
- [c56]Mark Utting
Identifying and Generating Missing Tests using Machine Learning on Execution Traces. AITest 2020: 83-90 - [c55]Élodie Bernard, Fabrice Ambert, Bruno Legeard:
Supporting efficient test automation using lightweight MBT. ICST Workshops 2020: 84-94 - [c54]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: 143-152 - [c53]Élodie Bernard, Julien Botella, Fabrice Ambert, Bruno Legeard, Mark Utting
Tool Support for Refactoring Manual Tests. ICST 2020: 332-342
2010 – 2019
- 2019
- [j18]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): 425-448 (2019) - 2018
- [j17]Abbas Ahmad, Fabrice Bouquet
Chapter One - Model-Based Testing for Internet of Things Systems. Adv. Comput. 108: 1-58 (2018) - [c52]Élodie Bernard, Fabrice Ambert, Bruno Legeard, Arnaud Bouzy:
Lightweight Model-Based Testing for Enterprise IT. ICST Workshops 2018: 224-230 - 2017
- [c51]Ricardo Neisse, Gianmarco Baldini, Gary Steri
Improving Internet of Things device certification with policy-based management. GIoTS 2017: 1-6 - 2016
- [j16]Mark Utting
Recent Advances in Model-Based Testing. Adv. Comput. 101: 53-120 (2016) - [j15]Julien Botella, Jean-Philippe Delahaye, Eddie Jaffuel, Bruno Legeard
Achieving SCA Conformance Testing with Model-Based Testing. J. Signal Process. Syst. 83(1): 113-128 (2016) - [c50]Abbas Ahmad, Fabrice Bouquet
Model-Based Testing as a Service for IoT Platforms. ISoLA (2) 2016: 727-742 - [c49]Gianmarco Baldini, Antonio F. Skarmeta
Security certification and labelling in Internet of Things. WF-IoT 2016: 627-632 - 2015
- [j14]Robert V. Binder
Model-based testing: where does it stand? Commun. ACM 58(2): 52-56 (2015) - [c48]Alexandre Vernotte, Cornel Botea, Bruno Legeard
Risk-Driven Vulnerability Testing: Results from eHealth Experiments Using Patterns and Model-Based Approach. RISK 2015: 93-109 - 2014
- [j13]Robert V. Binder
Model-based Testing: Where Does It Stand? ACM Queue 13(1): 40-48 (2014) - [c47]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: 358-377 - [c46]Julien Botella, Bruno Legeard, Fabien Peureux, Alexandre Vernotte:
Risk-Based Vulnerability Testing Using Security Test Patterns. ISoLA (2) 2014: 337-352 - [c45]Gil Bernabeu, Eddie Jaffuel, Bruno Legeard
MBT for Global Platform Compliance Testing: Experience Report and Lessons Learned. ISSRE Workshops 2014: 66-70 - [c44]Elizabeta Fourneret, Jérôme Cantenot, Fabrice Bouquet
SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models. SERE 2014: 147-156 - 2013
- [c43]Fabrice Ambert, Fabrice Bouquet, Jonathan Lasalle, Bruno Legeard
Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing. ECMFA 2013: 134-151 - [c42]Julien Botella, Fabrice Bouquet
Model-Based Testing of Cryptographic Components - Lessons Learned from Experience. ICST 2013: 192-201 - [c41]Bruno Legeard
Smartesting CertifyIt: Model-Based Testing for Enterprise IT. ICST 2013: 391-397 - [c40]Franck Lebeau, Bruno Legeard
Model-Based Vulnerability Testing for Web Applications. ICST Workshops 2013: 445-452 - 2012
- [j12]Mark Utting
A taxonomy of model-based testing approaches. Softw. Test. Verification Reliab. 22(5): 297-312 (2012) - 2011
- [j11]Jonathan Lasalle, Fabrice Bouquet, Bruno Legeard, Fabien Peureux:
SysML to UML model transformation for test generation purpose. ACM SIGSOFT Softw. Eng. Notes 36(1): 1-8 (2011) - [p1]Frédéric Dadeau, Fabien Peureux, Bruno Legeard, Régis Tissot, Jacques Julliand, Pierre-Alain Masson, Fabrice Bouquet:
Test Generation Using Symbolic Animation of Models. Model-Based Testing for Embedded Systems 2011 - 2010
- [i2]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 - [i1]Bruno Legeard:
Model-based Testing: Next Generation Functional Software Testing. Practical Software Testing: Tool Automation and Human Factors 2010
2000 – 2009
- 2008
- [c39]Fabrice Bouquet
A Test Generation Solution to Automate Software Testing. AST 2008: 45-48 - 2007
- [b1]Mark Utting, Bruno Legeard:
Practical Model-Based Testing - A Tools Approach. Morgan Kaufmann 2007, ISBN 978-0-12-372501-1, pp. I-XIX, 1-433 - [c38]Fabrice Bouquet
A subset of precise UML for model-based testing. A-MOST 2007: 95-104 - [c37]Eddie Jaffuel, Bruno Legeard:
LEIRIOS Test Generator: Automated Test Generation from B Models. B 2007: 277-280 - [c36]Eddy Bernard, Bruno Legeard:
Requirements traceability in the model-based testing process. Software Engineering (Workshops) 2007: 45-54 - 2006
- [j10]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): 103-132 (2006) - [c35]Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard:
Automated Boundary Test Generation from JML Specifications. FM 2006: 428-443 - [c34]Eddy Bernard, Fabrice Bouquet, Amandine Charbonnier, Bruno Legeard, Fabien Peureux, Mark Utting, Eric Torreborre:
Model-Based Testing from UML Models. GI Jahrestagung (2) 2006: 223-230 - 2005
- [j9]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): 1-7 (2005) - [c33]Fabrice Bouquet
Requirements traceability in automated test generation: application to smart card software validation. A-MOST 2005 - [c32]Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting
Symbolic Animation of JML Specifications. FM 2005: 75-90 - [c31]Fabrice Bouquet
How Symbolic Animation Can Help Designing an Efficient Formal Model. ICFEM 2005: 96-110 - [c30]Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting
JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP. TACAS 2005: 551-556 - 2004
- [j8]Eddy Bernard, Bruno Legeard
Generation of test sequences from formal specifications: GSM 11-11 standard case study. Softw. Pract. Exp. 34(10): 915-948 (2004) - [j7]Fabrice Bouquet
CLPS-B - A constraint solver to animate a B specification. Int. J. Softw. Tools Technol. Transf. 6(2): 143-157 (2004) - [j6]Bruno Legeard
Controlling test case explosion in test generation from B formal models. Softw. Test. Verification Reliab. 14(2): 81-103 (2004) - [j5]Séverine Colin, Bruno Legeard
Preamble computation in automated test case generation using constraint logic programming. Softw. Test. Verification Reliab. 14(3): 213-235 (2004) - [c29]Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre:
Mastering Test Generation from Smart Card Software Formal Models. CASSIS 2004: 70-85 - [c28]Fabrice Bouquet, Bruno Legeard, Mark Utting
Faster Analysis of Formal Specifications. ICFEM 2004: 239-258 - [c27]Nikolai Kosmatov, Bruno Legeard, Fabien Peureux, Mark Utting
Boundary Coverage Criteria for Test Generation from Formal Models. ISSRE 2004: 139-150 - 2003
- [j4]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): 203-216 (2003) - [j3]Fabrice Ambert, Sébastien Chemin, Bruno Legeard:
Intégration de domaines à variables dans un solveur de contraintes ensemblistes. Tech. Sci. Informatiques 22(1): 217-220 (2003) - [c26]Fabrice Bouquet, Bruno Legeard:
Reification of Executable Test Scripts in Formal Specicifation-Based Test Generation: The Java Card Transaction Mechanism Case Study. FME 2003: 778-795 - [c25]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: 203-216 - [c24]Fabrice Ambert, Sébastien Chemin, Bruno Legeard:
Intégration de domaines à variables dans un solveur de contraintes ensemblistes. JFPLC 2003: 217-220 - 2002
- [j2]Bruno Legeard, Fabien Peureux:
B-Testing-Tools : génération de tests aux limites à partir de spécifications B. Tech. Sci. Informatiques 21(9): 1189-1218 (2002) - [c23]Bruno Legeard, Fabien Peureux, Mark Utting
Automated Boundary Testing from Z and B. FME 2002: 21-40 - [c22]Fabrice Bouquet, Bruno Legeard, Fabien Peureux:
CLPS-B - A Constraint Solver for B. TACAS 2002: 188-204 - [c21]Bruno Legeard, Fabien Peureux, Mark Utting
A Comparison of the BTT and TTF Test-Generation Methods. ZB 2002: 309-329 - 2001
- [c20]Bruno Legeard, Fabien Peureux:
Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study. ASE 2001: 377-381 - 2000
- [c19]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: 125-144
1990 – 1999
- 1998
- [c18]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: 273-292 - [c17]Isabelle Jacques, Bruno Legeard, Laurent Py:
Résolution d'un problème de découpe à deux dimensions en programmation logique avec contraintes. JFPLC 1998: 95- - [c16]Lotfi Berkaoui, Bruno Legeard:
Représentation de séquences définies sur des ensembles non instanciés par arbre PQR patiel. JFPLC 1998: 251- - 1997
- [j1]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): 205-236 (1997) - [c15]Eric Boucher, Bruno Legeard:
Procédure exacte d'optimisation dans le paradigme de la programmation logique avec contraintes ensemblistes. JFPLC 1997: 179-194 - [c14]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: 47-64 - 1996
- [c13]Eric Boucher, Bruno Legeard:
Fonctions de voisinage progressives et admissibles pour des méthodes d'optimisation en PLC sur séquences. JFPLC 1996: 255- - 1995
- [c12]Fabrice Ambert, Bruno Legeard, Hamza Zidoum:
CLPS : un langage de PLC ensembliste. JFPLC 1995: 337-340 - [c11]Christophe Varnier, Pierre Baptiste, Bruno Legeard:
Outil d'aide à l'élaboration d'ordonnancement cyclique pour les lignes de traitement de surface. JFPLC 1995: 365-368 - 1994
- [c10]Pierre Baptiste, Bruno Legeard, Hamza Zidoum:
Sequences Constraint Solving in Constraints Logic Programming. ICTAI 1994: 804-807 - 1993
- [c9]Fabrice Ambert, Mohamed Hibti, Henri Lombardi, Bruno Legeard:
Constraints over Homogeneous Hereditarily Finite Sets. ICLP Workshop on Logic Programming with Sets 1993 - [c8]Mohamed Hibti, Henri Lombardi, Bruno Legeard:
Set-Unification from Another Point of View. ICLP Workshop on Logic Programming with Sets 1993 - [c7]Christophe Varnier, Pierre Baptiste, Bruno Legeard:
Le traitement des contraintes disjonctives dans un problème d'ordonnancement : exemple du «Hoist Scheduling Problem». JFPL 1993: 343-363 - [c6]Mohamed Hibti, Henri Lombardi, Bruno Legeard:
Deciding in HFS-Theory via Linear Integer Programming. LPAR 1993: 170-181 - 1992
- [c5]Pierre Baptiste, Bruno Legeard, Christophe Varnier:
Hoist scheduling problem: an approach based on constraint logic programming. ICRA 1992: 1139-1144 - [c4]Bruno Legeard, Emmanuel Legros:
Tests de satisfiabilité dans le langage de programmation en logique avec contraintes ensemblistes: CLPS. JFPL 1992: 18-34 - 1991
- [c3]Jean-Jacques Chabrier, Claudine Pradelles, Bruno Legeard:
Applications of Constraints Logic Programming Languages. ICLP 1991: 944 - [c2]Bruno Legeard
Short Overview of the CLPS System. PLILP 1991: 431-433
1980 – 1989
- 1988
- [c1]Michel Rueher, Didier Ladret, Bruno Legeard:
Capturing software processes through the generated objects. ISPW 1988: 148-152
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-05 21:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: