Modelling and Simulating Human Behaviours with Conceptual Graphs. - Corinne Bos; Bernard Botella; Philippe Vanheeghe (ICCS, 1997)

Automatic Test Data Generation Using Constraint Solving Techniques. - Arnaud Gotlieb; Bernard Botella; Michel Rueher (ISSTA, 1998)

A CLP Framework for Computing Structural Test Data. - Arnaud Gotlieb; Bernard Botella; Michel Rueher (Computational Logic, 2000)

Utilisation des contraintes pour la génération automatique de cas de test structurels. - Bernard Botella; Arnaud Gotlieb; Claude Michel; Michel Rueher; Patrick Taillibert (Tech. Sci. Informatiques, 2002)

Automated Metamorphic Testing. - Arnaud Gotlieb; Bernard Botella (COMPSAC, 2003)

Goal-Oriented Test Data Generation for Programs with Pointer Variables. - Arnaud Gotlieb; Tristan Denmat; Bernard Botella (COMPSAC (1), 2005)

Constraint-based test data generation in the presence of stack-directed pointers. - Arnaud Gotlieb; Tristan Denmat; Bernard Botella (ASE, 2005)

Symbolic execution of floating-point computations. - Bernard Botella; Arnaud Gotlieb; Claude Michel (Softw. Test. Verification Reliab., 2006)

Goal-oriented test data generation for pointer programs. - Arnaud Gotlieb; Tristan Denmat; Bernard Botella (Inf. Softw. Technol., 2007)

Automating Structural Testing of C Programs: Experience with PathCrawler. - Bernard Botella; Mickaël Delahaye; Stéphane Hong Tuan Ha; Nikolai Kosmatov; Patricia Mouy; Muriel Roger; Nicky Williams (AST, 2009)

Modelling dynamic memory management in constraint-based testing. - Florence Charreteur; Bernard Botella; Arnaud Gotlieb (J. Syst. Softw., 2009)

Explanation-Based Generalization of Infeasible Path. - Mickaël Delahaye; Bernard Botella; Arnaud Gotlieb (ICST, 2010)

Online Test Generation with PathCrawler: Tool Demo. - Nikolai Kosmatov; Bernard Botella; Muriel Roger; Nicky Williams (ICST Workshops, 2011)

A Lesson on Structural Testing with PathCrawler-online.com. - Nikolai Kosmatov; Nicky Williams; Bernard Botella; Muriel Roger; Omar Chebaro (TAP@TOOLS, 2012)

Structural Unit Testing as a Service with PathCrawler-online.com. - Nikolai Kosmatov; Nicky Williams; Bernard Botella; Muriel Roger (SOSE, 2013)

Instrumentation of Annotated C Programs for Test Generation. - Guillaume Petiot; Bernard Botella; Jacques Julliand; Nikolai Kosmatov; Julien Signoles (SCAM, 2014)

Infeasible path generalization in dynamic symbolic execution. - Mickaël Delahaye; Bernard Botella; Arnaud Gotlieb (Inf. Softw. Technol., 2015)

Your Proof Fails? Testing Helps to Find the Reason. - Guillaume Petiot; Nikolai Kosmatov; Bernard Botella; Alain Giorgetti; Jacques Julliand (TAP@STAF, 2016)

How testing helps to diagnose proof failures. - Guillaume Petiot; Nikolai Kosmatov; Bernard Botella; Alain Giorgetti; Jacques Julliand (Formal Aspects Comput., 2018)

Defining Operational Design Domain for Autonomous Systems: A Domain-Agnostic and Risk-Based Approach. - Morayo Adedjouma; Bernard Botella; Javier Ibañez-Guzmán; Kevin Mantissa; Chauk-Mean Proum; Asma Smaoui (SOSE, 2024)