Sign in
Floating-point symbolic execution: a case study in n-version programming.
Daniel Liew
Daniel Schemmel
Cristian Cadar
Alastair F. Donaldson
Rafael Zähl
Klaus Wehrle
Published in:
ASE (2017)
Keyphrases
</>
floating point
symbolic execution
test data generation
test generation
static analysis
fixed point
specification language
source code
programming language
instruction set
sparse matrices
floating point arithmetic
case study
data flow
distributed systems