Fabien Peureux - Concepedia

Author

Fabien Peureux

Université de franche-comté

Also Known As

F. Peureux, Fabien Peureux, Peureux, F., Peureux, Fabien

Publications

938

Citations

H-Index

Concepts

All Affiliations

Université de franche-comté Centre National de la Recherche Scientifique Institut national de recherche en sciences et technologies du numérique University of Waikato Smartesting (France)

About

Fabien Peureux is an author at Université de franche-comté specializing in engineering, computer engineering, and software testing.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	12	15	456
2	Computer Engineering	11	12	371
3	Systems Engineering	11	13	381
4	Computer Science	10	11	406
5	Industrial Engineering	1	1	11

Fabien Peureux

Publications

577

Citations

H-Index

Page 1

	Year	Citations
A subset of precise UML for model-based testing Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard,	2007	82
Generation of test sequences from formal specifications: GSM 11‐11 standard case study Eddy Bernard, Bruno Legeard, Xavier Luck, Software Practice and Experience EngineeringVerificationB NotationTest Data GenerationSoftware Engineering	2004	78
Boundary Coverage Criteria for Test Generation from Formal Models Nikolaï Kosmatov, Bruno Legeard, Fabien Peureux, EngineeringVerificationTest CoverageTest Data GenerationSoftware Engineering	2005	67
A test generation solution to automate software testing Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Software MaintenanceEngineeringTest Generation SolutionVerificationTest Data Generation	2008	44
Model-Based Vulnerability Testing for Web Applications Franck Lebeau, Bruno Legeard, Fabien Peureux, Software MaintenanceMixed ModelingVulnerability Assessment (Computing)Reliability EngineeringEngineering	2013	40
CLPS–B – A constraint solver to animate a B specification Fabrice Bouquet, Bruno Legeard, Fabien Peureux International Journal on Software Tools for Technology Transfer Constraint SolvingEngineeringConstraint SatisfactionGeometric Constraint SolvingAutomated Reasoning	2003	35
Requirements traceability in automated test generation Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, ACM SIGSOFT Software Engineering Notes Software MaintenanceRequirements TraceabilityEngineeringVerificationTest Data Generation	2005	35
Generation of functional test sequences from B formal specifications presentation and industrial case-study Bruno Legeard, Fabien Peureux EngineeringVerificationTest Data GenerationSoftware EngineeringSoftware Analysis	2005	32
Controlling test case explosion in test generation from B formal models Bruno Legeard, Fabien Peureux, Mark Utting Software Testing Verification and Reliability Abstract Bz‐testing‐toolsEngineeringVerificationSoftware SystemsTest Data Generation	2004	28
Preamble computation in automated test case generation using constraint logic programming Séverine Colin, Bruno Legeard, Fabien Peureux Software Testing Verification and Reliability	2004	23

Page 1