Login / Signup
ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory - (Competition Contribution).
Mikhail Y. R. Gadelha
Rafael Menezes
Felipe R. Monteiro
Lucas C. Cordeiro
Denis A. Nicole
Published in:
FASE (2020)
Keyphrases
</>
floating point
test generation
test cases
fixed point
symbolic execution
design automation
sparse matrices
floating point arithmetic
software testing
instruction set
case study
high quality
sufficient conditions
static analysis
quality assurance