Bruno Marre Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatricia Mouy, Bruno Marre, Nicky Williams, Pascale Le Gall: Generation of All-Paths Unit Test with Function Calls. ICST 2008: 32-41
2005
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicky Williams, Bruno Marre, Patricia Mouy, Muriel Roger: PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis. EDCC 2005: 281-292
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno Marre, Benjamin Blanc: Test Selection Strategies for Lustre Descriptions in GATeL. Electr. Notes Theor. Comput. Sci. 111: 93-111 (2005)
2004
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicky Williams, Bruno Marre, Patricia Mouy: On-the-Fly Generation of K-Path Tests for C Functions. ASE 2004: 290-293
2000
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno Marre, Agnès Arnould: Test Sequences Generation from LUSTRE Descriptions: GATeL. ASE 2000: 229-
1996
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAgnès Arnould, Pascale Le Gall, Bruno Marre: Dynamic Testing from Bounded Data Type Specifications. EDCC 1996: 285-302
1995
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno Marre: LOFT: A Tool for Assisting Selection of Test Data Sets from Algebraic Specifications. TAPSOFT 1995: 799-800
1993
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre 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
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Bernot, Marie-Claude Gaudel, Bruno Marre: A Formal Approach to Software Testing. AMAST 1991: 243-253
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Dauchy, Bruno Marre: Test Data Selection From Algebraic Specifications: Application to an Automatic Subway Module. ESEC 1991: 80-100
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno Marre: Toward Automatic Test Data Set Selection Using Algebraic Specifications and Logic Programming. ICLP 1991: 202-219
1989
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno Marre: Génération automatique de jeux de tests, une solution: Spécifications Algébriques et Programmation Logique. SPLT 1989: 213-

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sat Nov 28 20:06:51 2009 by Michael Ley (ley@uni-trier.de)