`Travelled to:`

1 × Austria

1 × France

1 × Italy

1 × Norway

1 × United Kingdom

`Collaborated with:`

∅ A.Arnould P.Mouy N.Williams P.Dauchy P.L.Gall M.Aiguier C.Boin

`Talks about:`

test (8) algebra (4) specif (4) select (4) data (4) generat (3) set (3) function (2) automat (2) path (2)

## Person: Bruno Marre

### DBLP: Marre:Bruno

### Contributed to:

### Wrote 7 papers:

- ICST-2008-MouyMWG #generative #testing
- Generation of All-Paths Unit Test with Function Calls (PM, BM, NW, PLG), pp. 32–41.
- FATES-2005-AiguierABGM #algebra #axiom #specification #testing
- Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms (MA, AA, CB, PLG, BM), pp. 203–217.
- ASE-2004-WilliamsMM #c #generative #on the fly #testing
- On-the-Fly Generation of K-Path Tests for C Functions (NW, BM, PM), pp. 290–293.
- ASE-2000-MarreA #generative #sequence #testing
- Test Sequences Generation from LUSTRE Descriptions: GATeL (BM, AA), p. 229–?.
- ESEC-1991-DauchyM #algebra #automation #specification #testing
- Test Data Selection From Algebraic Specifications: Application to an Automatic Subway Module (PD, BM), pp. 80–100.
- ICLP-1991-Marre #algebra #automation #logic programming #specification #testing #towards #using
- Toward Automatic Test Data Set Selection Using Algebraic Specifications and Logic Programming (BM), pp. 202–219.
- TAPSOFT-1995-Marre #algebra #named #specification #testing
- LOFT: A Tool for Assisting Selection of Test Data Sets from Algebraic Specifications (BM), pp. 799–800.