Bernard Botella - Concepedia

Author

Bernard Botella

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

Also Known As

B. Botella, Bernard Botella, Botella, Bernard

Publications

820

Citations

H-Index

Concepts

All Affiliations

Institut national de recherche en sciences et technologies du numérique 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

About

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

#	Concept	H-Index	Publications	Citations
1	Engineering	11	13	621
2	Computer Science	11	13	621
3	Computer Engineering	10	10	495
4	Systems Engineering	8	8	400
5	Social Sciences	1	1	14

Bernard Botella

Publications

635

Citations

H-Index

Page 1

	Year	Citations
Automatic test data generation using constraint solving techniques Arnaud Gotlieb, Bernard Botella, Michel Rueher EngineeringVerificationTest Data GenerationSoftware EngineeringTest Data	1998	229
Automated metamorphic testing Arnaud Gotlieb, Bernard Botella Automatic Testing FrameworkEngineeringProgram CheckingVerificationTest Data Generation	2004	93
Symbolic execution of floating‐point computations Bernard Botella, Arnaud Gotlieb, Claude Michel Software Testing Verification and Reliability Real Data TypeProgram CheckingEngineeringAbstract Symbolic ExecutionProgram Analysis	2005	77
Automatic test data generation using constraint solving techniques Arnaud Gotlieb, Bernard Botella, Michel Rueher ACM SIGSOFT Software Engineering Notes EngineeringVerificationTest Data GenerationSoftware EngineeringTest Data	1998	55
Automating structural testing of C programs: Experience with PathCrawler Bernard Botella, Mickaël Delahaye, Stephane Hong-Tuan-Ha, Software MaintenanceProgram CheckingEngineeringVerificationTest Data Generation	2009	49
Infeasible path generalization in dynamic symbolic execution Mickaël Delahaye, Bernard Botella, Arnaud Gotlieb Information and Software Technology Mathematical ProgrammingInfeasible Path GeneralizationEngineeringRuntime VerificationProgram Analysis	2014	19
Explanation-Based Generalization of Infeasible Path Mickaël Delahaye, Bernard Botella, Arnaud Gotlieb Program CheckingEngineeringReachability ProblemVerificationTest Data Generation	2010	18
Instrumentation of Annotated C Programs for Test Generation Guillaume Petiot, Bernard Botella, Jacques Julliand, Software MaintenanceProgram CheckingEngineeringVerificationAcsl Annotations	2014	17
Goal-oriented test data generation for pointer programs Arnaud Gotlieb, Tristan Denmat, Bernard Botella Information and Software Technology EngineeringComputational TestingProgram AnalysisSoftware TestingComputer Engineering	2006	15
Modelling dynamic memory management in constraint-based testing Florence Charreteur, Bernard Botella, Arnaud Gotlieb Journal of Systems and Software EngineeringProgram AnalysisMem TestingSoftware TestingFormal Methods	2009	14

Page 1