Achieving High Coverage for Floating-point Code via Unconstrained Programming (Extended Version).
Zhoulai FuZhendong SuPublished in: CoRR (2017)
Keyphrases
- floating point
- achieving high
- square root
- fixed point
- program code
- sparse matrices
- programming language
- source code
- graphics processing units
- code generation
- oracle database g express edition
- interval arithmetic
- instruction set
- program understanding
- fully functional
- general purpose
- fast fourier transform
- data structure