Bernard Botella

822 total citations
17 papers, 367 citations indexed

About

Bernard Botella is a scholar working on Software, Computational Theory and Mathematics and Artificial Intelligence. According to data from OpenAlex, Bernard Botella has authored 17 papers receiving a total of 367 indexed citations (citations by other indexed papers that have themselves been cited), including 16 papers in Software, 13 papers in Computational Theory and Mathematics and 3 papers in Artificial Intelligence. Recurrent topics in Bernard Botella's work include Software Testing and Debugging Techniques (16 papers), Formal Methods in Verification (13 papers) and Software Reliability and Analysis Research (9 papers). Bernard Botella is often cited by papers focused on Software Testing and Debugging Techniques (16 papers), Formal Methods in Verification (13 papers) and Software Reliability and Analysis Research (9 papers). Bernard Botella collaborates with scholars based in France, Australia and United States. Bernard Botella's co-authors include Arnaud Gotlieb, Michel Rueher, Claude Michel, Nikolaï Kosmatov, Jacques Julliand, Julien Signoles, Alain Giorgetti, Florent Kirchner, Frédéric Dadeau and Muriel Roger and has published in prestigious journals such as Journal of Systems and Software, Information and Software Technology and Software Testing Verification and Reliability.

In The Last Decade

Bernard Botella

16 papers receiving 331 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Bernard Botella France 8 331 122 114 58 54 17 367
P. Stocks United States 6 273 0.8× 73 0.6× 146 1.3× 61 1.1× 91 1.7× 8 332
David Bushnell United States 5 303 0.9× 72 0.6× 178 1.6× 43 0.7× 52 1.0× 10 348
S. Gerhart United States 8 171 0.5× 133 1.1× 101 0.9× 40 0.7× 131 2.4× 15 296
Sergiy Boroday Canada 8 239 0.7× 65 0.5× 130 1.1× 38 0.7× 65 1.2× 15 287
Aynur Abdurazik United States 6 331 1.0× 41 0.3× 194 1.7× 25 0.4× 59 1.1× 8 365
Ru-Gang Xu United States 7 272 0.8× 69 0.6× 170 1.5× 23 0.4× 95 1.8× 10 317
Virgile Prévosto France 6 157 0.5× 115 0.9× 84 0.7× 63 1.1× 150 2.8× 19 306
Nigel Tracey United Kingdom 7 449 1.4× 45 0.4× 258 2.3× 109 1.9× 45 0.8× 13 530
Kalpesh Kapoor India 8 289 0.9× 97 0.8× 126 1.1× 48 0.8× 65 1.2× 25 365
Jonas Mellin Sweden 7 133 0.4× 65 0.5× 72 0.6× 94 1.6× 36 0.7× 13 269

Countries citing papers authored by Bernard Botella

Since Specialization
Citations

This map shows the geographic impact of Bernard Botella's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Bernard Botella with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Bernard Botella more than expected).

Fields of papers citing papers by Bernard Botella

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Bernard Botella. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Bernard Botella. The network helps show where Bernard Botella may publish in the future.

Co-authorship network of co-authors of Bernard Botella

This figure shows the co-authorship network connecting the top 25 collaborators of Bernard Botella. A scholar is included among the top collaborators of Bernard Botella based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Bernard Botella. Bernard Botella is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

17 of 17 papers shown
1.
Botella, Bernard, et al.. (2024). Defining Operational Design Domain for Autonomous Systems: A Domain-Agnostic and Risk-Based Approach. 166–171. 2 indexed citations
2.
Kosmatov, Nikolaï, et al.. (2018). How testing helps to diagnose proof failures. Formal Aspects of Computing. 30(6). 629–657. 5 indexed citations
3.
Botella, Bernard, et al.. (2014). Infeasible path generalization in dynamic symbolic execution. Information and Software Technology. 58. 403–418. 13 indexed citations
4.
Botella, Bernard, et al.. (2014). Instrumentation of Annotated C Programs for Test Generation. HAL (Le Centre pour la Communication Scientifique Directe). 105–114. 9 indexed citations
5.
Cuoq, Pascal, Florent Kirchner, Nikolaï Kosmatov, et al.. (2012). A Software Analysis Perspective. 1 indexed citations
6.
Botella, Bernard, et al.. (2009). Modelling dynamic memory management in constraint-based testing. Journal of Systems and Software. 82(11). 1755–1766. 3 indexed citations
7.
Botella, Bernard, Frédéric Dadeau, Arnaud Gotlieb, et al.. (2008). Constraint-Based Software Testing.
8.
Botella, Bernard, et al.. (2007). Modelling Dynamic Memory Management in Constraint-Based Testing. 1891. 111–120. 2 indexed citations
9.
Gotlieb, Arnaud, et al.. (2006). INKA: TEN YEARS AFTER THE FIRST IDEAS. 28(6). 25–31. 9 indexed citations
10.
Gotlieb, Arnaud, et al.. (2006). Goal-oriented test data generation for pointer programs. Information and Software Technology. 49(9-10). 1030–1044. 8 indexed citations
11.
Gotlieb, Arnaud, et al.. (2006). Goal-Oriented Test Data Generation for Programs with Pointer Variables. 1. 449–454. 7 indexed citations
12.
Botella, Bernard, Arnaud Gotlieb, & Claude Michel. (2005). Symbolic execution of floating‐point computations. Software Testing Verification and Reliability. 16(2). 97–121. 45 indexed citations
13.
Gotlieb, Arnaud, et al.. (2005). Constraint-based test data generation in the presence of stack-directed pointers. 313–316. 7 indexed citations
14.
Gotlieb, Arnaud & Bernard Botella. (2004). Automated metamorphic testing. 34–40. 69 indexed citations
15.
Botella, Bernard, et al.. (2002). Utilisation des contraintes pour la génération automatique de cas de test structurels. 21. 1163–1187. 1 indexed citations
16.
Gotlieb, Arnaud, Bernard Botella, & Michel Rueher. (1998). Automatic test data generation using constraint solving techniques. ACM SIGSOFT Software Engineering Notes. 23(2). 53–62. 36 indexed citations
17.
Gotlieb, Arnaud, Bernard Botella, & Michel Rueher. (1998). Automatic test data generation using constraint solving techniques. 53–62. 150 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by P. Stocks Breakdown of academic impact, for papers by David Bushnell Breakdown of academic impact, for papers by S. Gerhart Breakdown of academic impact, for papers by Sergiy Boroday Breakdown of academic impact, for papers by Aynur Abdurazik Breakdown of academic impact, for papers by Ru-Gang Xu Breakdown of academic impact, for papers by Virgile Prévosto Breakdown of academic impact, for papers by Nigel Tracey Breakdown of academic impact, for papers by Kalpesh Kapoor Breakdown of academic impact, for papers by Jonas Mellin
Rankless by CCL
2026