Symbolic Execution of Floating-point Programs: How far are we?

Guofeng Zhang Zhenbang Chen Ziqi Shuai

Published in: APSEC (2022)

Keyphrases

symbolic execution
floating point
static analysis
test generation
test data generation
specification language
source code
fixed point
data flow
sparse matrices
instruction set
floating point arithmetic
simulated annealing algorithm
formal specification
energy function
training data
case study