Automatic generation and verification of test-stable floating-point code.

Laura Titolo Mariano M. Moscato César A. Muñoz

Published in: CoRR (2020)

Keyphrases

floating point
fixed point
square root
sparse matrices
test generation
automatically generate
instruction set
test cases
model checking
pairwise
interval arithmetic