Bruno Marre

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