Skip to content

Bruno Marre

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

7

Venues

6

Active years

1991–2018

Best venue rank

Unranked

Where they publish

Papers

7 indexed papers, newest first.

YearVenueTitleAuthors
2018ISoLATest Case Generation with PathCrawler/LTest: How to Automate an Industrial Testing Process.Sbastien Bardin, Nikolai Kosmatov, Bruno Marre, David Mentr, Nicky Williams
2017CPAIORSharpening Constraint Programming Approaches for Bit-Vector Theory.Zakaria Chihani, Bruno Marre, Franois Bobot, Sbastien Bardin
2010CPImproving the Floating Point Addition and Subtraction Constraints.Bruno Marre, Claude Michel
2008ICSTGeneration of All-Paths Unit Test with Function Calls.Patricia Mouy, Bruno Marre, Nicky Williams, Pascale Le Gall
2005EDCCPathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis.Nicky Williams, Bruno Marre, Patricia Mouy, Muriel Roger
1996EDCCDynamic Testing from Bounded Data Type Specifications.Agns Arnould, Pascale Le Gall, Bruno Marre
1991ICLPToward Automatic Test Data Set Selection Using Algebraic Specifications and Logic Programming.Bruno Marre