On the public citation graph
An overview of program slicing
0 signed · 187 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)1096-908x(199605)8:3<145::aid-smr127>3.0.co;2-9openalex-snapshot
A Specification Driven Slicing Process for Identifying Reusable Functions
inferredcites →https://doi.org/10.1002/(sici)1099-1689(199912)9:4<233::aid-stvr191>3.0.co;2-3openalex-snapshot
Using program slicing to assist in the detection of equivalent mutants
inferredcites →https://doi.org/10.1007/3-540-61739-6_50openalex-snapshot
A backward slicing algorithm for Prolog
inferredcites →https://doi.org/10.1007/978-1-4757-5939-6_4openalex-snapshot
The Relationship Between Program Dependence and Mutation Analysis
inferredcites →https://doi.org/10.1007/bf01213536openalex-snapshot
Slicing programs in the presence of errors
inferredcites →https://doi.org/10.1007/bfb0026437openalex-snapshot
Intermodular slicing of object-oriented programs
inferredcites →https://doi.org/10.1016/0020-0190(95)00170-0openalex-snapshot
A parallel algorithm for static program slicing
inferredcites →https://doi.org/10.1016/s0950-5849(98)00029-9openalex-snapshot
Slicing algebraic specifications
inferredcites →https://doi.org/10.1016/s0950-5849(98)00086-xopenalex-snapshot
Conditioned program slicing
inferredcites →https://doi.org/10.1016/s0950-5849(98)00089-5openalex-snapshot
Dynamic program slicing methods
inferredcites →https://doi.org/10.1016/s0950-5849(98)00091-3openalex-snapshot
Restructuring programs by tucking statements into functions
inferredcites →https://doi.org/10.1016/s0950-5849(98)00092-5openalex-snapshot
Program slices as an abstraction for cohesion measurement
inferredcites →https://doi.org/10.1109/32.83912openalex-snapshot
Using program slicing in software maintenance
inferredcites →https://doi.org/10.1109/icse.1996.493444openalex-snapshot
Slicing object-oriented software
inferredcites →https://doi.org/10.1109/icsm.1994.336752openalex-snapshot
Software salvaging based on conditions
inferredcites →https://doi.org/10.1109/icsm.2000.883049openalex-snapshot
ConSIT: a conditioned program slicer
inferredcites →https://doi.org/10.1109/wpc.1996.501116openalex-snapshot
Understanding function behaviors through program slicing
inferredcites →https://doi.org/10.1109/wpc.2000.852490openalex-snapshot
An empirical study of amorphous slicing as a program comprehension support tool
inferredcites →https://doi.org/10.1142/9789814530286openalex-snapshot
FUNCTIONAL AND LOGIC PROGRAMMING
inferredcites →https://doi.org/10.1145/113445.113455openalex-snapshot
The semantic approach to program slicing
inferredcites →https://doi.org/10.1145/113446.113455openalex-snapshot
The semantic approach to program slicing
inferredcites →https://doi.org/10.1145/236337.236355openalex-snapshot
Slicing class hierarchies in C++
inferredcites →https://doi.org/10.1145/236338.236355openalex-snapshot
Slicing class hierarchies in C++
inferredcites →https://doi.org/10.1145/358557.358577openalex-snapshot
Programmers use slices when debugging
inferredcites →https://doi.org/10.1145/73141.74820openalex-snapshot
The semantics of program dependence
inferredcites →https://doi.org/10.1145/74818.74820openalex-snapshot
The semantics of program dependence
inferredcites →https://doi.org/10.1145/77606.77608openalex-snapshot
Interprocedural slicing using dependence graphs
inferredcites →https://doi.org/10.1145/989393.989419openalex-snapshot
Interprocedural slicing using dependence graphs
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.556openalex-snapshot
C ON SIT: a fully automated conditioned program slicer
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.1002/stvr.1497openalex-snapshot
Checked coverage: an indicator for oracle quality
inferred← citeshttps://doi.org/10.1007/978-3-030-26574-8_14openalex-snapshot
From COBOL to Business Rules—Extracting Business Rules from Legacy Code
inferred← citeshttps://doi.org/10.1007/978-3-030-34968-4_6openalex-snapshot
Evaluation of Program Slicing in Software Verification
inferred← citeshttps://doi.org/10.1007/978-3-030-72013-1_32openalex-snapshot
VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution)
inferred← citeshttps://doi.org/10.1007/978-3-031-24841-2_19openalex-snapshot
Automatic Rollback Suggestions for Incremental Datalog Evaluation
inferred← citeshttps://doi.org/10.1007/978-3-031-30820-8_41openalex-snapshot
VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution)
inferred← citeshttps://doi.org/10.1007/978-3-031-37720-4_2openalex-snapshot
Practical Approach to Introducing Parallelism in Sequential Programs
inferred← citeshttps://doi.org/10.1007/978-3-031-42212-6_5openalex-snapshot
Metamorphic Testing for Verification and Fault Localization in Industrial Control Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-57256-2_30openalex-snapshot
Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution)
inferred← citeshttps://doi.org/10.1007/978-3-031-61057-8_29openalex-snapshot
Configuring and Validating Multi-aspect Risk Knowledge for Industry 4.0 Information Systems
inferred← citeshttps://doi.org/10.1007/978-3-032-00828-2_9openalex-snapshot
Random Resampling of Training Data for Effective Verification Strategy Prediction
inferred← citeshttps://doi.org/10.1007/978-3-032-06847-7_9openalex-snapshot
On-the-Fly Cone-of-Influence Reduction for Model Checking Concurrent Software
inferred← citeshttps://doi.org/10.1007/978-3-319-47443-4_8openalex-snapshot
Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness
inferred← citeshttps://doi.org/10.1007/978-3-319-68167-2_12openalex-snapshot
Compositional Safety Refutation Techniques
inferred← citeshttps://doi.org/10.1007/978-3-540-31987-0_6openalex-snapshot
Forward Slicing by Conjunctive Partial Deduction and Argument Filtering
inferred← citeshttps://doi.org/10.1007/978-3-540-40018-9_5openalex-snapshot
Useless-Code Elimination and Program Slicing for the Pi-Calculus
inferred← citeshttps://doi.org/10.1007/978-3-642-18070-5openalex-snapshot
Formal Verification of Object-Oriented Software
inferred← citeshttps://doi.org/10.1007/978-3-642-25231-0_1openalex-snapshot
Search Based Software Engineering: Techniques, Taxonomy, Tutorial
inferred← citeshttps://doi.org/10.1007/978-3-642-25658-5_50openalex-snapshot
Regression Testing Based on Neural Networks and Program Slicing Techniques
inferred← citeshttps://doi.org/10.1007/s00165-005-0077-6openalex-snapshot
A formal relationship between program slicing and partial evaluation
inferred← citeshttps://doi.org/10.1007/s00165-017-0419-1openalex-snapshot
Incremental bounded model checking for embedded software
inferred← citeshttps://doi.org/10.1007/s10270-012-0300-xopenalex-snapshot
Kompren: modeling and generating model slicers
inferred← citeshttps://doi.org/10.1007/s10664-025-10636-yopenalex-snapshot
On the effects of program slicing for vulnerability detection during code inspection
inferred← citeshttps://doi.org/10.1007/s11219-005-6214-xopenalex-snapshot
The Efficiency of Critical Slicing in Fault Localization
inferred← citeshttps://doi.org/10.1007/s11219-011-9138-7openalex-snapshot
System-specific static code analyses: a case study in the complex embedded systems domain
inferred← citeshttps://doi.org/10.1007/s11390-020-9754-4openalex-snapshot
SymPas: Symbolic Program Slicing
inferred← citeshttps://doi.org/10.1007/s11432-007-0061-2openalex-snapshot
A novel formal approach to program slicing
inferred← citeshttps://doi.org/10.1007/s13389-023-00310-8openalex-snapshot
Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities
inferred← citeshttps://doi.org/10.1016/j.advengsoft.2010.08.002openalex-snapshot
Software refactoring at the function level using new Adaptive K-Nearest Neighbor algorithm
inferred← citeshttps://doi.org/10.1016/j.cl.2009.09.002openalex-snapshot
Program transformations for information personalization
inferred← citeshttps://doi.org/10.1016/j.infsof.2005.06.001openalex-snapshot
Theory and algorithms for slicing unstructured programs
inferred← citeshttps://doi.org/10.1016/j.infsof.2015.02.007openalex-snapshot
Assessing the use of slicing-based visualizing techniques on the understanding of large metamodels
inferred← citeshttps://doi.org/10.1016/j.jlap.2007.02.010openalex-snapshot
A non-standard semantics for program slicing and dependence analysis
inferred← citeshttps://doi.org/10.1016/j.jss.2004.03.034openalex-snapshot
ConSUS: a light-weight program conditioner
inferred← citeshttps://doi.org/10.1016/j.jss.2005.07.024openalex-snapshot
An efficient interprocedural dynamic slicing method
inferred← citeshttps://doi.org/10.1016/j.jss.2011.05.016openalex-snapshot
Identification of extract method refactoring opportunities for the decomposition of methods
inferred← citeshttps://doi.org/10.1016/j.jss.2012.10.027openalex-snapshot
Cloud engineering is Search Based Software Engineering too
inferred← citeshttps://doi.org/10.1016/j.knosys.2016.10.013openalex-snapshot
A precise monadic dynamic slicing method
inferred← citeshttps://doi.org/10.1016/j.scico.2006.04.007openalex-snapshot
A formalisation of the relationship between forms of program slicing
inferred← citeshttps://doi.org/10.1016/j.tcs.2006.01.012openalex-snapshot
Theoretical foundations of dynamic program slicing
inferred← citeshttps://doi.org/10.1016/j.tcs.2009.10.025openalex-snapshot
A trajectory-based strict semantics for program slicing
inferred← citeshttps://doi.org/10.1016/j.tcs.2011.08.033openalex-snapshot
A unifying theory of control dependence and its application to arbitrary program structures
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/s0164-1212(02)00135-8openalex-snapshot
Amorphous program slicing
inferred← citeshttps://doi.org/10.1016/s0304-3975(02)00374-2openalex-snapshot
Equivalence of conservative, free, linear program schemas is decidable
inferred← citeshttps://doi.org/10.1016/s0950-5849(03)00029-6openalex-snapshot
Computation of intraprocedural dynamic program slices
inferred← citeshttps://doi.org/10.1017/s1471068406002870openalex-snapshot
Forward slicing of functional logic programs by partial evaluation
inferred← citeshttps://doi.org/10.1017/s147106842500002xopenalex-snapshot
Provenance Guided Rollback Suggestions
inferred← citeshttps://doi.org/10.1023/b:ause.0000008667.37988.11openalex-snapshot
Syntax-Directed Amorphous Slicing
inferred← citeshttps://doi.org/10.1093/comjnl/bxh121openalex-snapshot
Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas
inferred← citeshttps://doi.org/10.1109/aswec.2005.7openalex-snapshot
A Formal Method for Program Slicing
inferred← citeshttps://doi.org/10.1109/cbi62504.2024.00029openalex-snapshot
Business Risk Analysis of Production Variants Considering Technical Dependencies
inferred← citeshttps://doi.org/10.1109/ceec.2010.5606493openalex-snapshot
Concurrent statechart slicing
inferred← citeshttps://doi.org/10.1109/cloudsummit68932.2026.00014openalex-snapshot
Towards Building Reliable Machine Learning Surrogates for Scientific Applications
inferred← citeshttps://doi.org/10.1109/cmpsac.2004.1342807openalex-snapshot
Modular monadic program slicing
inferred← citeshttps://doi.org/10.1109/compsac65507.2025.00155openalex-snapshot
Program Slicing in the Era of Large Language Models
inferred← citeshttps://doi.org/10.1109/csmr.2009.23openalex-snapshot
Identification of Extract Method Refactoring Opportunities
inferred← citeshttps://doi.org/10.1109/cyberc.2018.00053openalex-snapshot
Monadic Dynamic Slicing of Object-Oriented Programs
inferred← citeshttps://doi.org/10.1109/iceccs.2005.13openalex-snapshot
A Slice Monad Transformer and Its Applications in Program Slicing
inferred← citeshttps://doi.org/10.1109/iciccs.2016.7542336openalex-snapshot
Reliability analysis of test cases for program slicing
inferred← citeshttps://doi.org/10.1109/icit.2012.6210014openalex-snapshot
Test generation for large automotive models
inferred← citeshttps://doi.org/10.1109/icitech.2017.8080067openalex-snapshot
JavaBST: Java backward slicing tool
inferred← citeshttps://doi.org/10.1109/icse-seip.2019.00039openalex-snapshot
SapFix: Automated End-to-End Repair at Scale
inferred← citeshttps://doi.org/10.1109/icse.2003.1201212openalex-snapshot
An empirical study of predicate dependence levels and trends
inferred← citeshttps://doi.org/10.1109/icse48619.2023.00027openalex-snapshot
PExReport: Automatic Creation of Pruned Executable Cross-Project Failure Reports
inferred← citeshttps://doi.org/10.1109/icsm.2002.1167781openalex-snapshot
Evolutionary testing supported by slicing and transformation
inferred← citeshttps://doi.org/10.1109/icsm.2004.1357836openalex-snapshot
Advanced slicing of sequential and concurrent programs
inferred← citeshttps://doi.org/10.1109/icsm.2005.58openalex-snapshot
Locating dependence clusters and dependence pollution
inferred← citeshttps://doi.org/10.1109/icsm.2010.5609724openalex-snapshot
Program analysis and transformation for data-intensive system evolution
inferred← citeshttps://doi.org/10.1109/icsm.2012.6405325openalex-snapshot
Dependence communities in source code
inferred← citeshttps://doi.org/10.1109/icsme58944.2024.00039openalex-snapshot
The Impact of Program Reduction on Automated Program Repair
inferred← citeshttps://doi.org/10.1109/icsme58944.2024.00076openalex-snapshot
Learning Strategies Using Boolean Program Metrics to Verify Industrial Code
inferred← citeshttps://doi.org/10.1109/icsps.2009.165openalex-snapshot
Interprocedural Slicing of Generic Programs
inferred← citeshttps://doi.org/10.1109/icsrs.2018.8688844openalex-snapshot
JSEFuzz: Vulnerability Detection Method for Java Web Application
inferred← citeshttps://doi.org/10.1109/icst.2011.32openalex-snapshot
Assessing Oracle Quality with Checked Coverage
inferred← citeshttps://doi.org/10.1109/icst.2012.95openalex-snapshot
Crawlability Metrics for Web Applications
inferred← citeshttps://doi.org/10.1109/icstw.2008.30openalex-snapshot
Open Problems in Testability Transformation
inferred← citeshttps://doi.org/10.1109/icstw.2010.13openalex-snapshot
A Manifesto for Higher Order Mutation Testing
inferred← citeshttps://doi.org/10.1109/icstw.2011.38openalex-snapshot
Refactoring as Testability Transformation
inferred← citeshttps://doi.org/10.1109/issre.2017.36openalex-snapshot
Reflection Analysis for Java: Uncovering More Reflective Targets Precisely
inferred← citeshttps://doi.org/10.1109/issrew67781.2025.00041openalex-snapshot
Does More Training Data Enhance Verification Strategy Prediction?
inferred← citeshttps://doi.org/10.1109/jeeit.2019.8717424openalex-snapshot
Using Clause Slicing as Program Robustness Measurement Technique
inferred← citeshttps://doi.org/10.1109/qrs-c60940.2023.00101openalex-snapshot
WASMDYPA: Effectively Detecting WebAssembly Bugs via Dynamic Program Analysis
inferred← citeshttps://doi.org/10.1109/qrs54544.2021.00075openalex-snapshot
Towards More Reliable Automated Program Repair by Integrating Static Analysis Techniques
inferred← citeshttps://doi.org/10.1109/qrs57517.2022.00093openalex-snapshot
Parameter Description Generation with the Code Parameter Flow
inferred← citeshttps://doi.org/10.1109/qsic.2006.29openalex-snapshot
Extracting Reusable Object-Oriented Legacy Code Segments with Combined Formal Concept Analysis and Slicing Techniques for Service Integration
inferred← citeshttps://doi.org/10.1109/rtcsa58653.2023.00010openalex-snapshot
Timing Analysis of Embedded Software Updates
inferred← citeshttps://doi.org/10.1109/saner60148.2024.00037openalex-snapshot
WASMDYPA: Effectively Detecting WebAssembly Bugs via Dynamic Program Analysis
inferred← citeshttps://doi.org/10.1109/saner67736.2026.00114openalex-snapshot
Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study
inferred← citeshttps://doi.org/10.1109/scam.2002.1134105openalex-snapshot
VADA: a transformation-based system for variable dependence analysis
inferred← citeshttps://doi.org/10.1109/scam.2002.1134110openalex-snapshot
An interprocedural amorphous slicer for WSL
inferred← citeshttps://doi.org/10.1109/scam.2003.1238046openalex-snapshot
Results from a large-scale study of performance optimization techniques for source code analyses based on graph reachability algorithms
inferred← citeshttps://doi.org/10.1109/scam.2005.28openalex-snapshot
Forward slices are smaller than backward slices
inferred← citeshttps://doi.org/10.1109/scam52516.2021.00037openalex-snapshot
Removing Redundant Statements in Amplified Test Cases
inferred← citeshttps://doi.org/10.1109/tse.2004.78openalex-snapshot
Analysis and visualization of predicate dependence on formal parameters and global variables
inferred← citeshttps://doi.org/10.1109/tse.2011.57openalex-snapshot
A Semi-Automatic Approach for Extracting Software Product Lines
inferred← citeshttps://doi.org/10.1109/tse.2024.3435067openalex-snapshot
Mitigating the Uncertainty and Imprecision of Log-Based Code Coverage Without Requiring Additional Logging Statements
inferred← citeshttps://doi.org/10.1109/wcre.2002.1173076openalex-snapshot
A denotational interprocedural program slicer
inferred← citeshttps://doi.org/10.1109/wcre.2004.11openalex-snapshot
An initial approach to assessing program comprehensibility using spatial complexity, number of concepts and typographical style
inferred← citeshttps://doi.org/10.1109/wcre.2004.26openalex-snapshot
Loop squashing transformations for amorphous slicing
inferred← citeshttps://doi.org/10.1109/wcre.2006.22openalex-snapshot
Data Reverse Engineering using System Dependency Graphs
inferred← citeshttps://doi.org/10.1109/wcre.2013.6671274openalex-snapshot
Genetic programming for Reverse Engineering
inferred← citeshttps://doi.org/10.1145/1050849.1050865openalex-snapshot
A brief survey of program slicing
inferred← citeshttps://doi.org/10.1145/1085099.1085101openalex-snapshot
Lightweight program specialization via dynamic slicing
inferred← citeshttps://doi.org/10.1145/1217295.1217297openalex-snapshot
An empirical study of static program slice size
inferred← citeshttps://doi.org/10.1145/1290520.1290523openalex-snapshot
Empirical study of optimization techniques for massive slicing
inferred← citeshttps://doi.org/10.1145/1596527.1596528openalex-snapshot
Dependence clusters in source code
inferred← citeshttps://doi.org/10.1145/1806799.1806829openalex-snapshot
Developers ask reachability questions
inferred← citeshttps://doi.org/10.1145/1953355.1953369openalex-snapshot
Effective false positive filtering for evolving software
inferred← citeshttps://doi.org/10.1145/2187671.2187674openalex-snapshot
A vocabulary of program slicing-based techniques
inferred← citeshttps://doi.org/10.1145/2500828.2500845openalex-snapshot
Exploiting slicing and patterns for RTSJ immortal memory optimization
inferred← citeshttps://doi.org/10.1145/2610384.2610391openalex-snapshot
Reducing GUI test suites via program slicing
inferred← citeshttps://doi.org/10.1145/2771783.2771796openalex-snapshot
Automated software transplantation
inferred← citeshttps://doi.org/10.1145/2786805.2786872openalex-snapshot
Cross-language program slicing for dynamic web applications
inferred← citeshttps://doi.org/10.1145/2886098openalex-snapshot
Static Backward Slicing of Non-deterministic Programs and Systems
inferred← citeshttps://doi.org/10.1145/3468264.3468602openalex-snapshot
Conditional interpolation: making concurrent program verification more effective
inferred← citeshttps://doi.org/10.1145/3643739openalex-snapshot
Predictive Program Slicing via Execution Knowledge-Guided Dynamic Dependence Learning
inferred← citeshttps://doi.org/10.1145/3649814openalex-snapshot
A Learning-Based Approach to Static Program Slicing
inferred← citeshttps://doi.org/10.1145/3705305openalex-snapshot
Validity-Preserving Delta Debugging via Generator Trace Reduction
inferred← citeshttps://doi.org/10.1145/3728968openalex-snapshot
Static Program Reduction via Type-Directed Slicing
inferred← citeshttps://doi.org/10.1145/3832255openalex-snapshot
Multi-stage On-Demand Program Slicing for Modular Analysis of Multi-threaded Programs
inferred← citeshttps://doi.org/10.11591/ijeecs.v11.i1.pp308-317openalex-snapshot
A Proposed Java Static Slicing Approach
inferred← citeshttps://doi.org/10.11591/ijeecs.v13.i1.pp1-6openalex-snapshot
A proposed forward clause slicing application
inferred← citeshttps://doi.org/10.12681/eadd/20666openalex-snapshot
Evaluation and improvement of software architecture
inferred← citeshttps://doi.org/10.14257/ijseia.2016.10.3.05openalex-snapshot
Clauser: Clause Slicing Tool for C Programs
inferred← citeshttps://doi.org/10.15224/978-1-63248-010-1-01openalex-snapshot
Big Data Analytics on Cloud-Technical, Non- Technical and Security Issues
inferred← citeshttps://doi.org/10.20868/upm.thesis.329openalex-snapshot
Poly-controlled partial evaluation and its application to resource-aware program specialization
inferred← citeshttps://doi.org/10.24425/ijet.2024.149523openalex-snapshot
Adding parallelism to sequential programs – a combined method
inferred← citeshttps://doi.org/10.29007/jp9wopenalex-snapshot
Combining Static Analysis and Dynamic Symbolic Execution in a Toolchain to detect Fault Injection Vulnerabilities
inferred← citeshttps://doi.org/10.32657/10356/136764openalex-snapshot
Securing software systems via fuzz testing and verification
inferred← citeshttps://doi.org/10.4018/978-1-7998-3661-2.ch009openalex-snapshot
Extending the Knowledge Discovery Metamodel to Support Tasks and Presentation Behaviors of Design Knowledge
inferred← citeshttps://doi.org/10.4156/ijact.vol2.issue2.1openalex-snapshot
Constructive Dynamic Program Slicing Research
inferred← citeshttps://doi.org/10.48456/tr-660openalex-snapshot
Static program analysis based on virtual register renaming
inferred← citeshttps://doi.org/10.48550/arxiv.2105.09533openalex-snapshot
From Verification to Causality-based Explications
inferred← citeshttps://doi.org/10.5121/ijsea.2011.2304openalex-snapshot
Program Slicing Techniques and its Applications
inferred← citeshttps://doi.org/10.5445/ir/1000022278openalex-snapshot
Reconstruction of Software Component Architectures and Behaviour Models using Static and Dynamic Analysis
inferred← citeshttps://doi.org/10.5555/776816.776856openalex-snapshot
An empirical study of predicate dependence levels and trends
inferred← citeshttps://doi.org/10.5772/37475openalex-snapshot
Program Slicing Based on Monadic Semantics
inferred← citeshttps://doi.org/10.6100/ir635700openalex-snapshot
Formal methods in support of SMC design
inferred← citeshttps://doi.org/10.7753/ijcatr0303.1001openalex-snapshot
Image Steganography Using HBC and RDH Technique
inferred← citeshttps://doi.org/10.7753/ijcatr0303.1008openalex-snapshot
Cloud Computing: Technical, Non-Technical and Security Issues
inferred← citeshttps://doi.org/10.9790/9622-0707011720openalex-snapshot
Achieving Load Balancing through Program Slicing
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.