Hélène Collavizza, Claude Michel, Olivier Ponsini, Michel Rueher. Generating test cases inside suspicious intervals for floating-point number programs. In Vijay Ganesh, Nicky Williams, editors, Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis, CSTVA 2014, Hyderabad, India, May 31, 2014. pages 7-11, ACM, 2014. [doi]
Abstract is missing.