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. Recently there has been an upsurge of interest in both, Search

Year: 2010
OAI identifier: oai:CiteSeerX.psu:
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.