Bruno Marre

According to our database, Bruno Marre authored at least 20 papers between 1989 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Test Case Generation with PathCrawler/LTest: How to Automate an Industrial Testing Process.

Sébastien Bardin, Nikolai Kosmatov, Bruno Marre, David Mentré, Nicky Williams

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

2017

Real Behavior of Floating Point.

François Bobot, Zakaria Chihani, Bruno Marre

Proceedings of the 15th International Workshop on Satisfiability Modulo Theories affiliated with the International Conference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 22, 2017

Sharpening Constraint Programming Approaches for Bit-Vector Theory.

Zakaria Chihani, Bruno Marre, François Bobot, Sébastien Bardin

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

2014

Behind the scenes in SANTE: a combination of static and dynamic analyses.

Omar Chebaro, Pascal Cuoq, Nikolai Kosmatov, Bruno Marre, Anne Pacalet, Nicky Williams, Boris Yakobowski

Autom. Softw. Eng., 2014

2010

Handling State-Machines Specifications with GATeL.

Benjamin Blanc, Christophe Junke, Bruno Marre, Pascale Le Gall, Olivier Andrieu

Proceedings of the Sixth Workshop on Model-Based Testing, 2010

Improving the Floating Point Addition and Subtraction Constraints.

Bruno Marre, Claude Michel

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2008

Generation of All-Paths Unit Test with Function Calls.

Patricia Mouy, Bruno Marre, Nicky Williams, Pascale Le Gall

Proceedings of the First International Conference on Software Testing, 2008

2005

Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms.

Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre

Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis.

Nicky Williams, Bruno Marre, Patricia Mouy, Muriel Roger

Proceedings of the Dependable Computing, 2005

2004

Test Selection Strategies for Lustre Descriptions in GATeL.

Bruno Marre, Benjamin Blanc

Proceedings of the Workshop on Model Based Testing, 2004

On-the-Fly Generation of K-Path Tests for C Functions.

Nicky Williams, Bruno Marre, Patricia Mouy

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

2000

Test Sequences Generation from LUSTRE Descriptions: GATeL.

Bruno Marre, Agnès Arnould

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

1996

Dynamic Testing from Bounded Data Type Specifications.

Agnès Arnould, Pascale Le Gall, Bruno Marre

Proceedings of the Dependable Computing, 1996

1995

LOFT: A Tool for Assisting Selection of Test Data Sets from Algebraic Specifications.

Bruno Marre

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

1993

Using algebraic specifications in software testing: A case study on the software of an automatic subway.

Pierre Dauchy, Marie-Claude Gaudel, Bruno Marre

J. Syst. Softw., 1993

1991

Software testing based on formal specifications: a theory and a tool.

Gilles Bernot, Marie-Claude Gaudel, Bruno Marre

Softw. Eng. J., 1991

Toward Automatic Test Data Set Selection Using Algebraic Specifications and Logic Programming.

Bruno Marre

Proceedings of the Logic Programming, 1991

Test Data Selection From Algebraic Specifications: Application to an Automatic Subway Module.

Pierre Dauchy, Bruno Marre

Proceedings of the ESEC '91, 1991

A Formal Approach to Software Testing.

Gilles Bernot, Marie-Claude Gaudel, Bruno Marre

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1989

Génération automatique de jeux de tests, une solution: Spécifications Algébriques et Programmation Logique.

Bruno Marre

Proceedings of the SPLT'89, 1989