Login / Signup
Symbolic Execution for Checking the Accuracy of Floating-Point Programs.
Jaideep Ramachandran
Corina S. Pasareanu
Thomas Wahl
Published in:
ACM SIGSOFT Softw. Eng. Notes (2015)
Keyphrases
</>
floating point
symbolic execution
static analysis
fixed point
source code
test data generation
test generation
artificial intelligence
specification language
general purpose
instruction set
case study
data model
data flow
sparse matrices