Eddy Bernard

Statistics

Publications

Citations

H-Index

Active since

2004

Affiliations

Centre National de la Recherche Scientifique(Current)

Eddy Bernard is an author at Centre National de la Recherche Scientifique specializing in program analysis, computer engineering, and test automation.

Top concepts

EngineeringVerificationTest AutomationComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems EngineeringComputer Engineering

Publications per year

2004–2006

Publications

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

Model-based testing from UML models

Eddy Bernard, Fabrice Bouquet, A Charbonnier et al. · Queensland's institutional digital repository (The University of Queensland) · 2006 · 16 citations

Engineering, Verification, Software Engineering +23

1–2 of 2