On the public citation graph
PathExpander: Architectural Support for Increasing the Path Coverage of Dynamic Bug Detection
0 signed · 75 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.1007/11537328_2openalex-snapshot
Execution Generated Test Cases: How to Make Systems Code Crash Itself
inferredcites →https://doi.org/10.1109/dsn.2003.1209956openalex-snapshot
Characterization of linux kernel behavior under errors
inferredcites →https://doi.org/10.1109/icse.2003.1201211openalex-snapshot
Precise dynamic slicing algorithms
inferredcites →https://doi.org/10.1109/isca.1998.694778openalex-snapshot
Threaded multiple path execution
inferredcites →https://doi.org/10.1109/isca.1998.694785openalex-snapshot
Selective eager execution on the PolyPath architecture
inferredcites →https://doi.org/10.1109/isca.2004.1310767openalex-snapshot
Transactional memory coherence and consistency
inferredcites →https://doi.org/10.1109/isca.2005.16openalex-snapshot
BugNet: Continuously Recording Program Execution for Deterministic Replay Debugging
inferredcites →https://doi.org/10.1109/micro.2002.1176234openalex-snapshot
Cherry: Checkpointed early resource recycling in out-of-order microprocessors
inferredcites →https://doi.org/10.1109/micro.2004.20openalex-snapshot
Hardware and Binary Modification Support for Code Pointer Protection From Buffer Overflow
inferredcites →https://doi.org/10.1109/mm.2003.1261395openalex-snapshot
Transactional execution: toward reliable, high-performance multithreading
inferredcites →https://doi.org/10.1109/pact.2003.1238002openalex-snapshot
Y-branches: when you come to a fork in the road, take it
inferredcites →https://doi.org/10.1145/1028176.1006711openalex-snapshot
Transactional Memory Coherence and Consistency
inferredcites →https://doi.org/10.1145/17356.17401openalex-snapshot
Highly concurrent scalar processing
inferredcites →https://doi.org/10.1145/178243.178446openalex-snapshot
Efficient detection of all pointer and array access errors
inferredcites →https://doi.org/10.1145/223982.225965openalex-snapshot
A comparison of full and partial predicated execution support for ILP processors
inferredcites →https://doi.org/10.1145/279358.279392openalex-snapshot
Threaded multiple path execution
inferredcites →https://doi.org/10.1145/279358.279393openalex-snapshot
Selective eager execution on the PolyPath architecture
inferredcites →https://doi.org/10.1145/288195.288321openalex-snapshot
Automated test data generation using an iterative relaxation method
inferredcites →https://doi.org/10.1145/339647.363382openalex-snapshot
Architectural support for scalable speculative parallelization in shared-memory multiprocessors
inferredcites →https://doi.org/10.1145/379240.379264openalex-snapshot
Removing architectural bottlenecks to the scalability of speculative parallelization
inferredcites →https://doi.org/10.1145/514191.514223openalex-snapshot
Dual path instruction processing
inferredcites →https://doi.org/10.1145/581339.581377openalex-snapshot
Tracking down software bugs using automatic anomaly detection
inferredcites →https://doi.org/10.1145/581376.581377openalex-snapshot
Tracking down software bugs using automatic anomaly detection
inferredcites →https://doi.org/10.1145/587051.587053openalex-snapshot
Isolating cause-effect chains from computer programs
inferredcites →https://doi.org/10.1145/605397.605417openalex-snapshot
Enhancing software reliability with speculative threads
inferredcites →https://doi.org/10.1145/780822.781148openalex-snapshot
Bug isolation via remote program sampling
inferredcites →https://doi.org/10.1145/781147.781148openalex-snapshot
Bug isolation via remote program sampling
inferredcites →https://doi.org/10.1145/859618.859633openalex-snapshot
A "flight data recorder" for enabling full-system multiprocessor deterministic replay
inferredcites →https://doi.org/10.5555/776816.776855openalex-snapshot
Precise dynamic slicing algorithms
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9781119378952.ch12openalex-snapshot
ISOLATING THE CAUSES OF EMERGENT FAILURES IN COMPUTER SOFTWARE
inferred← citeshttps://doi.org/10.1007/978-3-030-34968-4_26openalex-snapshot
Visualization and Abstractions for Execution Paths in Model-Based Software Testing
inferred← citeshttps://doi.org/10.1007/978-3-319-07857-1_114openalex-snapshot
Data Fusion for Difficulty Adjustment in an Adaptive Virtual Reality Game System for Autism Intervention
inferred← citeshttps://doi.org/10.1007/978-3-319-27140-8_13openalex-snapshot
Identifying Repeated Interleavings to Improve the Efficiency of Concurrency Bug Detection
inferred← citeshttps://doi.org/10.1007/978-3-642-11145-7_16openalex-snapshot
Architecture- and OS-Independent Binary-Level Dynamic Test Generation
inferred← citeshttps://doi.org/10.1007/978-3-642-33704-8_2openalex-snapshot
Exposing Security Risks for Commercial Mobile Devices
inferred← citeshttps://doi.org/10.1007/s11432-015-0203-2openalex-snapshot
Surveying concurrency bug detectors based on types of detected bugs
inferred← citeshttps://doi.org/10.1109/dasc.2014.21openalex-snapshot
Hunter: Online Accurate Taint Propagation Analysis Based System for Detecting Bugs in Binaries
inferred← citeshttps://doi.org/10.1109/eurosp53844.2022.00026openalex-snapshot
Fuzzing with Data Dependency Information
inferred← citeshttps://doi.org/10.1109/fcst.2009.55openalex-snapshot
Decoupling Dynamic Test Generation from Specific Operating System Details Based on Whole System Virtual Machine
inferred← citeshttps://doi.org/10.1109/hpca.2007.346191openalex-snapshot
HARD: Hardware-Assisted Lockset-based Race Detection
inferred← citeshttps://doi.org/10.1109/hpcc.2014.130openalex-snapshot
Online Taint Propagation Analysis with Precise Pointer-to Analysis for Detecting Bugs in Binaries
inferred← citeshttps://doi.org/10.1109/icst.2011.45openalex-snapshot
Execution Hijacking: Improving Dynamic Analysis by Flying off Course
inferred← citeshttps://doi.org/10.1109/isca.2014.6853196openalex-snapshot
Aladdin: A pre-RTL, power-performance accelerator simulator enabling large design space exploration of customized architectures
inferred← citeshttps://doi.org/10.1109/ntms.2009.5384761openalex-snapshot
Mixing Concrete and Symbolic Execution to Improve the Performance of Dynamic Test Generation
inferred← citeshttps://doi.org/10.1109/rams.2013.6517735openalex-snapshot
Exposing software security and availability risks for commercial mobile devices
inferred← citeshttps://doi.org/10.1109/sere-c.2013.36openalex-snapshot
Forced-Path Execution for Android Applications on x86 Platforms
inferred← citeshttps://doi.org/10.1109/trustcom/bigdatase/icess.2017.246openalex-snapshot
SEEAD: A Semantic-Based Approach for Automatic Binary Code De-obfuscation
inferred← citeshttps://doi.org/10.1145/1453101.1453110openalex-snapshot
Profile-guided program simplification for effective testing and analysis
inferred← citeshttps://doi.org/10.1145/2590748.2590751openalex-snapshot
Operational abstractions of model transforms
inferred← citeshttps://doi.org/10.18130/v3vr45openalex-snapshot
Fault Localization for Exploratory Simulations
inferred← citeshttps://doi.org/10.2200/s00677ed1v01y201511cac034openalex-snapshot
Research Infrastructures for Hardware Accelerators
inferred← citeshttps://doi.org/10.2514/1.50209openalex-snapshot
Improving the LEON Spacecraft Computer Processor for Real-Time Performance Analysis
inferred← citeshttps://doi.org/10.5075/epfl-thesis-5087openalex-snapshot
An Integrated Framework for Improving the Quality and Reliability of Software Upgrades
inferred← citeshttps://doi.org/10.5120/ijca2015906219openalex-snapshot
Empirical Validation of Test Case Generation based on All-edge Coverage Criteria
inferred← citeshttps://doi.org/10.70675/ccab4797z84b7z4bbdzbe73z40ecb48da494openalex-snapshot
Fuzzing in the 2020s : novel approaches and solutions
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.