Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jonathan de Halleux. FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution. In Alexandre Petrenko, Adenilso da Silva Simão, José Carlos Maldonado, editors, Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings. Volume 6435 of Lecture Notes in Computer Science, pages 142-157, Springer, 2010. [doi]
Abstract is missing.