Bruno Marre

According to our database1, Bruno Marre
  • authored at least 18 papers between 1989 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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.
Electr. Notes Theor. Comput. Sci., 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
Test Selection Strategies for Lustre Descriptions in GATeL.
Electr. Notes Theor. Comput. Sci., 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
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.
Journal of Systems and Software, 1993

1991
Software testing based on formal specifications: a theory and a tool.
Software Engineering Journal, 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...