Bernard Botella

According to our database, Bernard Botella authored at least 19 papers between 1997 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

How testing helps to diagnose proof failures.

Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand

Formal Aspects Comput., 2018

2016

Your Proof Fails? Testing Helps to Find the Reason.

Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand

Proceedings of the Tests and Proofs - 10th International Conference, 2016

2015

Infeasible path generalization in dynamic symbolic execution.

Mickaël Delahaye, Bernard Botella, Arnaud Gotlieb

Inf. Softw. Technol., 2015

2014

Instrumentation of Annotated C Programs for Test Generation.

Guillaume Petiot, Bernard Botella, Jacques Julliand, Nikolai Kosmatov, Julien Signoles

Proceedings of the 14th IEEE International Working Conference on Source Code Analysis and Manipulation, 2014

2013

Structural Unit Testing as a Service with PathCrawler-online.com.

Nikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger

Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013

2012

A Lesson on Structural Testing with PathCrawler-online.com.

Nikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger, Omar Chebaro

Proceedings of the Tests and Proofs - 6th International Conference, 2012

2011

Online Test Generation with PathCrawler: Tool Demo.

Nikolai Kosmatov, Bernard Botella, Muriel Roger, Nicky Williams

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2010

Explanation-Based Generalization of Infeasible Path.

Mickaël Delahaye, Bernard Botella, Arnaud Gotlieb

Proceedings of the Third International Conference on Software Testing, 2010

2009

Modelling dynamic memory management in constraint-based testing.

Florence Charreteur, Bernard Botella, Arnaud Gotlieb

J. Syst. Softw., 2009

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

Proceedings of the 4th International Workshop on Automation of Software Test, 2009

2007

Goal-oriented test data generation for pointer programs.

Arnaud Gotlieb, Tristan Denmat, Bernard Botella

Inf. Softw. Technol., 2007

2006

Symbolic execution of floating-point computations.

Bernard Botella, Arnaud Gotlieb, Claude Michel

Softw. Test. Verification Reliab., 2006

2005

Constraint-based test data generation in the presence of stack-directed pointers.

Arnaud Gotlieb, Tristan Denmat, Bernard Botella

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Goal-Oriented Test Data Generation for Programs with Pointer Variables.

Arnaud Gotlieb, Tristan Denmat, Bernard Botella

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2003

Automated Metamorphic Testing.

Arnaud Gotlieb, Bernard Botella

Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

2002

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

2000

A CLP Framework for Computing Structural Test Data.

Arnaud Gotlieb, Bernard Botella, Michel Rueher

Proceedings of the Computational Logic, 2000

1998

Automatic Test Data Generation Using Constraint Solving Techniques.

Arnaud Gotlieb, Bernard Botella, Michel Rueher

Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, 1998

1997

Modelling and Simulating Human Behaviours with Conceptual Graphs.

Corinne Bos, Bernard Botella, Philippe Vanheeghe

Proceedings of the Conceptual Structures: Fulfilling Peirce's Dream, 1997