Bruno Legeard - RankMe

90 papers A* 3A 6B 7C 3Misc 1Journal 27Unranked 41

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