Fabien Peureux

Publication Activity (10 Years)

Years Active: 2000-2022
Publications (10 Years): 12

Top Topics

Model Based Testing

Constraint Solving

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

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)
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)
Frédéric Dadeau, Jean-Philippe Gros, Fabien Peureux
A Case-based Approach for introducing Testing Tools and Principles. ICST Workshops (2020)
Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron
Assessing SMT and CLP approaches for workflow nets verification. Int. J. Softw. Tools Technol. Transf. 20 (4) (2018)
Hadrien Bride, Olga Kouchnarenko, Fabien Peureux
Reduction of Workflow Nets for Generalised Soundness Verification. VMCAI (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)
Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron
Workflow Nets Verification: SMT or CLP? FMICS-AVoCS (2016)
Mark Utting, Bruno Legeard, Fabrice Bouquet, Elizabeta Fourneret, Fabien Peureux, Alexandre Vernotte
Recent Advances in Model-Based Testing. Adv. Comput. 101 (2016)
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)
Hadrien Bride, Olga Kouchnarenko, Fabien Peureux
Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data. Ershov Memorial Conference (2015)
Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux
A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing. ICFEM (2015)
Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux
Tooled Process for Early Validation of SysML Models Using Modelica Simulation. FSEN (2015)
Hadrien Bride, Olga Kouchnarenko, Fabien Peureux
Verifying Modal Workflow Specifications Using Constraint Solving. IFM (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)
Fabrice Bouquet, Fabien Peureux, Fabrice Ambert
Model-Based Testing for Functional and Security Test Generation. FOSAD (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)
Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux
Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS. MODELSWARD (2013)
Jonathan Lasalle, Fabien Peureux, Frédéric Fondement
Development of an automated MBT toolchain from UML/SysML models. Innov. Syst. Softw. Eng. 7 (4) (2011)
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)
Frédéric Dadeau, Fabien Peureux
Grey-Box Testing and Verification of Java/JML. ICST Workshops (2011)
Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux
A Test Generation Solution to Automate Software Testing. AST (2008)
Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, Mark Utting
A subset of precise UML for model-based testing. A-MOST (2007)
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) (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)
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)
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, 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)
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)
Machiel van der Bijl, Fabien Peureux
I/O-automata Based Testing. Model-Based Testing of Reactive Systems (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, 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)