Concepedia

Bruno Legeard

BL

Statistics

Publications

30

Citations

1.6K

H-Index

18

Active since

1970

Affiliations

Université de franche-comté(Current)

Centre National de la Recherche Scientifique

Smartesting (France)

Franche-Comté Électronique Mécanique Thermique et Optique - Sciences et Technologies

Institut national de recherche en sciences et technologies du numérique

Bruno Legeard is an author at Université de franche-comté specializing in engineering, computer science, and software engineering.

Top concepts

EngineeringComputer ScienceSoftware TestingSoftware AnalysisSoftware EngineeringComputer EngineeringFormal VerificationSystems EngineeringVerificationTest Automation

Publications per year

1970–2023

30

Publications

30

A taxonomy of model‐based testing approaches

Mark Utting, Alexander Pretschner, Bruno Legeard · Software Testing Verification and Reliability · 2011 · 606 citations · Full text

Engineering, Software Systems, Software Engineering +20

A taxonomy of model-based testing

Mark Utting, Alexander Pretschner, Bruno Legeard · Research Commons (University of Waikato) · 2006 · 154 citations · Full text

A subset of precise UML for model-based testing

Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard et al. · 2007 · 82 citations · Full text

Generation of test sequences from formal specifications: GSM 11‐11 standard case study

Eddy Bernard, Bruno Legeard, Xavier Luck et al. · Software Practice and Experience · 2004 · 78 citations

Engineering, Verification, B Notation +23

Boundary Coverage Criteria for Test Generation from Formal Models

Nikolaï Kosmatov, Bruno Legeard, Fabien Peureux et al. · 2005 · 67 citations

Engineering, Verification, Test Coverage +23

1–5 of 30