On the public citation graph
Automatic extraction of executable program subsets by simultaneous dynamic program slicing
0 signed · 59 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/spe.4380230603openalex-snapshot
Debugging with dynamic slicing and backtracking
inferredcites →https://doi.org/10.1016/0164-1212(90)90094-3openalex-snapshot
Dynamic slicing of computer programs
inferredcites →https://doi.org/10.1109/32.83912openalex-snapshot
Using program slicing in software maintenance
inferredcites →https://doi.org/10.1109/52.199724openalex-snapshot
Operational profiles in software-reliability engineering
inferredcites →https://doi.org/10.1109/kbse.1993.341200openalex-snapshot
Validation of rule-based reactive systems by sound scenario generalization
inferredcites →https://doi.org/10.1109/kbse.1994.342676openalex-snapshot
Systematic incremental validation of rule-based reactive systems
inferredcites →https://doi.org/10.1145/65979.65980openalex-snapshot
Integrating noninterfering versions of programs
inferredcites →https://doi.org/10.1145/73560.73572openalex-snapshot
Integrating non-intering versions of programs
inferredcites →https://doi.org/10.5555/257572.257682openalex-snapshot
Program and interface slicing for reverse engineering
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.1651openalex-snapshot
srcSlice: very efficient and scalable forward static slicing
inferred← citeshttps://doi.org/10.1002/spe.664openalex-snapshot
Unifying program slicing and concept assignment for higher‐level executable source code extraction
inferred← citeshttps://doi.org/10.1007/978-3-030-30446-1_19openalex-snapshot
Using Relational Verification for Program Slicing
inferred← citeshttps://doi.org/10.1007/978-3-642-27443-5_73openalex-snapshot
Review on Cost Effective Software Engineering Using Program Slicing Techniques
inferred← citeshttps://doi.org/10.1007/978-3-642-33119-0_18openalex-snapshot
Evolving Human Competitive Spectra-Based Fault Localisation Techniques
inferred← citeshttps://doi.org/10.1007/978-981-99-9486-1_11openalex-snapshot
Panorama: A Multi-language Software Information Prospecting Facility
inferred← citeshttps://doi.org/10.1007/bf00871825openalex-snapshot
Systematic incremental validation of reactive systems via sound scenario generalization
inferred← citeshttps://doi.org/10.1007/s10270-012-0300-xopenalex-snapshot
Kompren: modeling and generating model slicers
inferred← citeshttps://doi.org/10.1016/j.infsof.2005.02.002openalex-snapshot
Computing dynamic slices of concurrent object-oriented programs
inferred← citeshttps://doi.org/10.1016/j.jlamp.2018.10.002openalex-snapshot
Tracking CSP computations
inferred← citeshttps://doi.org/10.1016/j.jss.2007.06.005openalex-snapshot
Dynamic object process graphs
inferred← citeshttps://doi.org/10.1016/j.jss.2015.10.052openalex-snapshot
Prioritized static slicing and its application to fault localization
inferred← citeshttps://doi.org/10.1016/j.scico.2012.05.007openalex-snapshot
Abstract program slicing on dependence condition graphs
inferred← citeshttps://doi.org/10.1016/s0065-2458(03)62003-6openalex-snapshot
A Survey of Empirical Results on Program Slicing
inferred← citeshttps://doi.org/10.1016/s0950-5849(98)00086-xopenalex-snapshot
Conditioned program slicing
inferred← citeshttps://doi.org/10.1023/b:ause.0000008668.12782.6copenalex-snapshot
Granularity-Driven Dynamic Predicate Slicing Algorithms for Message Passing Systems
inferred← citeshttps://doi.org/10.1109/access.2019.2917330openalex-snapshot
Dissection on Java Organs in GitHub Repositories
inferred← citeshttps://doi.org/10.1109/ase.2001.989792openalex-snapshot
Specification modeling and validation applied to a family of network security products
inferred← citeshttps://doi.org/10.1109/cit.2016.67openalex-snapshot
Adaptation Aspects of AIDA Programs
inferred← citeshttps://doi.org/10.1109/cmpsac.2000.884706openalex-snapshot
Towards building a smarter domain knowledge recovery assistant
inferred← citeshttps://doi.org/10.1109/confluence.2014.6949332openalex-snapshot
Study of current program slicing techniques
inferred← citeshttps://doi.org/10.1109/csmr.2003.1192445openalex-snapshot
Unions of slices are not slices
inferred← citeshttps://doi.org/10.1109/csmr.2007.53openalex-snapshot
Verifying the Concept of Union Slices on Java Programs
inferred← citeshttps://doi.org/10.1109/iciccs.2016.7542336openalex-snapshot
Reliability analysis of test cases for program slicing
inferred← citeshttps://doi.org/10.1109/icse48619.2023.00049openalex-snapshot
FedSlice: Protecting Federated Learning Models from Malicious Participants with Model Slicing
inferred← citeshttps://doi.org/10.1109/icsm.2002.1167743openalex-snapshot
Union slices for program maintenance
inferred← citeshttps://doi.org/10.1109/icsm.2004.1357836openalex-snapshot
Advanced slicing of sequential and concurrent programs
inferred← citeshttps://doi.org/10.1109/icsm.2009.5306275openalex-snapshot
Identifying high-level dependence structures using slice-based dependence analysis
inferred← citeshttps://doi.org/10.1109/icst46399.2020.00014openalex-snapshot
More Accurate Dynamic Slicing for Better Supporting Software Debugging
inferred← citeshttps://doi.org/10.1109/ipdpsw52791.2021.00119openalex-snapshot
Autotuning Benchmarking Techniques: A Roofline Model Case Study
inferred← citeshttps://doi.org/10.1109/kbse.1994.342676openalex-snapshot
Systematic incremental validation of rule-based reactive systems
inferred← citeshttps://doi.org/10.1109/scam.2001.972675openalex-snapshot
Program slicing: methods and applications
inferred← citeshttps://doi.org/10.1109/scam.2005.2openalex-snapshot
Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking
inferred← citeshttps://doi.org/10.1109/tr.2015.2481000openalex-snapshot
Prioritizing Change-Impact Analysis via Semantic Program-Dependence Quantification
inferred← citeshttps://doi.org/10.1109/wpc.1996.501116openalex-snapshot
Understanding function behaviors through program slicing
inferred← citeshttps://doi.org/10.1109/wpc.2004.1311051openalex-snapshot
Building executable union slices using conditioned slicing
inferred← citeshttps://doi.org/10.1145/1050849.1050865openalex-snapshot
A brief survey of program slicing
inferred← citeshttps://doi.org/10.1145/2187671.2187674openalex-snapshot
A vocabulary of program slicing-based techniques
inferred← citeshttps://doi.org/10.1145/251621.251633openalex-snapshot
Re-engineering needs generic programming language technology
inferred← citeshttps://doi.org/10.1145/251759.251849openalex-snapshot
Reverse engineering and system renovation—an annotated bibliography
inferred← citeshttps://doi.org/10.1145/2635868.2635893openalex-snapshot
ORBS: language-independent program slicing
inferred← citeshttps://doi.org/10.1145/2771783.2771796openalex-snapshot
Automated software transplantation
inferred← citeshttps://doi.org/10.1145/3196321.3196354openalex-snapshot
Leveraging the agile development process for selecting invoking/excluding tests to support feature location
inferred← citeshttps://doi.org/10.1145/3498668openalex-snapshot
Linked visualisations via Galois dependencies
inferred← citeshttps://doi.org/10.48550/arxiv.2103.08716openalex-snapshot
Autotuning Benchmarking Techniques: A Roofline Model Case Study
inferred← citeshttps://doi.org/10.5121/ijsea.2011.2304openalex-snapshot
Program Slicing Techniques and its Applications
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.