Bruno Marre

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Test Case Generation with PathCrawler/LTest: How to Automate an Industrial Testing Process.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

2017
Real Behavior of Floating Point.
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.
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.
Autom. Softw. Eng., 2014

2010
Handling State-Machines Specifications with GATeL.
Proceedings of the Sixth Workshop on Model-Based Testing, 2010

Improving the Floating Point Addition and Subtraction Constraints.
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2008
Generation of All-Paths Unit Test with Function Calls.
Proceedings of the First International Conference on Software Testing, 2008

2005
Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms.
Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis.
Proceedings of the Dependable Computing, 2005

2004
Test Selection Strategies for Lustre Descriptions in GATeL.
Proceedings of the Workshop on Model Based Testing, 2004

On-the-Fly Generation of K-Path Tests for C Functions.
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

2000
Test Sequences Generation from LUSTRE Descriptions: GATeL.
Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

1996
Dynamic Testing from Bounded Data Type Specifications.
Proceedings of the Dependable Computing, 1996

1995
LOFT: A Tool for Assisting Selection of Test Data Sets from Algebraic Specifications.
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.
J. Syst. Softw., 1993

1991
Software testing based on formal specifications: a theory and a tool.
Softw. Eng. J., 1991

Toward Automatic Test Data Set Selection Using Algebraic Specifications and Logic Programming.
Proceedings of the Logic Programming, 1991

Test Data Selection From Algebraic Specifications: Application to an Automatic Subway Module.
Proceedings of the ESEC '91, 1991

A Formal Approach to Software Testing.
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.
Proceedings of the SPLT'89, 1989


  Loading...