Symbolic execution of floating-point computations.

Bernard Botella Arnaud Gotlieb Claude Michel

Published in: Softw. Test. Verification Reliab. (2006)

Keyphrases

floating point
symbolic execution
static analysis
test generation
test data generation
specification language
fixed point
source code
data flow
instruction set
floating point arithmetic
sparse matrices
description language
training data
monitoring system
data management
programming language