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

Avi Ziv Laurent Fournier

Published in: Theor. Comput. Sci. (2003)

Keyphrases

floating point
test generation
sparse matrices
test cases
fixed point
design automation
symbolic execution
quality assurance
instruction set
software testing
higher order
static analysis
floating point arithmetic
rows and columns