| HAL-Inria | Publications, software ... of Inria's scientists |
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.
Cited literature [17 references]
https://hal.inria.fr/hal-01055253
Contributor : Hal Ifip <>
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
Contributor : Hal Ifip <>
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
File
it.pdf
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution 4.0 International License