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