Bernard Botella

Publications

635

Citations

H-Index

1998

Active since

Affiliations

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

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

Commissariat à l'Énergie Atomique et aux Énergies Alternatives

Institut de Recherche en Informatique et Systèmes Aléatoires

Centre National de la Recherche Scientifique

Bernard Botella is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal methods, program analysis, and formal verification.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsSoftware TestingFormal VerificationSoftware EngineeringComputer EngineeringVerification

Publications per year

1998–2018

Publications

Automatic test data generation using constraint solving techniques

Arnaud Gotlieb, Bernard Botella, Michel Rueher · 1998 · 229 citations · Full text

Engineering, Verification, Test Data Generation +20

Automated metamorphic testing

Arnaud Gotlieb, Bernard Botella · 2004 · 93 citations

Automatic Testing Framework, Engineering, Program Checking +19

Symbolic execution of floating‐point computations

Bernard Botella, Arnaud Gotlieb, Claude Michel · Software Testing Verification and Reliability · 2005 · 77 citations · Full text

Real Data Type, Program Checking, Engineering +14

Automatic test data generation using constraint solving techniques

Arnaud Gotlieb, Bernard Botella, Michel Rueher · ACM SIGSOFT Software Engineering Notes · 1998 · 55 citations

Engineering, Verification, Test Data Generation +20

Automating structural testing of C programs: Experience with PathCrawler

Bernard Botella, Mickaël Delahaye, Stephane Hong-Tuan-Ha et al. · 2009 · 49 citations

Software Maintenance, Program Checking, Engineering +21

Rows per page

1–5 of 14