Bernard Botella

21 papers A* 1A 2B 1C 1Misc 1Journal 7Unranked 8
YearRankTypeTitle / Venue / Authors
2024 — conf
Defining Operational Design Domain for Autonomous Systems: A Domain-Agnostic and Risk-Based Approach.
SOSE
Morayo Adedjouma, Bernard Botella, Javier Ibañez-Guzmán, Kevin Mantissa, Chauk-Mean Proum, Asma Smaoui
2018 J jnl
How testing helps to diagnose proof failures.
Formal Aspects Comput.
Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand
2016 — conf
Your Proof Fails? Testing Helps to Find the Reason.
TAP@STAF
Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand
2015 J jnl
Infeasible path generalization in dynamic symbolic execution.
Inf. Softw. Technol.
Mickaël Delahaye, Bernard Botella, Arnaud Gotlieb
2015 J jnl
Your Proof Fails? Testing Helps to Find the Reason.
CoRR
Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand
2014 C conf
Instrumentation of Annotated C Programs for Test Generation.
SCAM
Guillaume Petiot, Bernard Botella, Jacques Julliand, Nikolai Kosmatov, Julien Signoles
2013 — conf
Structural Unit Testing as a Service with PathCrawler-online.com.
SOSE
Nikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger
2012 — conf
A Lesson on Structural Testing with PathCrawler-online.com.
TAP@TOOLS
Nikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger, Omar Chebaro
2011 — conf
Online Test Generation with PathCrawler: Tool Demo.
ICST Workshops
Nikolai Kosmatov, Bernard Botella, Muriel Roger, Nicky Williams
2010 A conf
Explanation-Based Generalization of Infeasible Path.
ICST
Mickaël Delahaye, Bernard Botella, Arnaud Gotlieb
2009 — conf
Automating Structural Testing of C Programs: Experience with PathCrawler.
AST@ICSE
Bernard Botella, Mickaël Delahaye, Stéphane Hong Tuan Ha, Nikolai Kosmatov, Patricia Mouy, Muriel Roger, Nicky Williams
2009 J jnl
Modelling dynamic memory management in constraint-based testing.
J. Syst. Softw.
Florence Charreteur, Bernard Botella, Arnaud Gotlieb
2007 J jnl
Goal-oriented test data generation for pointer programs.
Inf. Softw. Technol.
Arnaud Gotlieb, Tristan Denmat, Bernard Botella
2006 J jnl
Symbolic execution of floating-point computations.
Softw. Test. Verification Reliab.
Bernard Botella, Arnaud Gotlieb, Claude Michel
2005 A* conf
Constraint-based test data generation in the presence of stack-directed pointers.
ASE
Arnaud Gotlieb, Tristan Denmat, Bernard Botella
2005 — conf
Goal-Oriented Test Data Generation for Programs with Pointer Variables.
COMPSAC (1)
Arnaud Gotlieb, Tristan Denmat, Bernard Botella
2003 B conf
Automated Metamorphic Testing.
COMPSAC
Arnaud Gotlieb, Bernard Botella
2002 J jnl
Utilisation des contraintes pour la génération automatique de cas de test structurels.
Tech. Sci. Informatiques
Bernard Botella, Arnaud Gotlieb, Claude Michel, Michel Rueher, Patrick Taillibert
2000 — conf
A CLP Framework for Computing Structural Test Data.
Computational Logic
Arnaud Gotlieb, Bernard Botella, Michel Rueher
1998 A conf
Automatic Test Data Generation Using Constraint Solving Techniques.
ISSTA
Arnaud Gotlieb, Bernard Botella, Michel Rueher
1997 Misc conf
Modelling and Simulating Human Behaviours with Conceptual Graphs.
ICCS
Corinne Bos, Bernard Botella, Philippe Vanheeghe