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

Browse the full FASE paper archive.