Location of Repository

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

By Kiran Lakhotia, Nikolai Tillmann, Mark Harman and Jonathan De Halleux

Abstract

Abstract. Recently there has been an upsurge of interest in both, Search

Year: 2010
OAI identifier: oai:CiteSeerX.psu:10.1.1.170.492
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.dcs.kcl.ac.uk/staff... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.