Bernard Botella
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
1997–2016
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | TAP | Your Proof Fails? Testing Helps to Find the Reason. | Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand |
| 2014 | SCAM | Instrumentation of Annotated C Programs for Test Generation. | Guillaume Petiot, Bernard Botella, Jacques Julliand, Nikolai Kosmatov, Julien Signoles |
| 2012 | TAP | A Lesson on Structural Testing with PathCrawler-online.com. | Nikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger, Omar Chebaro |
| 2011 | ICST | Online Test Generation with PathCrawler: Tool Demo. | Nikolai Kosmatov, Bernard Botella, Muriel Roger, Nicky Williams |
| 2010 | ICST | Explanation-Based Generalization of Infeasible Path. | Mickal Delahaye, Bernard Botella, Arnaud Gotlieb |
| 2009 | ICSE | Automating Structural Testing of C Programs: Experience with PathCrawler. | Bernard Botella, Mickal Delahaye, Stphane Hong Tuan Ha, Nikolai Kosmatov, Patricia Mouy, Muriel Roger, Nicky Williams |
| 2005 | COMPSAC | Goal-Oriented Test Data Generation for Programs with Pointer Variables. | Arnaud Gotlieb, Tristan Denmat, Bernard Botella |
| 2003 | COMPSAC | Automated Metamorphic Testing. | Arnaud Gotlieb, Bernard Botella |
| 1998 | ISSTA | Automatic Test Data Generation Using Constraint Solving Techniques. | Arnaud Gotlieb, Bernard Botella, Michel Rueher |
| 1997 | ICCS | Modelling and Simulating Human Behaviours with Conceptual Graphs. | Corinne Bos, Bernard Botella, Philippe Vanheeghe |