Bernard Botella

	2010
12		Mickaël Delahaye, Bernard Botella, Arnaud Gotlieb: Explanation-Based Generalization of Infeasible Path. ICST 2010: 215-224
	2009
11		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: 70-78
10		Florence Charreteur, Bernard Botella, Arnaud Gotlieb: Modelling dynamic memory management in constraint-based testing. Journal of Systems and Software 82(11): 1755-1766 (2009)
	2007
9		Arnaud Gotlieb, Tristan Denmat, Bernard Botella: Goal-oriented test data generation for pointer programs. Information & Software Technology 49(9-10): 1030-1044 (2007)
	2006
8		Bernard Botella, Arnaud Gotlieb, Claude Michel: Symbolic execution of floating-point computations. Softw. Test., Verif. Reliab. 16(2): 97-121 (2006)
	2005
7		Arnaud Gotlieb, Tristan Denmat, Bernard Botella: Constraint-based test data generation in the presence of stack-directed pointers. ASE 2005: 313-316
6		Arnaud Gotlieb, Tristan Denmat, Bernard Botella: Goal-Oriented Test Data Generation for Programs with Pointer Variables. COMPSAC (1) 2005: 449-454
	2003
5		Arnaud Gotlieb, Bernard Botella: Automated Metamorphic Testing. COMPSAC 2003: 34-40
	2002
4		Bernard Botella, Arnaud Gotlieb, Claude Michel, Michel Rueher, Patrick Taillibert: Utilisation des contraintes pour la génération automatique de cas de test structurels. Technique et Science Informatiques 21(9): 1163-1187 (2002)
	2000
3		Arnaud Gotlieb, Bernard Botella, Michel Rueher: A CLP Framework for Computing Structural Test Data. Computational Logic 2000: 399-413
	1998
2		Arnaud Gotlieb, Bernard Botella, Michel Rueher: Automatic Test Data Generation Using Constraint Solving Techniques. ISSTA 1998: 53-62
	1997
1		Corinne Bos, Bernard Botella, Philippe Vanheeghe: Modelling and Simulating Human Behaviours with Conceptual Graphs. ICCS 1997: 275-289

Coauthor Index

1	Corinne Bos	[1]
2	Florence Charreteur	[10]
3	Mickaël Delahaye	[11] [12]
4	Tristan Denmat	[6] [7] [9]
5	Arnaud Gotlieb	[2] [3] [4] [5] [6] [7] [8] [9] [10] [12]
6	Stéphane Hong Tuan Ha	[11]
7	Nikolai Kosmatov	[11]
8	Claude Michel	[4] [8]
9	Patricia Mouy	[11]
10	Muriel Roger	[11]
11	Michel Rueher	[2] [3] [4]
12	Patrick Taillibert	[4]
13	Philippe Vanheeghe	[1]
14	Nicky Williams	[11]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page