On the public citation graph
OSMOSE: automatic structural testing of executables
0 signed · 88 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/(sici)1097-024x(199902)29:2<167::aid-spe225>3.0.co;2-vopenalex-snapshot
The dynamic domain reduction procedure for test data generation
inferredcites →https://doi.org/10.1002/stvr.333openalex-snapshot
Symbolic execution of floating‐point computations
inferredcites →https://doi.org/10.1007/11576280_20openalex-snapshot
Formal Verification of a Memory Model for C-Like Imperative Languages
inferredcites →https://doi.org/10.1007/3-540-44585-4_30openalex-snapshot
A BDD-Based Model Checker for Recursive Programs
inferredcites →https://doi.org/10.1007/978-0-387-35597-9_32openalex-snapshot
Functional Test Generation Using Constraint Logic Programming
inferredcites →https://doi.org/10.1007/978-3-540-24723-4_2openalex-snapshot
Analyzing Memory Accesses in x86 Executables
inferredcites →https://doi.org/10.1007/978-3-540-31985-6_19openalex-snapshot
CodeSurfer/x86—A Platform for Analyzing x86 Executables
inferredcites →https://doi.org/10.1007/978-3-540-69149-5_22openalex-snapshot
WYSINWYX: What You See Is Not What You eXecute
inferredcites →https://doi.org/10.1007/978-3-540-70545-1_40openalex-snapshot
Jakstab: A Static Analysis Platform for Binaries
inferredcites →https://doi.org/10.1007/978-3-540-73368-3_19openalex-snapshot
jMoped: A Test Environment for Java Programs
inferredcites →https://doi.org/10.1007/978-3-540-73368-3_52openalex-snapshot
A Decision Procedure for Bit-Vectors and Arrays
inferredcites →https://doi.org/10.1007/978-3-540-73368-3_54openalex-snapshot
A Lazy and Layered SMT( $\mathcal{BV}$ ) Solver for Hard Industrial Verification Problems
inferredcites →https://doi.org/10.1007/978-3-540-74105-3openalex-snapshot
Decision Procedures: An Algorithmic Point of View
inferredcites →https://doi.org/10.1007/978-3-540-78791-4_3openalex-snapshot
A System for Generating Static Analyzers for Machine Instructions
inferredcites →https://doi.org/10.1007/978-3-540-78800-3_28openalex-snapshot
Demand-Driven Compositional Symbolic Execution
inferredcites →https://doi.org/10.1007/978-3-540-79124-9_10openalex-snapshot
Pex–White Box Test Generation for .NET
inferredcites →https://doi.org/10.1007/978-3-540-93900-9_19openalex-snapshot
An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
inferredcites →https://doi.org/10.1007/978-3-642-00768-2_16openalex-snapshot
Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays
inferredcites →https://doi.org/10.1007/s10009-003-0125-6openalex-snapshot
Certification of compiled assembly code by invariant translation
inferredcites →https://doi.org/10.1016/0096-0551(85)90019-0openalex-snapshot
Structured computer organization
inferredcites →https://doi.org/10.1016/j.scico.2005.02.009openalex-snapshot
Weighted pushdown systems and their application to interprocedural dataflow analysis
inferredcites →https://doi.org/10.1016/s1574-6526(06)x8001-xopenalex-snapshot
Handbook of Constraint Programming
inferredcites →https://doi.org/10.1017/cbo9780511607400openalex-snapshot
Constraint Logic Programming Using ECLiPSe
inferredcites →https://doi.org/10.1017/cbo9780511615320openalex-snapshot
Principles of Constraint Programming
inferredcites →https://doi.org/10.1109/32.57624openalex-snapshot
Automated software test data generation
inferredcites →https://doi.org/10.1109/ase.1999.802270openalex-snapshot
UNA based iterative test data generation and its evaluation
inferredcites →https://doi.org/10.1109/ase.2000.873667openalex-snapshot
Test sequences generation from LUSTRE descriptions: GATEL
inferredcites →https://doi.org/10.1109/ase.2004.1342749openalex-snapshot
On-the-fly generation of K-path tests for C functions
inferredcites →https://doi.org/10.1109/dsn.2009.5270315openalex-snapshot
Fitness-guided path exploration in dynamic symbolic execution
inferredcites →https://doi.org/10.1109/icst.2008.35openalex-snapshot
Generation of All-Paths Unit Test with Function Calls
inferredcites →https://doi.org/10.1109/icst.2008.8openalex-snapshot
Structural Testing of Executables
inferredcites →https://doi.org/10.1109/icst.2009.15openalex-snapshot
Pruning the Search Space in Path-Based Test Generation
inferredcites →https://doi.org/10.1145/1190215.1190226openalex-snapshot
Compositional dynamic test generation
inferredcites →https://doi.org/10.1145/1389449.1389478openalex-snapshot
Global difference constraint propagation for finite domain solvers
inferredcites →https://doi.org/10.1145/226295.226319openalex-snapshot
Automated test data generation for programs with procedures
inferredcites →https://doi.org/10.1145/229000.226319openalex-snapshot
Automated test data generation for programs with procedures
inferredcites →https://doi.org/10.1145/271771.271790openalex-snapshot
Automatic test data generation using constraint solving techniques
inferredcites →https://doi.org/10.1145/288195.288321openalex-snapshot
Automated test data generation using an iterative relaxation method
inferredcites →https://doi.org/10.1145/360248.360252openalex-snapshot
Symbolic execution and program testing
inferredcites →https://doi.org/10.5555/882452.874352openalex-snapshot
Functional Verification for SystemC Descriptions Using Constraint Solving
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/smr.1601openalex-snapshot
Design and implementation of a dynamic symbolic execution tool for windows executables
inferred← citeshttps://doi.org/10.1007/978-3-319-17040-4_8openalex-snapshot
Malware Message Classification by Dynamic Analysis
inferred← citeshttps://doi.org/10.1007/978-3-319-30303-1_14openalex-snapshot
Obfuscation Code Localization Based on CFG Generation of Malware
inferred← citeshttps://doi.org/10.1007/978-3-319-59776-8_1openalex-snapshot
Sharpening Constraint Programming Approaches for Bit-Vector Theory
inferred← citeshttps://doi.org/10.1007/978-3-642-19718-5_6openalex-snapshot
Transfer Function Synthesis without Quantifier Elimination
inferred← citeshttps://doi.org/10.1007/978-3-642-22110-1_13openalex-snapshot
The BINCOA Framework for Binary Code Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-32759-9_12openalex-snapshot
A Certified Constraint Solver over Finite Domains
inferred← citeshttps://doi.org/10.1007/978-3-662-46681-0_17openalex-snapshot
BINSEC: Binary Code Analysis with Low-Level Regions
inferred← citeshttps://doi.org/10.1007/978-3-662-46681-0_18openalex-snapshot
Insight: An Open Binary Analysis Framework
inferred← citeshttps://doi.org/10.1007/s00165-014-0326-7openalex-snapshot
Frama-C: A software analysis perspective
inferred← citeshttps://doi.org/10.1016/j.csi.2017.08.002openalex-snapshot
Empirical studies omit reporting necessary details: A systematic literature review of reporting quality in model based testing
inferred← citeshttps://doi.org/10.1016/j.csi.2020.103444openalex-snapshot
A Systematic Review of Search Strategies in Dynamic Symbolic Execution
inferred← citeshttps://doi.org/10.1016/j.infsof.2019.106221openalex-snapshot
MAESTRO: Automated test generation framework for high test coverage and reduced human effort in automotive industry
inferred← citeshttps://doi.org/10.1016/j.scico.2012.10.015openalex-snapshot
Runtime verification of microcontroller binary code
inferred← citeshttps://doi.org/10.1016/j.scico.2021.102641openalex-snapshot
Specify and measure, cover and reveal: A unified framework for automated test generation
inferred← citeshttps://doi.org/10.1109/apsec.2013.132openalex-snapshot
A Hybrid Approach for Control Flow Graph Construction from Binary Code
inferred← citeshttps://doi.org/10.1109/ase.2013.6693109openalex-snapshot
Automated unit testing of large industrial embedded software using concolic testing
inferred← citeshttps://doi.org/10.1109/icse-seip.2019.00024openalex-snapshot
Concolic Testing for High Test Coverage and Reduced Human Effort in Automotive Industry
inferred← citeshttps://doi.org/10.1109/icsea.2010.74openalex-snapshot
A Symbolic Execution Tool Based on the Elimination of Infeasible Paths
inferred← citeshttps://doi.org/10.1109/icst.2014.30openalex-snapshot
Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria
inferred← citeshttps://doi.org/10.1109/qsic.2013.49openalex-snapshot
Binary-Level Testing of Embedded Programs
inferred← citeshttps://doi.org/10.1109/saner.2016.43openalex-snapshot
BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis
inferred← citeshttps://doi.org/10.1109/sp.2017.36openalex-snapshot
Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes
inferred← citeshttps://doi.org/10.1109/tr.2014.2363153openalex-snapshot
Test Generation for Embedded Executables via Concolic Execution in a Real Environment
inferred← citeshttps://doi.org/10.1142/s021819401850033xopenalex-snapshot
Testing Multi-Threaded Applications Using Answer Set Programming
inferred← citeshttps://doi.org/10.1145/2038642.2038662openalex-snapshot
Precise control flow reconstruction using boolean logic
inferred← citeshttps://doi.org/10.1145/2931037.2931048openalex-snapshot
Specification of concretization and symbolization policies in symbolic execution
inferred← citeshttps://doi.org/10.1145/3015135.3015137openalex-snapshot
Finding the needle in the heap
inferred← citeshttps://doi.org/10.14722/bar.2019.23051openalex-snapshot
B2R2: Building an Efficient Front-End for Binary Analysis
inferred← citeshttps://doi.org/10.2168/lmcs-8(3:17)2012openalex-snapshot
Transfer Function Synthesis without Quantifier Elimination
inferred← citeshttps://doi.org/10.2991/eeic-13.2013.18openalex-snapshot
A Target-driven Framework for Distributed Software Test Automation
inferred← citeshttps://doi.org/10.48550/arxiv.1308.4045openalex-snapshot
Efficient Leverage of Symbolic ATG Tools to Advanced Coverage Criteria
inferred← citeshttps://doi.org/10.48550/arxiv.1312.0200openalex-snapshot
A Combined Approach for Constraints over Finite Domains and Arrays
inferred← citeshttps://doi.org/10.48550/arxiv.1612.05675openalex-snapshot
Targeting Infeasibility Questions on Obfuscated Codes
inferred← citeshttps://doi.org/10.48550/arxiv.2003.08915openalex-snapshot
Automatically Proving Microkernels Free from Privilege Escalation from their Executable
inferred← citeshttps://doi.org/10.5555/1946284.1946290openalex-snapshot
Refinement-based CFG reconstruction from unstructured programs
inferred← citeshttps://doi.org/10.70675/28c16a83z2f13z4d42z9903zee95e042a1bfopenalex-snapshot
L’usage de l’exécution symbolique pour la déobfuscation binaire en milieu industriel
inferred← citeshttps://doi.org/10.70675/593210c1z1b70z48cfzaecdzb4182684bafaopenalex-snapshot
Formal Approaches for Automatic Deobfuscation and Reverse-engineering of Protected Codes
inferred← citeshttps://doi.org/10.7236/jiwit.2012.12.2.189openalex-snapshot
Automated Test Data Generation based on Executable Object Codes
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.