On the public citation graph

Symbolic Testing of Floating-Point Bugs

https://doi.org/10.2139/ssrn.4797965
0 signed · 18 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-3-319-66266-4_14openalex-extracted
Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis
inferredcites →https://doi.org/10.1007/978-3-642-00768-2openalex-extracted
Tools and Algorithms for the Construction and Analysis of Systems
inferredcites →https://doi.org/10.1007/978-3-642-34188-5_18openalex-extracted
Symbolic Testing of OpenCL Code
inferredcites →https://doi.org/10.1007/s00165-014-0326-7openalex-extracted
Frama-C: A software analysis perspective
inferredcites →https://doi.org/10.1007/s11227-020-03469-7openalex-extracted
Error detection of arithmetic expressions
inferredcites →https://doi.org/10.1016/j.jss.2024.112242openalex-extracted
Symbolic execution of floating-point programs: How far are we?
inferredcites →https://doi.org/10.1109/apsec.2016.045openalex-extracted
The Floating-Point Extension of Symbolic Execution Engine for Bug Detection
inferredcites →https://doi.org/10.1109/apsec57359.2022.00030openalex-extracted
Symbolic Execution of Floating-point Programs: How far are we?
inferredcites →https://doi.org/10.1109/apsec57359.2022.00046openalex-extracted
NuMFUZZ: A Floating-Point Format Aware Fuzzer for Numerical Programs
inferredcites →https://doi.org/10.1109/apsec57359.2022.00052openalex-extracted
Detecting High Floating-Point Errors via Ranking Analysis
inferredcites →https://doi.org/10.1145/103162.103163openalex-extracted
What every computer scientist should know about floating-point arithmetic
inferredcites →https://doi.org/10.1145/1966445.1966475openalex-extracted
Symbolic crosschecking of floating-point and SIMD code
inferredcites →https://doi.org/10.1145/2480359.2429133openalex-extracted
Automatic detection of floating-point exceptions
inferredcites →https://doi.org/10.1145/3182657openalex-extracted
A Survey of Symbolic Execution Techniques
inferredcites →https://doi.org/10.1145/3369583.3392673openalex-extracted
Spying on the Floating Point Behavior of Existing, Unmodified Scientific Applications
inferredcites →https://doi.org/10.1145/3371128openalex-extracted
Detecting floating-point errors via atomic conditions
inferredcites →https://doi.org/10.1145/3377811.3380359openalex-extracted
Efficient generation of error-inducing floating-point inputs via symbolic execution
inferredcites →https://doi.org/10.21236/ada600185openalex-extracted
Floating-point Bugs in Embedded GNU C Library
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.