Bernard Botella

Publication Activity (10 Years)

Years Active: 1997-2018
Publications (10 Years): 2

Top Topics

Structural Information

Top Venues

Inf. Softw. Technol.

Formal Aspects Comput.

Publications

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