Bernard Botella

发表

Arnaud Gotlieb, Bernard Botella, Claude Michel, 2006, Softw. Test. Verification Reliab..

Arnaud Gotlieb, Michel Rueher, Bernard Botella, 1998, ISSTA '98.

N. Kosmatov, J. Julliand, Alain Giorgetti, 2018, Formal Aspects of Computing.

Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand, 2015, TAP@STAF.

Arnaud Gotlieb, Bernard Botella, A. Gotlieb, 2003, Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003.

Yannick Moy, Nikolai Kosmatov, Julien Signoles, 2012 .

Nikolai Kosmatov, Julien Signoles, Jacques Julliand, 2014, 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation.

Nikolai Kosmatov, Mickaël Delahaye, Patricia Mouy, 2009, 2009 ICSE Workshop on Automation of Software Test.