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:
2008
2005
20042000
1991
1991
1995Wrote 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.