Efficient generation of error-inducing floating-point inputs via symbolic execution.

Hui Guo, Cindy Rubio-Gonzlez

Browse the full ICSE paper archive.