Skip to Main content Skip to Navigation
Conference papers

FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution

Abstract : Recently there has been an upsurge of interest in both, Search-Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementary strengths and weaknesses, making it a natural choice to explore the degree to which the strengths of one can be exploited to offset the weakness of the other. This paper introduces an augmented version of DSE that uses a SBST-based approach to handling floating point computations, which are known to be problematic for vanilla DSE. The approach has been implemented as a plug in for the Microsoft Pex DSE testing tool. The paper presents results from both, standard evaluation benchmarks, and two open source programs.
Document type :
Conference papers
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Tuesday, August 12, 2014 - 9:10:40 AM
Last modification on : Thursday, July 4, 2019 - 2:30:03 PM
Long-term archiving on: : Wednesday, November 26, 2014 - 10:42:17 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jonathan Halleux. FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution. 22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.142-157, ⟨10.1007/978-3-642-16573-3_11⟩. ⟨hal-01055253⟩



Record views


Files downloads