default search action
Fabien Peureux
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j13]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): 127-158 (2022) - 2020
- [c30]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 - [c29]Frédéric Dadeau, Jean-Philippe Gros, Fabien Peureux:
A Case-based Approach for introducing Testing Tools and Principles. ICST Workshops 2020: 429-436
2010 – 2019
- 2018
- [j12]Hadrien Bride, Olga Kouchnarenko
Assessing SMT and CLP approaches for workflow nets verification. Int. J. Softw. Tools Technol. Transf. 20(4): 467-491 (2018) - 2017
- [c28]Hadrien Bride, Olga Kouchnarenko
Reduction of Workflow Nets for Generalised Soundness Verification. VMCAI 2017: 91-111 - 2016
- [j11]Mark Utting
Recent Advances in Model-Based Testing. Adv. Comput. 101: 53-120 (2016) - [j10]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) - [c27]Hadrien Bride, Olga Kouchnarenko
Workflow Nets Verification: SMT or CLP? FMICS-AVoCS 2016: 39-55 - 2015
- [c26]Hadrien Bride, Olga Kouchnarenko
Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data. Ershov Memorial Conference 2015: 75-90 - [c25]Jean-Marie Gauthier, Fabrice Bouquet
Tooled Process for Early Validation of SysML Models Using Modelica Simulation. FSEN 2015: 230-237 - [c24]Jean-Marie Gauthier, Fabrice Bouquet
A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing. ICFEM 2015: 134-152 - [c23]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
- [c22]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 - [c21]Hadrien Bride, Olga Kouchnarenko
Verifying Modal Workflow Specifications Using Constraint Solving. IFM 2014: 171-186 - [c20]Julien Botella, Bruno Legeard, Fabien Peureux, Alexandre Vernotte:
Risk-Based Vulnerability Testing Using Security Test Patterns. ISoLA (2) 2014: 337-352 - [c19]Gil Bernabeu, Eddie Jaffuel, Bruno Legeard
MBT for Global Platform Compliance Testing: Experience Report and Lessons Learned. ISSRE Workshops 2014: 66-70 - 2013
- [c18]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 - [c17]Fabrice Bouquet, Fabien Peureux, Fabrice Ambert:
Model-Based Testing for Functional and Security Test Generation. FOSAD 2013: 1-33 - [c16]Franck Lebeau, Bruno Legeard
Model-Based Vulnerability Testing for Web Applications. ICST Workshops 2013: 445-452 - [c15]Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux:
Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS. MODELSWARD 2013: 123-128 - 2011
- [j9]Jonathan Lasalle, Fabien Peureux, Frédéric Fondement:
Development of an automated MBT toolchain from UML/SysML models. Innov. Syst. Softw. Eng. 7(4): 247-256 (2011) - [j8]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) - [c14]Frédéric Dadeau, Fabien Peureux:
Grey-Box Testing and Verification of Java/JML. ICST Workshops 2011: 298-303 - [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
2000 – 2009
- 2008
- [c13]Fabrice Bouquet
A Test Generation Solution to Automate Software Testing. AST 2008: 45-48 - 2007
- [c12]Fabrice Bouquet
A subset of precise UML for model-based testing. A-MOST 2007: 95-104 - 2006
- [j7]Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux:
Adopting a situational requirements engineering approach for the analysis of civil aviation security standards. Softw. Process. Improv. Pract. 11(5): 487-503 (2006) - [c11]Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux:
An attempt to combine UML and formal methods to model airport security. CAiSE Forum 2006 - [c10]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
- [j6]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) - [c9]Fabrice Bouquet
Requirements traceability in automated test generation: application to smart card software validation. A-MOST 2005 - 2004
- [j5]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) - [j4]Fabrice Bouquet
CLPS-B - A constraint solver to animate a B specification. Int. J. Softw. Tools Technol. Transf. 6(2): 143-157 (2004) - [j3]Bruno Legeard
Controlling test case explosion in test generation from B formal models. Softw. Test. Verification Reliab. 14(2): 81-103 (2004) - [j2]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) - [c8]Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre:
Mastering Test Generation from Smart Card Software Formal Models. CASSIS 2004: 70-85 - [c7]Machiel van der Bijl, Fabien Peureux:
I/O-automata Based Testing. Model-Based Testing of Reactive Systems 2004: 173-200 - [c6]Nikolai Kosmatov, Bruno Legeard, Fabien Peureux, Mark Utting
Boundary Coverage Criteria for Test Generation from Formal Models. ISSRE 2004: 139-150 - 2002
- [j1]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) - [c5]Bruno Legeard, Fabien Peureux, Mark Utting
Automated Boundary Testing from Z and B. FME 2002: 21-40 - [c4]Fabrice Bouquet, Bruno Legeard, Fabien Peureux:
CLPS-B - A Constraint Solver for B. TACAS 2002: 188-204 - [c3]Bruno Legeard, Fabien Peureux, Mark Utting
A Comparison of the BTT and TTF Test-Generation Methods. ZB 2002: 309-329 - 2001
- [c2]Bruno Legeard, Fabien Peureux:
Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study. ASE 2001: 377-381 - 2000
- [c1]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
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-04-24 22:50 CEST 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: