Generating test cases inside suspicious intervals for floating-point number programs.

Hlne Collavizza, Claude Michel, Olivier Ponsini, Michel Rueher

Browse the full ICSE paper archive.