On the public citation graph
Symbolic execution of floating‐point computations
0 signed · 99 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/stvr.225openalex-snapshot
ATGen: automatic test data generation using constraint logic programming and symbolic execution†
inferredcites →https://doi.org/10.1007/3-540-44957-4_27openalex-snapshot
A CLP Framework for Computing Structural Test Data
inferredcites →https://doi.org/10.1007/3-540-45578-7_36openalex-snapshot
Solving Constraints over Floating-Point Numbers
inferredcites →https://doi.org/10.1007/978-3-540-30138-7_16openalex-snapshot
Automatic Test Data Generation from Embedded C Code
inferredcites →https://doi.org/10.1016/0096-0551(93)90025-vopenalex-snapshot
Array representation in symbolic execution
inferredcites →https://doi.org/10.1016/s0743-1066(96)00142-2openalex-snapshot
Applying interval arithmetic to real, integer, and boolean constraints
inferredcites →https://doi.org/10.1109/32.92907openalex-snapshot
Software specialization via symbolic execution
inferredcites →https://doi.org/10.1109/32.92910openalex-snapshot
Constraint-based automatic test data generation
inferredcites →https://doi.org/10.1109/71.888633openalex-snapshot
A unified symbolic evaluation framework for parallelizing compilers
inferredcites →https://doi.org/10.1109/tse.1976.233816openalex-snapshot
Reliability of the Path Analysis Testing Strategy
inferredcites →https://doi.org/10.1109/tse.1976.233817openalex-snapshot
A System to Generate Test Data and Symbolically Execute Programs
inferredcites →https://doi.org/10.1109/tse.1976.233818openalex-snapshot
Automatic Generation of Floating-Point Test Data
inferredcites →https://doi.org/10.1109/tse.1976.233835openalex-snapshot
On the Automated Generation of Program Test Data
inferredcites →https://doi.org/10.1109/tse.1979.226498openalex-snapshot
SMOTL—A System to Construct Samples for Data Processing Program Debugging
inferredcites →https://doi.org/10.1137/0208047openalex-snapshot
Translatability and Decidability Questions for Restricted Classes of Program Schemas
inferredcites →https://doi.org/10.1145/103162.103163openalex-snapshot
What every computer scientist should know about floating-point arithmetic
inferredcites →https://doi.org/10.1145/151257.151258openalex-snapshot
Experimental results from an automatic test case generator
inferredcites →https://doi.org/10.1145/186258.186523openalex-snapshot
Applications of feasible path analysis to program testing
inferredcites →https://doi.org/10.1145/186258.187150openalex-snapshot
Test data generation and feasible path analysis
inferredcites →https://doi.org/10.1145/227699.227701openalex-snapshot
Handling floating-point exceptions in numeric programs
inferredcites →https://doi.org/10.1145/271771.271790openalex-snapshot
Automatic test data generation using constraint solving techniques
inferredcites →https://doi.org/10.1145/356876.356880openalex-snapshot
Validation of Scientific Programs
inferredcites →https://doi.org/10.1145/360248.360252openalex-snapshot
Symbolic execution and program testing
inferredcites →https://doi.org/10.1145/390016.808445openalex-snapshot
SELECT—a formal system for testing and debugging programs by symbolic execution
inferredcites →https://doi.org/10.1145/503209.503230openalex-snapshot
Using symbolic execution for verifying safety-critical systems
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/sec.1290openalex-snapshot
An empirical investigation into path divergences for concolic execution using CREST
inferred← citeshttps://doi.org/10.1002/stvr.423openalex-snapshot
OSMOSE: automatic structural testing of executables
inferred← citeshttps://doi.org/10.1007/978-3-030-22348-9_19openalex-snapshot
JConstraints: A Library for Working with Logic Expressions in Java
inferred← citeshttps://doi.org/10.1007/978-3-030-58475-7_37openalex-snapshot
A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors
inferred← citeshttps://doi.org/10.1007/978-3-030-63618-0_11openalex-snapshot
An Efficient Floating-Point Bit-Blasting API for Verifying C Programs
inferred← citeshttps://doi.org/10.1007/978-3-030-63618-0_12openalex-snapshot
Rigorous Enclosure of Round-Off Errors in Floating-Point Computations
inferred← citeshttps://doi.org/10.1007/978-3-319-47443-4_13openalex-snapshot
Searching Critical Values for Floating-Point Programs
inferred← citeshttps://doi.org/10.1007/978-3-540-85958-1_22openalex-snapshot
CPBPV: A Constraint-Programming Framework for Bounded Program Verification
inferred← citeshttps://doi.org/10.1007/978-3-642-15396-9_30openalex-snapshot
Improving the Floating Point Addition and Subtraction Constraints
inferred← citeshttps://doi.org/10.1007/978-3-642-16573-3_11openalex-snapshot
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution
inferred← citeshttps://doi.org/10.1007/978-3-642-29828-8_2openalex-snapshot
fdcc: A Combined Approach for Solving Constraints over Finite Domains and Arrays
inferred← citeshttps://doi.org/10.1007/978-3-642-33558-7_12openalex-snapshot
Boosting Local Consistency Algorithms over Floating-Point Numbers
inferred← citeshttps://doi.org/10.1007/978-3-642-33558-7_43openalex-snapshot
Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques
inferred← citeshttps://doi.org/10.1007/978-3-642-54013-4_19openalex-snapshot
Practical Floating-Point Tests with Integer Code
inferred← citeshttps://doi.org/10.1007/978-3-662-49674-9_43openalex-snapshot
Scalable Verification of Linear Controller Software
inferred← citeshttps://doi.org/10.1007/978-3-662-54577-5_9openalex-snapshot
Automatic Verification of Finite Precision Implementations of Linear Controllers
inferred← citeshttps://doi.org/10.1007/s00521-011-0568-8openalex-snapshot
Testability transformation based on equivalence of target statements
inferred← citeshttps://doi.org/10.1007/s10009-012-0258-6openalex-snapshot
Constraint-based BMC: a backjumping strategy
inferred← citeshttps://doi.org/10.1007/s10515-014-0154-2openalex-snapshot
Verifying floating-point programs with constraint programming and abstract interpretation techniques
inferred← citeshttps://doi.org/10.1007/s10601-021-09322-9openalex-snapshot
Correct approximation of IEEE 754 floating-point arithmetic for program verification
inferred← citeshttps://doi.org/10.1007/s10703-013-0203-7openalex-snapshot
Deciding floating-point logic with abstract conflict driven clause learning
inferred← citeshttps://doi.org/10.1007/s11075-019-00711-zopenalex-snapshot
Optimal inverse projection of floating-point addition
inferred← citeshttps://doi.org/10.1007/s11704-014-3372-7openalex-snapshot
Generating test data for both paths coverage and faults detection using genetic algorithms: multi-path case
inferred← citeshttps://doi.org/10.1016/bs.adcom.2015.05.002openalex-snapshot
Constraint-Based Testing
inferred← citeshttps://doi.org/10.1016/j.infsof.2006.10.016openalex-snapshot
Goal-oriented test data generation for pointer programs
inferred← citeshttps://doi.org/10.1016/j.infsof.2008.11.001openalex-snapshot
Automated test data generation using a scatter search approach
inferred← citeshttps://doi.org/10.1016/j.jss.2009.06.029openalex-snapshot
Modelling dynamic memory management in constraint-based testing
inferred← citeshttps://doi.org/10.1016/j.jss.2010.07.026openalex-snapshot
An empirical investigation into branch coverage for C programs using CUTE and AUSTIN
inferred← citeshttps://doi.org/10.1016/j.jss.2010.08.021openalex-snapshot
A uniform random test data generator for path testing
inferred← citeshttps://doi.org/10.1017/s0269888912000252openalex-snapshot
TCAS software verification using constraint programming
inferred← citeshttps://doi.org/10.1109/access.2020.3030798openalex-snapshot
CSEFuzz: Fuzz Testing Based on Symbolic Execution
inferred← citeshttps://doi.org/10.1109/aitest.2019.00016openalex-snapshot
Dedicated Search Strategies For Finding Critical Counterexamples In Programs With Floating Point Computations
inferred← citeshttps://doi.org/10.1109/apsec.2016.045openalex-snapshot
The Floating-Point Extension of Symbolic Execution Engine for Bug Detection
inferred← citeshttps://doi.org/10.1109/apsec.2017.6openalex-snapshot
Symbolic Execution with Value-Range Analysis for Floating-Point Exception Detection
inferred← citeshttps://doi.org/10.1109/ase.2017.8115670openalex-snapshot
Floating-point symbolic execution: A case study in N-version programming
inferred← citeshttps://doi.org/10.1109/dsn.2018.00073openalex-snapshot
Manufacturing Resilient Bi-Opaque Predicates Against Symbolic Execution
inferred← citeshttps://doi.org/10.1109/fose.2007.27openalex-snapshot
Source Code Analysis: A Road Map
inferred← citeshttps://doi.org/10.1109/icst.2008.8openalex-snapshot
Structural Testing of Executables
inferred← citeshttps://doi.org/10.1109/icst.2009.10openalex-snapshot
Euclide: A Constraint-Based Testing Framework for Critical C Programs
inferred← citeshttps://doi.org/10.1109/icst.2012.109openalex-snapshot
Semantic Mutation Analysis of Floating-Point Comparison
inferred← citeshttps://doi.org/10.1109/icst.2013.17openalex-snapshot
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs
inferred← citeshttps://doi.org/10.1109/inmic.2011.6151487openalex-snapshot
Improving path selection by handling loops in automatic test data generation
inferred← citeshttps://doi.org/10.1109/issre.2007.34openalex-snapshot
Improving Constraint-Based Testing with Dynamic Linear Relaxations
inferred← citeshttps://doi.org/10.1109/iwast.2009.5069043openalex-snapshot
Automating structural testing of C programs: Experience with PathCrawler
inferred← citeshttps://doi.org/10.1109/memcod.2010.5558629openalex-snapshot
Systematic testing for control applications
inferred← citeshttps://doi.org/10.1109/qsic.2013.49openalex-snapshot
Binary-Level Testing of Embedded Programs
inferred← citeshttps://doi.org/10.1109/taic.part.2007.22openalex-snapshot
Modelling Dynamic Memory Management in Constraint-Based Testing
inferred← citeshttps://doi.org/10.1109/tse.2013.2297120openalex-snapshot
Symbolic Crosschecking of Data-Parallel Floating-Point Code
inferred← citeshttps://doi.org/10.1145/1966445.1966475openalex-snapshot
Symbolic crosschecking of floating-point and SIMD code
inferred← citeshttps://doi.org/10.1145/1982185.1982528openalex-snapshot
A dynamic constraint-based BMC strategy for generating counterexamples
inferred← citeshttps://doi.org/10.1145/2048066.2048094openalex-snapshot
Trustworthy numerical computation in Scala
inferred← citeshttps://doi.org/10.1145/2593735.2593737openalex-snapshot
Generating test cases inside suspicious intervals for floating-point number programs
inferred← citeshttps://doi.org/10.1145/2635868.2666603openalex-snapshot
Numerical program analysis and testing
inferred← citeshttps://doi.org/10.1145/2950290.2983966openalex-snapshot
Hotspot symbolic execution of floating-point programs
inferred← citeshttps://doi.org/10.1145/3338906.3338921openalex-snapshot
Just fuzz it: solving floating-point constraints using coverage-guided fuzzing
inferred← citeshttps://doi.org/10.1145/3410875openalex-snapshot
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions
inferred← citeshttps://doi.org/10.1287/ijoc.2015.0663openalex-snapshot
Exploiting Binary Floating-Point Representations for Constraint Propagation
inferred← citeshttps://doi.org/10.17485/ijst/2016/v9i19/91025openalex-snapshot
Testing Program for Security using Symbolic Execution and Exception Injection
inferred← citeshttps://doi.org/10.18122/td/1597/boisestateopenalex-snapshot
Suitability of Finite State Automata to Model String Constraints in Probablistic Symbolic Execution
inferred← citeshttps://doi.org/10.3929/ethz-a-006712356openalex-snapshot
Approximating and Interpolating Theories of Arithmetic for Software Verification
inferred← citeshttps://doi.org/10.4018/978-1-60566-758-4.ch011openalex-snapshot
Constraint-Based Techniques for Software Testing
inferred← citeshttps://doi.org/10.48550/arxiv.0807.2383openalex-snapshot
CPBVP: A Constraint-Programming Framework for Bounded Program Verification
inferred← citeshttps://doi.org/10.48550/arxiv.2002.12447openalex-snapshot
Bringing freedom in variable choice when searching counter-examples in floating point programs
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0508108openalex-snapshot
Proving or Disproving likely Invariants with Constraint Reasoning
inferred← citeshttps://doi.org/10.5075/epfl-thesis-6343openalex-snapshot
Programming with Numerical Uncertainties
inferred← citeshttps://doi.org/10.70675/56469ad9zdcddz4491z93eez3cf5ab6ee35fopenalex-snapshot
Analyse des erreurs d’arrondi sur les nombres à virgule flottante par programmation par contraintes
inferred← citeshttps://doi.org/10.70675/d872dd1az370bz4086za674z2b1e44d14af3openalex-snapshot
Stratégies de recherches dédiées à la résolution de systèmes de contraintes sur les flottants pour la vérification de programmes
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.