On the public citation graph

Conditioned slicing supports partition testing

https://doi.org/10.1002/stvr.232
0 signed · 51 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1016/s0164-1212(98)10006-7openalex-snapshot
An integrated environment for reuse reengineering C code
inferredcites →https://doi.org/10.1016/s0950-5849(98)00086-xopenalex-snapshot
Conditioned program slicing
inferredcites →https://doi.org/10.1109/casa.2003openalex-snapshot
Proceedings 11th IEEE International Workshop on Program Comprehension
inferredcites →https://doi.org/10.1109/icsm.2000.883049openalex-snapshot
ConSIT: a conditioned program slicer
inferredcites →https://doi.org/10.1109/tse.1980.234486openalex-snapshot
A Domain Strategy for Computer Program Testing
inferredcites →https://doi.org/10.1109/tse.1982.235572openalex-snapshot
A Close Look at Domain Testing
inferredcites →https://doi.org/10.1109/wpc.2001.921717openalex-snapshot
Backward conditioning: a new program specialisation technique and its application to program comprehension
inferredcites →https://doi.org/10.7302/11363openalex-snapshot
Program Slices: Formal, Psychological, And Practical Investigations Of An Automatic Program Abstraction Method.

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/spe.1098openalex-snapshot
An empirical evaluation of several test‐a‐few strategies for testing particular conditions
inferred← citeshttps://doi.org/10.1002/spe.556openalex-snapshot
C ON SIT: a fully automated conditioned program slicer
inferred← citeshttps://doi.org/10.1002/stvr.287openalex-snapshot
Controlling test case explosion in test generation from B formal models
inferred← citeshttps://doi.org/10.1007/11547662_21openalex-snapshot
Understanding the Origin of Alarms in Astrée
inferred← citeshttps://doi.org/10.1007/978-3-540-31862-0_19openalex-snapshot
Combining Algebraic and Model-Based Test Case Generation
inferred← citeshttps://doi.org/10.1007/978-3-540-69073-3_17openalex-snapshot
Deriving Input Partitions from UML Models for Automatic Test Generation
inferred← citeshttps://doi.org/10.1007/978-3-642-30598-6_12openalex-snapshot
Choices, Choices: Comparing between CHOC’LATE and the Classification-Tree Methodology
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-10-3874-7_44openalex-snapshot
Interprocedural Conditioned Slicing
inferred← citeshttps://doi.org/10.1007/978-981-10-3874-7_48openalex-snapshot
Conditioned Slicing of Aspect-Oriented Program
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.1016/j.infsof.2012.08.008openalex-snapshot
Metamorphic slice: An application in spectrum-based fault localization
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.2016.04.009openalex-snapshot
Observational slicing based on visual semantics
inferred← citeshttps://doi.org/10.1016/j.jss.2023.111666openalex-snapshot
An empirical evaluation of quasi-static executable slices
inferred← citeshttps://doi.org/10.1016/j.jss.2025.112453openalex-snapshot
An empirical evaluation of static, dynamic, and hybrid slicing of WebAssembly binaries
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.scico.2014.10.006openalex-snapshot
Efficient safety checking for automotive operating systems using property-based slicing and constraint-based environment generation
inferred← citeshttps://doi.org/10.1016/j.tcs.2006.01.012openalex-snapshot
Theoretical foundations of dynamic 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.1093/comjnl/bxh121openalex-snapshot
Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas
inferred← citeshttps://doi.org/10.1109/cmpsac.2002.1045028openalex-snapshot
Slice-based dynamic memory modelling - a case study
inferred← citeshttps://doi.org/10.1109/cmpsac.2004.1342850openalex-snapshot
On the testing of particular input conditions
inferred← citeshttps://doi.org/10.1109/compsac.2013.86openalex-snapshot
Interactive Verification of Safety-Critical Software
inferred← citeshttps://doi.org/10.1109/csmr.2003.1192446openalex-snapshot
Formal program reversing by conditioned slicing
inferred← citeshttps://doi.org/10.1109/icsme58846.2023.00020openalex-snapshot
Dynamic Slicing of WebAssembly Binaries
inferred← citeshttps://doi.org/10.1109/icst.2008.40openalex-snapshot
Quality of Automatically Generated Test Cases based on OCL Expressions
inferred← citeshttps://doi.org/10.1109/scam.2014.26openalex-snapshot
Seeing Is Slicing: Observation Based Slicing of Picture Description Languages
inferred← citeshttps://doi.org/10.1109/scam.2015.7335396openalex-snapshot
ORBS and the limits of static slicing
inferred← citeshttps://doi.org/10.1109/wcre.2002.1173060openalex-snapshot
Code extraction algorithms which unify slicing and concept assignment
inferred← citeshttps://doi.org/10.1109/wcre.2002.1173069openalex-snapshot
ConSUS: a scalable approach to conditioned slicing
inferred← citeshttps://doi.org/10.1109/wcre.2002.1173076openalex-snapshot
A denotational interprocedural program slicer
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/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/2635868.2635893openalex-snapshot
ORBS: language-independent program slicing
inferred← citeshttps://doi.org/10.1145/3106237.3106304openalex-snapshot
Generalized observational slicing for tree-represented modelling languages
inferred← citeshttps://doi.org/10.14232/actacyb.20.4.2012.2openalex-snapshot
Understanding Program Slices
inferred← citeshttps://doi.org/10.25916/sut.26261771openalex-snapshot
On the analysis of spectrum-based fault localization
inferred← citeshttps://doi.org/10.4018/ijrsda.2019010103openalex-snapshot
Conditioned Slicing of Interprocedural Programs
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.