On the public citation graph
Automatically generating malicious disks using symbolic execution
0 signed · 106 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(200006)30:7<775::aid-spe309>3.0.co;2-hopenalex-snapshot
A static analyzer for finding dynamic programming errors
inferredcites →https://doi.org/10.1007/11537328_2openalex-snapshot
Execution Generated Test Cases: How to Make Systems Code Crash Itself
inferredcites →https://doi.org/10.1007/11561163_1openalex-snapshot
A Theory of Predicate-Complete Test Coverage and Generation
inferredcites →https://doi.org/10.1007/3-540-36577-x_40openalex-snapshot
Generalized Symbolic Execution for Model Checking and Testing
inferredcites →https://doi.org/10.1007/3-540-45139-0_7openalex-snapshot
Automatically validating temporal safety properties of interfaces
inferredcites →https://doi.org/10.1007/3-540-45937-5_16openalex-snapshot
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs
inferredcites →https://doi.org/10.1007/978-3-540-24605-3_37openalex-snapshot
An Extensible SAT-solver
inferredcites →https://doi.org/10.1109/icse.2000.870434openalex-snapshot
Bandera: extracting finite-state models from Java source code
inferredcites →https://doi.org/10.1145/1040305.1040334openalex-snapshot
Scalable error detection using boolean satisfiability
inferredcites →https://doi.org/10.1145/1119772.1119831openalex-snapshot
Hardware verification using ANSI-C programs as a reference
inferredcites →https://doi.org/10.1145/1189256.1189259openalex-snapshot
Using model checking to find serious file system errors
inferredcites →https://doi.org/10.1145/226155.226158openalex-snapshot
The chaining approach for software test data generation
inferredcites →https://doi.org/10.1145/2442776.2442783openalex-snapshot
Automatic predicate abstraction of C programs
inferredcites →https://doi.org/10.1145/263699.263717openalex-snapshot
Model checking for programming languages using VeriSoft
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/357073.357079openalex-snapshot
Simplification by Cooperating Decision Procedures
inferredcites →https://doi.org/10.1145/378795.378846openalex-snapshot
Automatic predicate abstraction of C programs
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/800027.808445openalex-snapshot
SELECT---a formal system for testing and debugging programs by symbolic execution
inferredcites →https://doi.org/10.21236/ada482657openalex-snapshot
CUTE: A Concolic Unit Testing Engine for C
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/stvr.1828openalex-snapshot
Comprehensive evaluation of file systems robustness with SPIN model checking
inferred← citeshttps://doi.org/10.1007/978-0-387-68768-1_4openalex-snapshot
Automatically Identifying Trigger-based Behavior in Malware
inferred← citeshttps://doi.org/10.1007/978-1-4614-5523-3_6openalex-snapshot
Analysis of Trigger Conditions and Hidden Behaviors
inferred← citeshttps://doi.org/10.1007/978-3-319-11164-3_8openalex-snapshot
Robust Consistency Checking for Modern Filesystems
inferred← citeshttps://doi.org/10.1007/978-3-319-24126-5_4openalex-snapshot
Designing for Attack Surfaces: Keep Your Friends Close, but Your Enemies Closer
inferred← citeshttps://doi.org/10.1007/978-3-540-93900-9_10openalex-snapshot
Model-Checking the Linux Virtual File System
inferred← citeshttps://doi.org/10.1007/978-3-642-10452-7_21openalex-snapshot
Verifying Compiled File System Code
inferred← citeshttps://doi.org/10.1007/s00165-011-0198-zopenalex-snapshot
Verifying compiled file system code
inferred← citeshttps://doi.org/10.1007/s10472-014-9408-8openalex-snapshot
Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
inferred← citeshttps://doi.org/10.1016/j.comnet.2019.01.042openalex-snapshot
MSAID: Automated detection of interference in multiple SDN applications
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.10.029openalex-snapshot
Automated Analysis of Reo Circuits using Symbolic Execution
inferred← citeshttps://doi.org/10.1016/j.fsidi.2021.301189openalex-snapshot
Seance: Divination of tool-breaking changes in forensically important binaries
inferred← citeshttps://doi.org/10.1109/compsac.2007.43openalex-snapshot
A Static Analysis Framework For Detecting SQL Injection Vulnerabilities
inferred← citeshttps://doi.org/10.1109/csf.2007.17openalex-snapshot
Creating Vulnerability Signatures Using Weakest Preconditions
inferred← citeshttps://doi.org/10.1109/dsn.2008.4630121openalex-snapshot
Analyzing the effects of disk-pointer corruption
inferred← citeshttps://doi.org/10.1109/dsn.2018.00033openalex-snapshot
OWL: Understanding and Detecting Concurrency Attacks
inferred← citeshttps://doi.org/10.1109/icceee.2013.6634014openalex-snapshot
Verifying abstract data types a hybrid approach
inferred← citeshttps://doi.org/10.1109/issre.2008.33openalex-snapshot
The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System
inferred← citeshttps://doi.org/10.1109/issre.2019.00039openalex-snapshot
Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks
inferred← citeshttps://doi.org/10.1109/jiot.2023.3303780openalex-snapshot
Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware
inferred← citeshttps://doi.org/10.1109/qrs51102.2020.00025openalex-snapshot
Comprehensive Robustness Evaluation of File Systems with Model Checking
inferred← citeshttps://doi.org/10.1109/sp.2009.14openalex-snapshot
Prospex: Protocol Specification Extraction
inferred← citeshttps://doi.org/10.1109/sp.2012.48openalex-snapshot
Rozzle: De-cloaking Internet Malware
inferred← citeshttps://doi.org/10.1109/syssec.2011.33openalex-snapshot
The MINESTRONE Architecture Combining Static and Dynamic Analysis Techniques for Software Security
inferred← citeshttps://doi.org/10.1109/tcad.2008.923410openalex-snapshot
A Survey of Automated Techniques for Formal Software Verification
inferred← citeshttps://doi.org/10.1109/tr.2015.2512220openalex-snapshot
Dynamically Discovering Likely Memory Layout to Perform Accurate Fuzzing
inferred← citeshttps://doi.org/10.1145/1179559.1179569openalex-snapshot
Limiting trust in the storage stack
inferred← citeshttps://doi.org/10.1145/1190215.1190226openalex-snapshot
Compositional dynamic test generation
inferred← citeshttps://doi.org/10.1145/1190216.1190226openalex-snapshot
Compositional dynamic test generation
inferred← citeshttps://doi.org/10.1145/1273463.1273478openalex-snapshot
Variably interprocedural program analysis for runtime error detection
inferred← citeshttps://doi.org/10.1145/1985793.1985995openalex-snapshot
Symbolic execution for software testing in practice
inferred← citeshttps://doi.org/10.1145/2025113.2025135openalex-snapshot
Partial replay of long-running applications
inferred← citeshttps://doi.org/10.1145/2039239.2039248openalex-snapshot
Using declarative invariants for protecting file-system integrity
inferred← citeshttps://doi.org/10.1145/2043628.2043633openalex-snapshot
Server-side verification of client behavior in online games
inferred← citeshttps://doi.org/10.1145/2078861.2078863openalex-snapshot
Making the common case the only case with anticipatory memory allocation
inferred← citeshttps://doi.org/10.1145/2168836.2168861openalex-snapshot
Scalable testing of file system checkers
inferred← citeshttps://doi.org/10.1145/2339118.2339120openalex-snapshot
File system virtual appliances
inferred← citeshttps://doi.org/10.1145/2408776.2408795openalex-snapshot
Symbolic execution for software testing
inferred← citeshttps://doi.org/10.1145/2451116.2451152openalex-snapshot
Verifying systems rules using rule-directed symbolic execution
inferred← citeshttps://doi.org/10.1145/2490301.2451152openalex-snapshot
Verifying systems rules using rule-directed symbolic execution
inferred← citeshttps://doi.org/10.1145/2499368.2451152openalex-snapshot
Verifying systems rules using rule-directed symbolic execution
inferred← citeshttps://doi.org/10.1145/2815400.2815402openalex-snapshot
Using Crash Hoare logic for certifying the FSCQ file system
inferred← citeshttps://doi.org/10.1145/2815400.2815422openalex-snapshot
Cross-checking semantic correctness
inferred← citeshttps://doi.org/10.1145/3132747.3132776openalex-snapshot
Verifying a high-performance crash-safe file system using a tree specification
inferred← citeshttps://doi.org/10.1145/3324884.3416589openalex-snapshot
Pending constraints in symbolic execution for better exploration and seeding
inferred← citeshttps://doi.org/10.1145/3341301.3359662openalex-snapshot
Finding semantic bugs in file systems with an extensible fuzzing framework
inferred← citeshttps://doi.org/10.1145/3343737.3343753openalex-snapshot
Understanding Security Vulnerabilities in File Systems
inferred← citeshttps://doi.org/10.1145/3368089openalex-snapshot
Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
inferred← citeshttps://doi.org/10.1145/3368089.3409698openalex-snapshot
Past-sensitive pointer analysis for symbolic execution
inferred← citeshttps://doi.org/10.1145/3488932.3523260openalex-snapshot
ReFuzz - Structure Aware Fuzzing of the Resilient File System (ReFS)
inferred← citeshttps://doi.org/10.1145/3597926.3598064openalex-snapshot
Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
inferred← citeshttps://doi.org/10.1184/r1/6469484openalex-snapshot
Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation
inferred← citeshttps://doi.org/10.14722/ndss.2020.24419openalex-snapshot
Precisely Characterizing Security Impact in a Flood of Patches via Symbolic Rule Comparison
inferred← citeshttps://doi.org/10.14722/ndss.2021.24327openalex-snapshot
TASE: Reducing Latency of Symbolic Execution with Transactional Memory
inferred← citeshttps://doi.org/10.17615/2pdv-3313openalex-snapshot
Symbolic Verification of Remote Client Behavior in Distributed Systems
inferred← citeshttps://doi.org/10.21220/s2-qrnf-n760openalex-snapshot
Malware Detection And Analysis Via Layered Annotative Execution
inferred← citeshttps://doi.org/10.23919/cje.2014.10848037openalex-snapshot
Statically-Directed Dynamic Taint Analysis
inferred← citeshttps://doi.org/10.31390/gradschool_dissertations.5528openalex-snapshot
Improving Memory Forensics Through Emulation and Program Analysis
inferred← citeshttps://doi.org/10.31390/gradschool_theses.5044openalex-snapshot
Effective Fuzzing Framework for the Sleuthkit Tools
inferred← citeshttps://doi.org/10.3390/electronics11050727openalex-snapshot
Scalable Path Search for Automated Test Case Generation
inferred← citeshttps://doi.org/10.4018/978-1-4666-4514-1.ch008openalex-snapshot
Enhancing Intrusion Detection Systems Using Intelligent False Alarm Filter
inferred← citeshttps://doi.org/10.4018/978-1-5225-1759-7.ch011openalex-snapshot
Enhancing Intrusion Detection Systems Using Intelligent False Alarm Filter
inferred← citeshttps://doi.org/10.48550/arxiv.1807.10439openalex-snapshot
Symbolic Execution for Deep Neural Networks
inferred← citeshttps://doi.org/10.5555/1924943.1924958openalex-snapshot
Stable deterministic multithreading through schedule memoization
inferred← citeshttps://doi.org/10.5555/1960475.1960492openalex-snapshot
Making the common case the only case with anticipatory memory allocation
inferred← citeshttps://doi.org/10.5555/2208461.2208468openalex-snapshot
Recon: verifying file system consistency at runtime
inferred← citeshttps://doi.org/10.5555/2387880.2387908openalex-snapshot
SymDrive: testing drivers without devices
inferred← citeshttps://doi.org/10.5555/3026877.3026879openalex-snapshot
Push-button verification of file systems via crash refinement
inferred← citeshttps://doi.org/10.7916/d83n225bopenalex-snapshot
Stable Multithreading: A New Paradigm for Reliable and Secure Threads
inferred← citeshttps://doi.org/10.7916/d8d79j7bopenalex-snapshot
A Software Checking Framework Using Distributed Model Checking and Checkpoint/Resume of Virtualized PrOcess Domains
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.