Bruno Marre

	2010
15		Bruno Marre, Claude Michel: Improving the Floating Point Addition and Subtraction Constraints. CP 2010: 360-367
14		Benjamin Blanc, Christophe Junke, Bruno Marre, Pascale Le Gall, Olivier Andrieu: Handling State-Machines Specifications with GATeL. Electr. Notes Theor. Comput. Sci. 264(3): 3-17 (2010)
	2008
13		Patricia Mouy, Bruno Marre, Nicky Williams, Pascale Le Gall: Generation of All-Paths Unit Test with Function Calls. ICST 2008: 32-41
	2005
12		Nicky Williams, Bruno Marre, Patricia Mouy, Muriel Roger: PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis. EDCC 2005: 281-292
11		Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre: Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms. FATES 2005: 203-217
10		Bruno Marre, Benjamin Blanc: Test Selection Strategies for Lustre Descriptions in GATeL. Electr. Notes Theor. Comput. Sci. 111: 93-111 (2005)
	2004
9		Nicky Williams, Bruno Marre, Patricia Mouy: On-the-Fly Generation of K-Path Tests for C Functions. ASE 2004: 290-293
	2000
8		Bruno Marre, Agnès Arnould: Test Sequences Generation from LUSTRE Descriptions: GATeL. ASE 2000: 229-
	1996
7		Agnès Arnould, Pascale Le Gall, Bruno Marre: Dynamic Testing from Bounded Data Type Specifications. EDCC 1996: 285-302
	1995
6		Bruno Marre: LOFT: A Tool for Assisting Selection of Test Data Sets from Algebraic Specifications. TAPSOFT 1995: 799-800
	1993
5		Pierre Dauchy, Marie-Claude Gaudel, Bruno Marre: Using algebraic specifications in software testing: A case study on the software of an automatic subway. Journal of Systems and Software 21(3): 229-244 (1993)
	1991
4		Gilles Bernot, Marie-Claude Gaudel, Bruno Marre: A Formal Approach to Software Testing. AMAST 1991: 243-253
3		Pierre Dauchy, Bruno Marre: Test Data Selection From Algebraic Specifications: Application to an Automatic Subway Module. ESEC 1991: 80-100
2		Bruno Marre: Toward Automatic Test Data Set Selection Using Algebraic Specifications and Logic Programming. ICLP 1991: 202-219
	1989
1		Bruno Marre: Génération automatique de jeux de tests, une solution: Spécifications Algébriques et Programmation Logique. SPLT 1989: 213-

Coauthor Index

1	Marc Aiguier	[11]
2	Olivier Andrieu	[14]
3	Agnès Arnould	[7] [8] [11]
4	Gilles Bernot	[4]
5	Benjamin Blanc	[10] [14]
6	Clément Boin	[11]
7	Pierre Dauchy	[3] [5]
8	Pascale Le Gall	[7] [11] [13] [14]
9	Marie-Claude Gaudel	[4] [5]
10	Christophe Junke	[14]
11	Claude Michel	[15]
12	Patricia Mouy	[9] [12] [13]
13	Muriel Roger	[12]
14	Nicky Williams	[9] [12] [13]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page