Solving the generalized mask constraint for test generation of binary floating point add operation.

DOI10.1016/S0304-3975(02)00225-6zbMath1064.68008OpenAlexW1987248359WikidataQ106206644 ScholiaQ106206644MaRDI QIDQ1853639

Abraham Ziv, Laurent Fournier

Publication date: 21 January 2003

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(02)00225-6

zbMATH Keywords

Floating pointTest generation

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07)

Related Items (1)

Computing the minimum DNF representation of Boolean functions defined by intervals

Cites Work

• Unnamed Item

This page was built for publication: Solving the generalized mask constraint for test generation of binary floating point add operation.