Bruno Marre

Publications

696

Citations

H-Index

1991

Active since

Affiliations

Commissariat à l'Énergie Atomique et aux Énergies Alternatives(Current)

Laboratoire d'Intégration des Systèmes et des Technologies

Laboratoire de Recherche en Informatique

Centre National de la Recherche Scientifique

Université Paris Cité

Bruno Marre is an author at Commissariat à l'Énergie Atomique et aux Énergies Alternatives specializing in software testing, software analysis, and formal verification.

Top concepts

EngineeringFormal MethodsSoftware TestingSoftware AnalysisFormal VerificationVerificationComputer ScienceProgram AnalysisSoftware EngineeringTest Automation

Publications per year

1991–2013

Publications

Software testing based on formal specifications: a theory and a tool

Gilles Bernot, Marie Claude Gaudel, Bruno Marre · Software Engineering Journal · 1991 · 321 citations

Software Maintenance, Engineering, Verification +21

Test sequences generation from LUSTRE descriptions: GATEL

Bruno Marre, Agnès Arnould · 2000 · 109 citations

Engineering, Verification, Test Data Generation +24

On-the-fly generation of K-path tests for C functions

Nicky Williams, Bruno Marre, Patricia Mouy · 2004 · 42 citations

Engineering, Verification, Test Data Generation +20

Test Selection Strategies for Lustre Descriptions in GATeL

Bruno Marre, B. Blanc · Electronic Notes in Theoretical Computer Science · 2005 · 41 citations · Full text

Using algebraic specifications in software testing: A case study on the software of an automatic subway

Pierre Dauchy, Marie-Claude Gaudel, Bruno Marre · Journal of Systems and Software · 1993 · 41 citations

Software Maintenance, Engineering, Verification +18

Rows per page

1–5 of 12