BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Marre:Bruno

Contributed to:

ICST 20082008
FATES 20052005
ASE 20042004
ASE 20002000
ESEC 19911991
ICLP 19911991
TAPSOFT CAAP/FASE 19951995

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.