Fabien Peureux

44 papers A* 1A 2B 3C 2Misc 1Journal 13Unranked 21

Year	Rank	Type	Title / Venue / Authors
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
2020	—	`conf`	A Case-based Approach for introducing Testing Tools and Principles. ICST Workshops Frédéric Dadeau, Jean-Philippe Gros, Fabien Peureux
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
2018	J	`jnl`	Assessing SMT and CLP approaches for workflow nets verification. Int. J. Softw. Tools Technol. Transf. Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron
2017	B	`conf`	Reduction of Workflow Nets for Generalised Soundness Verification. VMCAI Hadrien Bride, Olga Kouchnarenko, Fabien Peureux
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	J	`jnl`	Recent Advances in Model-Based Testing. Adv. Comput. Mark Utting, Bruno Legeard, Fabrice Bouquet, Elizabeta Fourneret, Fabien Peureux, Alexandre Vernotte
2016	—	`conf`	Workflow Nets Verification: SMT or CLP? FMICS-AVoCS Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron
2015	C	`conf`	A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing. ICFEM Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux
2015	—	`conf`	Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data. Ershov Memorial Conference Hadrien Bride, Olga Kouchnarenko, Fabien Peureux
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
2015	—	`conf`	Tooled Process for Early Validation of SysML Models Using Modelica Simulation. FSEN Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, 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	—	`conf`	Risk-Based Vulnerability Testing Using Security Test Patterns. ISoLA (2) Julien Botella, Bruno Legeard, Fabien Peureux, Alexandre Vernotte
2014	B	`conf`	Verifying Modal Workflow Specifications Using Constraint Solving. IFM Hadrien Bride, Olga Kouchnarenko, Fabien Peureux
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	—	`conf`	Model-Based Testing for Functional and Security Test Generation. FOSAD Fabrice Bouquet, Fabien Peureux, Fabrice Ambert
2013	—	`conf`	Model-Based Vulnerability Testing for Web Applications. ICST Workshops Franck Lebeau, Bruno Legeard, Fabien Peureux, Alexandre Vernotte
2013	C	`conf`	Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS. MODELSWARD Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux
2011	J	`jnl`	Development of an automated MBT toolchain from UML/SysML models. Innov. Syst. Softw. Eng. Jonathan Lasalle, Fabien Peureux, Frédéric Fondement
2011	—	`conf`	Grey-Box Testing and Verification of Java/JML. ICST Workshops Frédéric Dadeau, Fabien Peureux
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
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
2006	J	`jnl`	Adopting a situational requirements engineering approach for the analysis of civil aviation security standards. Softw. Process. Improv. Pract. Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux
2006	—	`conf`	An attempt to combine UML and formal methods to model airport security. CAiSE Forum Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux
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	—	`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
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	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`	I/O-automata Based Testing. Model-Based Testing of Reactive Systems Machiel van der Bijl, 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
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