UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

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

Lakhotia, K; Tillmann, N; Harman, M; de Halleux, J; (2010) FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution. In: Petrenko, A and Simao, A and Maldonado, JC, (eds.) TESTING SOFTWARE AND SYSTEMS. (pp. 142 - 157). SPRINGER-VERLAG BERLIN

Full text not available from this repository.

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.

Type: Proceedings paper
Title: FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution
Event: 22nd IFIP International Conference on Testing Software and Systems
Location: Natal, BRAZIL
Dates: 2010-11-08 - 2010-11-10
ISBN-13: 978-3-642-16572-6
Keywords: GENERATION, SOFTWARE
URI: http://discovery.ucl.ac.uk/id/eprint/1301034
Downloads since deposit
0Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item