Searching input values hitting suspicious Intervals in programs with floating-point operations.

Hélène Collavizza Claude Michel Michel Rueher

Published in: CoRR (2015)

Keyphrases

floating point
floating point arithmetic
square root
fixed point
real numbers
instruction set
application programs
sparse matrices
anomaly detection
hardware and software
data structure
pairwise
input data
markov chain
computer systems