( en | de | ru )

 

Disambiguation of "Marre, Bruno"

Author of the publication

copydeleteadd this publication to your clipboard
Improving the Floating Point Addition and Subtraction Constraints.

, and . CP, volume 6308 of Lecture Notes in Computer Science, page 360-367. Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Susanne Marré

Birgit Marré

Angela Marré-Lippitz

Jörg Marrenbach

Heinrich Marré

 

Other publications of authors with the same name

Génération automatique de jeux de tests, une solution: Spécifications Algébriques et Programmation Logique.. SPLT, page 213-. (1989)Improving the Floating Point Addition and Subtraction Constraints., and . CP, volume 6308 of Lecture Notes in Computer Science, page 360-367. Springer, (2010)Test Sequences Generation from LUSTRE Descriptions: GATeL., and . ASE, page 229-. IEEE Computer Society, (2000)Dynamic Testing from Bounded Data Type Specifications., , and . EDCC, volume 1150 of Lecture Notes in Computer Science, page 285-302. Springer, (1996)Toward Automatic Test Data Set Selection Using Algebraic Specifications and Logic Programming.. ICLP, page 202-219. MIT Press, (1991)A Formal Approach to Software Testing., , and . AMAST, page 243-253. Springer, (1991)LOFT: A Tool for Assisting Selection of Test Data Sets from Algebraic Specifications.. TAPSOFT, volume 915 of Lecture Notes in Computer Science, page 799-800. Springer, (1995)Test Data Selection From Algebraic Specifications: Application to an Automatic Subway Module., and . ESEC, volume 550 of Lecture Notes in Computer Science, page 80-100. Springer, (1991)Real Behavior of Floating Point., , and . SMT, volume 1889 of CEUR Workshop Proceedings, page 50-62. CEUR-WS.org, (2017)