Bruno Marre

Publication Activity (10 Years)

Years Active: 1989-2018
Publications (10 Years): 3

Top Topics

Test Case Generation

Generation Algorithm

Np Hard Problems

Constraint Solver

Top Venues

Autom. Softw. Eng.

Publications

Sébastien Bardin, Nikolai Kosmatov, Bruno Marre, David Mentré, Nicky Williams
Test Case Generation with PathCrawler/LTest: How to Automate an Industrial Testing Process. ISoLA (4) (2018)
François Bobot, Zakaria Chihani, Bruno Marre
Real Behavior of Floating Point. SMT (2017)
Zakaria Chihani, Bruno Marre, François Bobot, Sébastien Bardin
Sharpening Constraint Programming Approaches for Bit-Vector Theory. CPAIOR (2017)
Omar Chebaro, Pascal Cuoq, Nikolai Kosmatov, Bruno Marre, Anne Pacalet, Nicky Williams, Boris Yakobowski
Behind the scenes in SANTE: a combination of static and dynamic analyses. Autom. Softw. Eng. 21 (1) (2014)
Benjamin Blanc, Christophe Junke, Bruno Marre, Pascale Le Gall, Olivier Andrieu
Handling State-Machines Specifications with GATeL. Electron. Notes Theor. Comput. Sci. 264 (3) (2010)
Bruno Marre, Claude Michel
Improving the Floating Point Addition and Subtraction Constraints. CP (2010)
Patricia Mouy, Bruno Marre, Nicky Williams, Pascale Le Gall
Generation of All-Paths Unit Test with Function Calls. ICST (2008)
Marc 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)
Nicky Williams, Bruno Marre, Patricia Mouy, Muriel Roger
PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis. EDCC (2005)
Bruno Marre, Benjamin Blanc
Test Selection Strategies for Lustre Descriptions in GATeL. Electron. Notes Theor. Comput. Sci. 111 (2005)
Nicky Williams, Bruno Marre, Patricia Mouy
On-the-Fly Generation of K-Path Tests for C Functions. ASE (2004)
Bruno Marre, Agnès Arnould
Test Sequences Generation from LUSTRE Descriptions: GATeL. ASE (2000)
Agnès Arnould, Pascale Le Gall, Bruno Marre
Dynamic Testing from Bounded Data Type Specifications. EDCC (1996)
Bruno Marre
LOFT: A Tool for Assisting Selection of Test Data Sets from Algebraic Specifications. TAPSOFT (1995)
Pierre Dauchy, Marie-Claude Gaudel, Bruno Marre
Using algebraic specifications in software testing: A case study on the software of an automatic subway. J. Syst. Softw. 21 (3) (1993)
Pierre Dauchy, Bruno Marre
Test Data Selection From Algebraic Specifications: Application to an Automatic Subway Module. ESEC (1991)
Gilles Bernot, Marie-Claude Gaudel, Bruno Marre
Software testing based on formal specifications: a theory and a tool. Softw. Eng. J. 6 (6) (1991)
Bruno Marre
Toward Automatic Test Data Set Selection Using Algebraic Specifications and Logic Programming. ICLP (1991)
Gilles Bernot, Marie-Claude Gaudel, Bruno Marre
A Formal Approach to Software Testing. AMAST (1991)
Bruno Marre
Génération automatique de jeux de tests, une solution: Spécifications Algébriques et Programmation Logique. SPLT (1989)