Generating Test Data Using Symbolic Execution: Challenges with Floating Point Data Types. - Justinas Prelgauskas; Eduardas Bareisa (ICIST, 2012)