Achieving high coverage for floating-point code via unconstrained programming.

Zhoulai Fu, Zhendong Su

Browse the full PLDI paper archive.