Bringing freedom in variable choice when searching counter-examples in floating point programs

Devs

Bringing freedom in variable choice when searching counter-examples in floating point programs | Read Paper on Bytez