BibSLEIGH — slicing tag

slicing

slicing

Tag #slicing

324 papers:

MSR-2019-FunakiHS: The impact of systematic edits in history slicing (RF, SH, MS), pp. 555–559.
IFM-2019-ChalupaS #evaluation #verification: Evaluation of Program Slicing in Software Verification (MC, JS), pp. 101–119.
SEFM-2019-BeckertBGHLU #relational #using #verification: Using Relational Verification for Program Slicing (BB, TB, SG, MH, DL, MU), pp. 353–372.
ICSE-2019-AzimAN0 #android: Dynamic slicing for Android (TA, AA, IN, RG0), pp. 1154–1164.
CC-2019-KSKP #functional #incremental #source code: A static slicing method for functional programs and its incremental version (PKK, AS, AK, SP), pp. 53–64.
ICSME-2018-GuoMYW #automation #empirical #performance #program repair: An Empirical Study on the Effect of Dynamic Slicing on Automated Program Repair Efficiency (AG, XM, DY, SW), pp. 554–558.
SCAM-2018-EilersHPB #fine-grained #research: [Research Paper] Fine-Grained Model Slicing for Rebel (RE, JH, WP, JB0), pp. 235–244.
SCAM-2018-MuylaertR #commit #research #using: [Research Paper] Untangling Composite Commits Using Program Slicing (WM, CDR), pp. 193–202.
MoDELS-2018-AhmadiPD #embedded #modelling #realtime #uml: Slicing UML-based Models of Real-time Embedded Systems (RA, EP, JD), pp. 346–356.
OOPSLA-2018-RamaKS #analysis #points-to #refinement: Refinement in object-sensitivity points-to analysis via slicing (GMR, RK, HS), p. 27.
LOPSTR-2018-FalaschiO #constraints #logic: An Assertion Language for Slicing Constraint Logic Languages (MF, CO), pp. 148–165.
ASE-2018-Lin0TBWD #debugging: Break the dead end of dynamic slicing: localizing data and control omission bug (YL0, JS0, LT, GB, HW, JSD), pp. 509–519.
FASE-2018-TaentzerKPK #framework #incremental: A Formal Framework for Incremental Model Slicing (GT, TK, CP, UK), pp. 3–20.
SCAM-2017-BinkleyGIKY: Tree-Oriented vs. Line-Oriented Observation-Based Slicing (DWB, NG, SSI, JK, SY), pp. 21–30.
IFM-2017-BeckertBGHLU #automation #named #relational #verification: SemSlice: Exploiting Relational Verification for Automatic Program Slicing (BB, TB, SG, MH, DL, MU), pp. 312–319.
ICML-2017-CarriereCO #diagrams #kernel #persistent: Sliced Wasserstein Kernel for Persistence Diagrams (MC, MC, SO), pp. 664–673.
ASE-2017-Li #evolution #semantics: Managing software evolution through semantic history slicing (YL0), pp. 1014–1017.
ASE-2017-PietschOKK #incremental: Incrementally slicing editable submodels (CP, MO, UK, TK), pp. 913–918.
ESEC-FSE-2017-GoldBHIKY #modelling: Generalized observational slicing for tree-represented modelling languages (NEG, DWB, MH, SSI, JK, SY), pp. 547–558.
CASE-2017-WasserfallH0 #adaptation #process #revisited: Adaptive slicing for the FDM process revisited (FW, NH, JZ0), pp. 49–54.
CASE-2017-ZhangXSZGD #3d #parallel: A GPU-based parallel slicer for 3D printing (XZ, GX, ZS, YZ, CG, XD), pp. 55–60.
FASE-2017-RiescoAA #semantics: Slicing from Formal Semantics: Chisel (AR0, IMA, MA), pp. 374–378.
CSL-2017-ChenFH #bound #first-order #logic #quantifier #rank: Slicewise Definability in First-Order Logic with Bounded Quantifier Rank (YC, JF, XH), p. 16.
WICSA-2016-GerlitzK #matlab #modelling: Flow Sensitive Slicing for MATLAB/Simulink Models (TG, SK), pp. 81–90.
ICPC-2016-IslamB #named #parallel: PORBS: A parallel observation-based slicer (SSI, DWB), pp. 1–3.
SANER-2016-YeZMYZ #javascript #performance #precise #source code: Efficient and Precise Dynamic Slicing for Client-Side JavaScript Programs (JY, CZ, LM0, HY0, JZ), pp. 449–459.
ICML-2016-Bloem-ReddyC: Slice Sampling on Hamiltonian Trajectories (BBR, JC), pp. 3050–3058.
ECOOP-2016-LiTZX: Program Tailoring: Slicing by Sequential Criteria (YL0, TT0, YZ0, JX), p. 27.
OOPSLA-2016-SrinivasanR #algorithm: An improved algorithm for slicing machine code (VS, TWR), pp. 378–393.
LOPSTR-2016-FalaschiGOP #concurrent #constraints #source code: Slicing Concurrent Constraint Programs (MF, MG, CO, CP), pp. 76–93.
ASE-2016-LiZRC #precise #refinement #semantics: Precise semantic history slicing through dynamic delta refinement (YL, CZ, JR, MC), pp. 495–506.
FASE-2016-LechenetKG #branch #debugging #verification: Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices (JCL, NK, PLG), pp. 179–196.
SANER-2015-LityBS #incremental #product line #towards: Towards incremental model slicing for delta-oriented software product lines (SL, HB, IS), pp. 530–534.
SCAM-2015-BinkleyGHIKY: ORBS and the limits of static slicing (DB, NEG, MH, SSI, JK, SY), pp. 1–10.
ICGT-2015-Oliveira #graph transformation #reachability: Reachability in Graph Transformation Systems and Slice Languages (MdOO), pp. 121–137.
ECIR-2015-ChappellGZ #approximate #nearest neighbour: Approximate Nearest-Neighbour Search with Inverted Signature Slice Lists (TC, SG, GZ), pp. 147–158.
AdaEurope-2015-KhanfarLM #safety: Static Backward Program Slicing for Safety-Critical Systems (HK, BL, ANM), pp. 50–65.
PEPM-2015-LisperMK: Static Backward Demand-Driven Slicing (BL, ANM, HK), pp. 115–126.
PEPM-2015-LiT #concurrent: Safe Concurrency Introduction through Slicing (HL, SJT), pp. 103–113.
ASE-2015-LiRC #semantics #version control: Semantic Slicing of Software Version Histories (T) (YL, JR, MC), pp. 686–696.
ESEC-FSE-2015-KargenS #source code #using: Turning programs against each other: high coverage fuzz-testing using binary-code mutation and dynamic slicing (UK, NS), pp. 782–792.
ESEC-FSE-2015-NguyenKN #web: Cross-language program slicing for dynamic web applications (HVN, CK, TNN), pp. 369–380.
TACAS-2015-KumarSK #concept #scalability: Value Slice: A New Slicing Concept for Scalable Property Checking (SK, AS, UPK), pp. 101–115.
QoSA-2014-JohnsenLPH #dependence #graph #modelling #verification: Regression verification of AADL models through slicing of system dependence graphs (AJ, KL, PP, KH), pp. 103–112.
ICSME-2014-KanningS #preprocessor #variability: Program Slicing in the Presence of Preprocessor Variability (FK, SS), pp. 501–505.
SCAM-2014-JiangSGC #maintenance #on the: On the Accuracy of Forward Dynamic Slicing and Its Effects on Software Maintenance (SJ, RAS, MG, HC), pp. 145–154.
SCAM-2014-KargenS #performance #scalability: Efficient Utilization of Secondary Storage for Scalable Dynamic Slicing (UK, NS), pp. 155–164.
SCAM-2014-YooBE: Seeing Is Slicing: Observation Based Slicing of Picture Description Languages (SY, DB, RDE), pp. 175–184.
IFM-2014-AsavoaeAR #interprocedural #semantics #towards: Towards a Formal Semantics-Based Technique for Interprocedural Slicing (IMA, MA, AR), pp. 291–306.
PLDI-2014-AungHJR: Specialization slicing (MA, SH, RJ, TWR), p. 19.
PLDI-2014-HurNRS #probability #source code: Slicing probabilistic programs (CKH, AVN, SKR, SS), p. 16.
ASE-2014-PalepuJ #dynamic analysis: Discriminating influences among instructions in a dynamic slice (VKP, JAJ), pp. 37–42.
FSE-2014-BinkleyGHIKY #independence #named: ORBS: language-independent program slicing (DB, NG, MH, SSI, JK, SY), pp. 109–120.
FSE-2014-JaffarM #control flow #graph: A path-sensitively sliced control flow graph (JJ, VM), pp. 133–143.
CGO-2014-WangPPLGN #debugging #named: DrDebug: Deterministic Replay based Cyclic Debugging with Dynamic Slicing (YW, HP, CP, GL, RG, IN), p. 98.
DATE-2014-FriedlerKMNS #effectiveness #locality #using: Effective post-silicon failure localization using dynamic program slicing (OF, WK, AM, AN, VS), pp. 1–6.
TACAS-2014-SlabyS #contest #precise: Symbiotic 2: More Precise Slicing — (Competition Contribution) (JS, JS), pp. 415–417.
ISSTA-2014-ArltPW #testing #user interface: Reducing GUI test suites via program slicing (SA, AP, MW), pp. 270–281.
ECSA-2013-ChristensenH #architecture #automation #prototype #towards: Architectural Slicing: Towards Automatic Harvesting of Architectural Prototypes (HBC, KMH), pp. 316–319.
VLDB-2013-JindalPPD #comparison: A Comparison of Knives for Bread Slicing (AJ, EP, VP, JD), pp. 361–372.
VISSOFT-2013-ServantJ #named #source code #visualisation: Chronos: Visualizing slices of source-code history (FS, JAJ), pp. 1–4.
SEKE-2013-DelfimG #coordination #mining #multi #using: Multiple Coordinated Views to Support Aspect Mining Using Program Slicing (FMD, REG), pp. 531–536.
MoDELS-2013-SunFR #modelling #uml: Contract-Aware Slicing of UML Class Models (WS, RBF, IR), pp. 724–739.
SAS-2013-Komondoor #abstract interpretation #imperative #precise #source code: Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation (RK), pp. 259–282.
ICSE-2013-SantelicesZJCZ: Quantitative program slicing: separating statements by relevance (RAS, YZ, SJ, HC, YJZ), pp. 1269–1272.
SAC-2013-HalderC #database #query: Abstract program slicing of database query languages (RH, AC), pp. 838–845.
SAC-2013-HoffmannUHS: Slicing droids: program slicing for smali code (JH, MU, TH, MS), pp. 1844–1851.
TACAS-2013-SlabyST #contest #execution #named #symbolic computation: Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution — (Competition Contribution) (JS, JS, MT), pp. 630–632.
WCRE-2012-AlomariCM #approach #performance #scalability: A Very Efficient and Scalable Forward Static Slicing Approach (HWA, MLC, JIM), pp. 425–434.
FM-2012-AlpuenteBFR #named: Julienne: A Trace Slicer for Conditional Rewrite Theories (MA, DB, FF, DR), pp. 28–32.
ICEIS-J-2012-YiasemisA12a #execution #fault #mutation testing #testing: Locating and Correcting Software Faults in Executable Code Slices via Evolutionary Mutation Testing (PSY, ASA), pp. 207–227.
CIKM-2012-LevacherLW #evaluation #reuse: An evaluation and enhancement of densitometric fragmentation for content slicing reuse (KL, SL, VW), pp. 2403–2406.
ICPR-2012-HinoWM: Sliced inverse regression with conditional entropy minimization (HH, KW, NM), pp. 1185–1188.
SEKE-2012-QiXW #concurrent #graph #interprocedural #reachability #source code: Slicing Concurrent Interprocedural Programs Based on Program Reachability Graphs (XQ, XX, PW), pp. 293–298.
SAS-2012-JaffarMNS: Path-Sensitive Backward Slicing (JJ, VM, JAN, AES), pp. 231–247.
ASE-2012-MaruyamaKOH #game studies: Slicing and replaying code change history (KM, EK, TO, SH), pp. 246–249.
FSE-2012-AcharyaR #impact analysis #industrial: Practical change impact analysis based on static program slicing for industrial software systems (MA, BR), p. 13.
FSE-2012-ServantJ: History slicing: assisting code-evolution tasks (FS, JAJ), p. 43.
FSE-2012-ShaikhW #diagrams #ocl #performance #uml #verification: UMLtoCSP (UOST): a tool for efficient verification of UML/OCL class diagrams through model slicing (AS, UKW), p. 37.
ICSE-2012-ReichertG #matlab #modelling: Slicing MATLAB Simulink models (RR, SG), pp. 551–561.
ICSE-2012-Wen #fault #locality: Software fault localization based on program slicing spectrum (WW), pp. 1511–1514.
SAC-2012-ChebaroKGJ #dynamic analysis #verification: Program slicing enhances a verification technique combining static and dynamic analysis (OC, NK, AG, JJ), pp. 1284–1291.
HPDC-2012-XuGRKKX #cpu #named #scheduling #virtual machine: vSlicer: latency-aware virtual machine scheduling via differentiated-frequency CPU slicing (CX, SG, PNR, AK, RRK, DX), pp. 3–14.
FASE-2012-AbadiEF #theory and practice: Fine Slicing — Theory and Applications for Computation Extraction (AA, RE, YAF), pp. 471–485.
ICST-2012-UjhelyiHV #model transformation: Dynamic Backward Slicing of Model Transformations (ZU, ÁH, DV), pp. 1–10.
ICSM-2011-QusefBOLB #concept #named #traceability #using: SCOTCH: Test-to-code traceability using slicing and conceptual coupling (AQ, GB, RO, ADL, DB), pp. 63–72.
WCRE-2011-Qusef #concept #traceability: Recovering Test-to-Code Traceability Via Slicing and Conceptual Coupling (AQ), pp. 417–420.
WCRE-2011-QusefBOLB #named: SCOTCH: Slicing and Coupling Based Test to Code Trace Hunter (AQ, GB, RO, ADL, DB), pp. 443–444.
CIKM-2011-Almendros-JimenezST #optimisation #xquery: XQuery optimization based on program slicing (JMAJ, JS, ST), pp. 1525–1534.
SEKE-2011-WenLSL #fault #locality: Program slicing spectrum-based software fault localization (WW, BL, XS, JL), pp. 213–218.
ASE-2011-AcherCLF #feature model #modelling: Slicing feature models (MA, PC, PL, RBF), pp. 424–427.
ASE-2011-AlvesGJd #impact analysis #using: Fault-localization using dynamic slicing and change impact analysis (EA, MG, VJ, Md), pp. 520–523.
ASE-2011-MarasCC #web: Client-side web application slicing (JM, JC, IC), pp. 504–507.
ASE-2011-ServantJ: History slicing (FS, JAJ), pp. 452–455.
ASE-2011-UjhelyiHV #model transformation #towards: Towards dynamic backward slicing of model transformations (ZU, ÁH, DV), pp. 404–407.
ESEC-FSE-2011-FalessiNSBM #design #named #safety: SafeSlice: a model slicing and design safety inspection tool for SysML (DF, SN, MS, LCB, AM), pp. 460–463.
ICSE-2011-AcharyaR #impact analysis #industrial: Practical change impact analysis based on static program slicing for industrial software systems (MA, BR), pp. 746–755.
SAC-2011-ParisiniM #branch #continuation: Improving CP-based local branching via sliced neighborhood search (FP, MM), pp. 887–892.
CADE-2011-AlpuenteBER #logic: Backward Trace Slicing for Rewriting Logic Theories (MA, DB, JE, DR), pp. 34–48.
TAP-2011-ChebaroKGJ #analysis #c #debugging #generative #testing: The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging (OC, NK, AG, JJ), pp. 78–83.
VLDB-2010-BrunoNR #query: Slicing Long-Running Queries (NB, VRN, RR), pp. 530–541.
ICPC-2010-AreiasCP #contract #reuse #safety: Contract-Based Slicing Helps on Safety Reuse (SA, DCdC, JSP), pp. 62–63.
ICSM-2010-AbdallahMG #robust #using: Certifying software robustness using program slicing (MA, MM, KG), pp. 1–2.
SEFM-2010-BarrosCHP #graph: Assertion-based Slicing and Slice Graphs (JBB, DCdC, PRH, JSP), pp. 93–102.
ICPR-2010-DursunDG #2d #image #re-engineering #theorem: Paired Transform Slice Theorem of 2-D Image Reconstruction from Projections (SD, ND, AMG), pp. 2395–2398.
SEKE-2010-DuanCZQY #clustering #testing: Improving Cluster Selection Techniques of Regression Testing by Slice Filtering (YD, ZC, ZZ, JQ, ZY), pp. 253–258.
MoDELS-v2-2010-LanoR #model transformation #modelling #uml #using: Slicing of UML Models Using Model Transformations (KL, SKR), pp. 228–242.
ASE-2010-ShaikhCWM #modelling #ocl #uml: Verification-driven slicing of UML/OCL models (AS, RC, UKW, NM), pp. 185–194.
ICSE-2010-RungtaM #concurrent #debugging #source code: Slicing and dicing bugs in concurrent programs (NR, EM), pp. 195–198.
SAC-2010-CruzH #documentation #visualisation #xml: Exploring, visualizing and slicing the soul of XML documents (DCdC, PRH), pp. 40–46.
LDTA-2010-CortesiH #dependence #graph #semantics: Dependence condition graph for semantics-based abstract program slicing (AC, RH), p. 4.
DATE-2010-GupteJ #evaluation #fault: An evaluation of a slice fault aware tool chain (AG, PHJ), pp. 1803–1808.
CSL-2010-ChenF #on the #problem #proving: On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT (YC, JF), pp. 200–214.
ISSTA-2010-WeeratungeZSJ #concurrent #debugging #using: Analyzing concurrency bugs using dual slicing (DW, XZ, WNS, SJ), pp. 253–264.
ICPC-J-2008-VidacsBG09 #c #c++ #preprocessor: Combining preprocessor slicing with C/C++ language slicing (LV, ÁB, TG), pp. 399–413.
SCAM-2009-Ward: Properties of Slicing Definitions (MPW), pp. 23–32.
PEPM-2009-LeuschelLOST #csp #named #specification: SOC: a slicer for CSP specifications (ML, ML, JO, JS, ST), pp. 165–168.
ESEC-FSE-2009-AbadiEF #control flow: Improving slice accuracy by compression of data and control flow paths (AA, RE, YAF), pp. 223–232.
CGO-2009-CordesFM #abstract interpretation #analysis #modelling #performance #precise: A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models (PL, DC, HF, PM), pp. 136–146.
TACAS-2009-ChenR #monitoring #parametricity: Parametric Trace Slicing and Monitoring (FC, GR), pp. 246–261.
ISSTA-2009-XinZ #memory management: Memory slicing (BX, XZ), pp. 165–176.
ICPC-2008-VidacsJBG #c #c++ #preprocessor: Combining Preprocessor Slicing with C/C++ Language Slicing (LV, JJ, ÁB, TG), pp. 163–171.
ICSM-2008-TallamTG #concurrent #detection #parallel #source code #thread: Dynamic slicing of multithreaded programs for race detection (ST, CT, RG), pp. 97–106.
SCAM-2008-Zanardini #semantics: The Semantics of Abstract Program Slicing (DZ), pp. 89–98.
SEKE-2008-Wotawa #modelling: Bridging the Gap Between Slicing and Model-based Diagnosis (FW), pp. 836–841.
MoDELS-2008-OberCL #behaviour #composition #modelling #using: Behavioral Modelling and Composition of Object Slices Using Event Observation (IO, BC, YL), pp. 219–233.
MoDELS-2008-OberCL #behaviour #composition #modelling #using: Behavioral Modelling and Composition of Object Slices Using Event Observation (IO, BC, YL), pp. 219–233.
PEPM-2008-MastroeniZ #dependence #semantics #syntax: Data dependencies and program slicing: from syntax to abstract semantics (IM, DZ), pp. 125–134.
SAC-2008-QianX: Scenario oriented program slicing (JQ, BX), pp. 748–752.
DAC-2008-GanaiG #scalability #towards: Tunneling and slicing: towards scalable BMC (MKG, AG), pp. 137–142.
ISSTA-2008-DorLLSW #enterprise #impact analysis: Customization change impact analysis for erp professionals via program slicing (ND, TLA, SL, MS, DW), pp. 97–108.
CBSE-2007-SeryP #behaviour #component #composition #specification: Slicing of Component Behavior Specification with Respect to Their Composition (OS, FP), pp. 189–202.
CSMR-2007-SzegediGBGT #concept #java #source code #verification: Verifying the Concept of Union Slices on Java Programs (AS, TG, ÁB, TG, GT), pp. 233–242.
ICSM-2007-Ettinger #refactoring: Refactoring via Program Slicing and Sliding (RE), pp. 505–506.
SCAM-2007-CeccatoPNCT: Barrier Slicing for Remote Software Trusting (MC, MDP, JN, CSC, PT), pp. 27–36.
SCAM-2007-GiffhornH #algorithm #concurrent #evaluation #source code: An Evaluation of Slicing Algorithms for Concurrent Programs (DG, CH), pp. 17–26.
IFM-2007-Bruckner #concurrent #realtime #specification #verification: Slicing Concurrent Real-Time System Specifications for Verification (IB), pp. 54–74.
PLDI-2007-SridharanFB: Thin slicing (MS, SJF, RB), pp. 112–122.
ASE-2007-TkachukR #composition #generative #model checking: Combining environment generation and slicing for modular software model checking (OT, SPR), pp. 401–404.
ICSE-2007-UzuncaovaK #declarative #named #specification: Kato: A Program Slicing Tool for Declarative Specifications (EU, SK), pp. 767–770.
SAC-2007-PaulK #precise #using: Precise dynamic slicing using execution-summary (AP, RK), pp. 1330–1331.
CAV-2007-ChenR #parametricity: Parametric and Sliced Causality (FC, GR), pp. 240–253.
ISSTA-2007-WangR: Hierarchical dynamic slicing (TW, AR), pp. 228–238.
SCAM-J-2005-BinkleyDGHKK06 #formal method: A formalisation of the relationship between forms of program slicing (DB, SD, TG, MH, ÁK, BK), pp. 228–252.
ICPC-2006-JetleyZI #analysis #using: Using Abstraction-driven Slicing for Postmortem Analysis of Software (RPJ, YZ, SPI), pp. 107–116.
SCAM-2006-BeszedesGG #algorithm #dependence: Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms (ÁB, TG, TG), pp. 21–30.
SCAM-2006-GallagherBH: Stop-List Slicing (KG, DB, MH), pp. 11–20.
SCAM-2006-PanKW #classification #debugging #metric #using: Bug Classification Using Program Slicing Metrics (KP, SK, EJWJ), pp. 31–42.
WCRE-2006-BinkleyGHLM #concept #empirical #execution: An Empirical Study of Executable Concept Slice Size (DB, NG, MH, ZL, KM), pp. 103–114.
MoDELS-2006-CibranD #aspect-oriented: A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects (MAC, MD), pp. 170–184.
MoDELS-2006-CibranD #aspect-oriented: A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects (MAC, MD), pp. 170–184.
PLDI-2006-ZhangGG #dynamic analysis: Pruning dynamic slices with confidence (XZ, NG, RG), pp. 169–180.
PPDP-2006-SilvaC #algorithm #debugging: Combining algorithmic debugging and program slicing (JS, OC), pp. 157–166.
FSE-2006-ZhangTG #execution #performance #source code: Dynamic slicing long running programs through execution fast forwarding (XZ, ST, RG), pp. 81–91.
LCTES-2006-SandbergEGL #analysis #performance: Faster WCET flow analysis by program slicing (CS, AE, JG, BL), pp. 103–112.
TACAS-2006-DwyerHHRRW #concurrent #effectiveness #object-oriented #reduction #source code: Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs (MBD, JH, MH, VPR, R, TW), pp. 73–89.
CSMR-2005-WardZH #abstraction #refinement #semantics: Conditioned Semantic Slicing via Abstraction and Refinement in FermaT (MPW, HZ, TH), pp. 178–187.
ICSM-2005-KagdiMS #modelling #uml: Context-Free Slicing of UML Class Models (HHK, JIM, AS), pp. 635–638.
SCAM-2005-BinkleyDGHKK: Minimal Slicing and the Relationships Between Forms of Slicing (DB, SD, TG, MH, ÁK, BK), pp. 45–56.
SCAM-2005-BinkleyH: Forward slices are smaller than backward slices (DB, MH), pp. 15–24.
SCAM-2005-HongLS #abstract interpretation #approach #model checking: Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking (HSH, IL, OS), pp. 25–34.
SCAM-2005-SzegediG #bytecode #java #source code: Dynamic Slicing of Java Bytecode Programs (AS, TG), pp. 35–44.
WCRE-2005-FatiregunHH #search-based: Search-Based Amorphous Slicing (DF, MH, RMH), pp. 3–12.
AdaEurope-2005-SwardB #equivalence #functional #proving: Proving Functional Equivalence for Program Slicing in SPARK™ (RES, LCBI), pp. 105–114.
PLDI-2005-JhalaM: Path slicing (RJ, RM), pp. 38–47.
PLDI-2005-QuinonesMSMGT #compilation #framework #thread: Mitosis compiler: an infrastructure for speculative threading based on pre-computation slices (CGQ, CM, FJS, PM, AG, DMT), pp. 269–279.
SIGAda-2005-SwardB #optimisation: Optimizing the SPARK program slicer (RES, LCBI), pp. 17–22.
CC-2005-ConditN #independence: Data Slicing: Separating the Heap into Independent Regions (JC, GCN), pp. 172–187.
DATE-2005-LavagnoPSW #design: A Time Slice Based Scheduler Model for System Level Design (LL, CP, VS, YW), pp. 378–383.
ESOP-2005-LeuschelV #deduction: Forward Slicing by Conjunctive Partial Deduction and Argument Filtering (ML, GV), pp. 61–76.
ESOP-2005-RanganathABDH: A New Foundation for Control-Dependence and Slicing for Modern Program Structures (VPR, TA, AB, MBD, JH), pp. 77–93.
FASE-2005-JayaramanRH #delivery #eclipse #java #named: Kaveri: Delivering the Indus Java Program Slicer to Eclipse (GJ, VPR, JH), pp. 269–272.
CSMR-2004-Al-EkramK #composition #concept #source code #using: Source Code Modularization Using Lattice of Concept Slices (RAE, KK), pp. 195–203.
ICSM-2004-IshioKI #aspect-oriented #debugging #graph: Debugging Support for Aspect-Oriented Program Based on Program Slicing and Call Graph (TI, SK, KI), pp. 178–187.
ICSM-2004-Krinke #dependence #visualisation: Visualization of Program Dependence and Slices (JK), pp. 168–177.
ICSM-2004-Krinke04a #concurrent #source code: Advanced Slicing of Sequential and Concurrent Programs (JK), pp. 464–468.
ICSM-2004-RillingMO: Context Driven Slicing Based Coupling Measure (JR, WJM, OO), p. 532.
ICSM-2004-WillmorES #database: Program Slicing in the Presence of a Database State (DW, SME, JS), pp. 448–452.
IWPC-2004-DanicicLH #execution #using: Building Executable Union Slices using Conditioned Slicing (SD, ADL, MH), pp. 89–99.
PASTE-2004-HammerS #java: An improved slicer for Java (CH, GS), pp. 17–22.
SCAM-2004-BinkleyDGHKO #execution #formal method: Formalizing Executable Dynamic and Forward Slicing (DB, SD, TG, MH, ÁK, LO), pp. 43–52.
SCAM-2004-Gallagher #interprocedural: Some Notes on Interprocedural Program Slicing (KBG), pp. 36–42.
WCRE-2004-HuHHB: Loop Squashing Transformations for Amorphous Slicing (LH, MH, RMH, DB), pp. 152–160.
CAiSE-2004-EderKM #detection: Analysing Slices of Data Warehouses to Detect Structural Modifications (JE, CK, DM), pp. 492–505.
PEPM-2004-OchoaSV: Dynamic slicing based on redex trails (CO, JS, GV), pp. 123–134.
PLDI-2004-ZhangG #effectiveness: Cost effective dynamic program slicing (XZ, RG), pp. 94–106.
ICSE-2004-AkgulMP #assembly #execution #performance: A Fast Assembly Level Reverse Execution Method via Dynamic Slicing (TA, VJMI, SP), pp. 522–531.
ICSE-2004-WangR #bytecode #java #source code #using: Using Compressed Bytecode Traces for Slicing Java Programs (TW, AR), pp. 512–521.
ICSE-2004-ZhangGZ #diagrams #dynamic analysis #order #performance #using: Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams (XZ, RG, YZ), pp. 502–511.
CC-2004-RanganathH #concurrent #dependence #java #source code: Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs (VPR, JH), pp. 39–56.
CAV-2004-BrabermanGO #automaton #named: ObsSlice: A Timed Automata Slicer Based on Observers (VAB, DG, AO), pp. 470–474.
VLDB-2003-GaoS #evaluation #query #xml: Temporal Slicing in the Evaluation of XML Queries (DG, RTS), pp. 632–643.
CSMR-2003-LuciaHHK: Unions of Slices Are Not Slices (ADL, MH, RMH, JK), pp. 363–367.
CSMR-2003-Villavicencio: Formal Program Reversing by Conditioned Slicing (GV), pp. 368–378.
ICSM-2003-BinkleyH #context-sensitive grammar #empirical #scalability: A Large-Scale Empirical Study of Forward and Backward Static Slice Size and Context Sensitivity (DB, MH), pp. 44–53.
ICSM-2003-KorelSTV #modelling: Slicing of State-Based Models (BK, IS, LHT, BV), pp. 34–43.
IWPC-2003-GallagherL #composition #question: Are Decomposition Slices Clones? (KG, LL), pp. 251–257.
IWPC-2003-RillingK #complexity #comprehension #identification #metric #using: Identifying Comprehension Bottlenecks Using Program Slicing and Cognitive Complexity Metric (JR, TK), pp. 115–124.
SCAM-2003-KissJLG #bytecode #interprocedural: Interprocedural Static Slicing of Binary Executables (ÁK, JJ, GL, TG), p. 118–?.
SCAM-2003-Krinke: Barrier Slicing and Chopping (JK), pp. 81–87.
SCAM-2003-KulkarniR #source code: Static Slicing of Reactive Programs (ARK, SR), pp. 98–107.
SCAM-2003-UmemoriKYI #design #implementation #java: Design and Implementation of Bytecode-based Java Slicing System (FU, KK, RY, KI), pp. 108–117.
SCAM-2003-Ward #case study #semantics: Slicing the SCAM Mug: A Case Study in Semantic Slicing (MPW), pp. 88–97.
WCRE-2003-GallagherB #composition #empirical #equivalence: An Empirical Study of Computation Equivalence as Determined by Decomposition Slice Equivalence (KG, DB), pp. 316–322.
SEKE-2003-ChenXCYZ #scalability #source code: Partial Slicing for Large Programs (ZC, BX, WCC, HY, JZ), pp. 204–207.
PEPM-2003-AllenH #exception #java #source code: Slicing java programs that throw and catch exceptions (MA, SH), pp. 44–54.
PEPM-2003-HatcliffDDJRR #component #corba #design #partial evaluation: Slicing and partial evaluation of CORBA component model designs for avionics system (JH, WD, MBD, GJ, VPR, R), pp. 1–2.
SIGAda-2003-SwardC #ada #named: AdaSlicer: an Ada program slicer (RES, ATC), pp. 10–16.
ESEC-FSE-2003-Krinke #concurrent #source code: Context-sensitive slicing of concurrent programs (JK), pp. 178–187.
ICSE-2003-YokomoriIYMKI #component #java #program analysis: Java Program Analysis Projects in Osaka University: Aspect-Based Slicing System ADAS and Ranked-Component Search System SPARS-J (RY, TI, TY, MM, SK, KI), pp. 828–829.
ICSE-2003-ZhangGZ #algorithm #precise: Precise Dynamic Slicing Algorithms (XZ, RG, YZ), pp. 319–329.
CGO-2003-ZhangG #security: Hiding Program Slices for Software Security (XZ, RG), pp. 325–336.
ESOP-2003-HaackW #fault #higher-order: Type Error Slicing in Implicitly Typed Higher-Order Languages (CH, JBW), pp. 284–301.
CADE-2003-BaumgartnerFGS #deduction #interactive #quote: “Living Book” :- “Deduction”, “Slicing”, “Interaction” (PB, UF, MGH, AS), pp. 284–288.
ICSM-2002-BeszedesFSCG #maintenance: Union Slices for Program Maintenance (ÁB, CF, ZMS, JC, TG), pp. 12–21.
ICSM-2002-HarmanHHFDWSB #testing: Evolutionary Testing Supported by Slicing and Transformation (MH, LH, RMH, CF, SD, JW, HS, AB), p. 285.
ICSM-2002-Krinke: Evaluating Context-Sensitive Slicing and Chopping (JK), pp. 22–31.
IWPC-2002-TakadaOI #information management #lightweight #using: Dependence-Cache Slicing: A Program Slicing Method Using Lightweight Dynamic Information (TT, FO, KI), pp. 169–177.
IWPC-2002-Zhao #aspect-oriented: Slicing Aspect-Oriented Software (JZ), pp. 251–260.
SCAM-2002-HarmanHMZDDO #interprocedural: An Interprocedural Amorphous Slicer for WSL (MH, LH, MM, XZ, SD, MD, LO), pp. 105–114.
SCAM-2002-RiccaT #dependence #graph #web: Construction of the System Dependence Graph for Web Application Slicing (FR, PT), pp. 123–132.
SCAM-2002-RillingLG #message passing #source code: Predicate-Based Dynamic Slicing of Message Passing Programs (JR, HFL, DG), p. 133–?.
SCAM-2002-XuCY #debugging #object-oriented #source code: Dynamic Slicing Object-Oriented Programs for Debugging (BX, ZC, HY), pp. 115–122.
WCRE-2002-DaoudiOHDHFW #approach #named #scalability: ConSUS: A Scalable Approach to Conditioned Slicing (MD, LO, JH, SD, MH, CF, MPW), pp. 109–118.
WCRE-2002-HarmanGHB #algorithm #concept: Code Extraction Algorithms which Unify Slicing and Concept Assignment (MH, NG, RMH, DB), pp. 11–21.
WCRE-2002-OuarbyaDDHF #interprocedural: A Denotational Interprocedural Program Slicer (LO, SD, MD, MH, CF), p. 181–?.
ICPR-v2-2002-SinghG #pattern matching #pattern recognition #recognition #using: Pattern Recognition Using Information Slicing Method (pRISM) (SS, AG), pp. 144–147.
ICPR-v4-2002-NgoPZ #analysis #retrieval: Motion Retrieval by Temporal Slices Analysis (CWN, TCP, HZ), pp. 64–67.
LOPSTR-2002-Vidal #declarative #multi #partial evaluation #source code: Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation (GV), pp. 219–237.
FSE-2002-MockACE #points-to: Improving program slicing with dynamic points-to data (MM, DCA, CC, SJE), pp. 71–80.
LDTA-2002-GondowK #c #towards #using #xml: Towards ANSI C Program Slicing using XML (KG, HK), pp. 30–49.
DATE-2002-PeyranZ: Transforming Arbitrary Structures into Topologically Equivalent Slicing Structures (OP, WZ), p. 1099.
FASE-2002-KumarH #source code: Better Slicing of Programs with Jumps and Switches (SK, SH), pp. 96–112.
IWPC-J-1999-FrancelR01 #debugging: The value of slicing while debugging (MAF, SR), pp. 151–169.
CSMR-2001-BeszedesGSCG #c #maintenance #scalability #source code: Dynamic Slicing Method for Maintenance of Large C Programs (ÁB, TG, ZMS, JC, TG), pp. 105–113.
CSMR-2001-Villavicencion #automation #detection #program analysis #programming: Program Analysis for the Automatic Detection of Programming Plans Applying Slicing (GV), pp. 188–191.
ICSM-2001-HarmanHFDH: Pre/Post Conditioned Slicing (MH, RMH, CF, SD, JH), pp. 138–147.
ICSM-2001-OrsoSH #incremental: Incremental Slicing Based on Data-Dependences Types (AO, SS, MJH), p. 158–?.
ICSM-2001-RiccaT #web: Web Application Slicing (FR, PT), pp. 148–157.
IWPC-2001-DengKN: Program Slice Browser (YD, SCK, YN), pp. 50–59.
PASTE-2001-AgrawalG: Evaluating explicitly context-sensitive program slicing (GA, LG), pp. 6–12.
PASTE-2001-Griswold: Making slicing practical: the final mile (WGG), p. 1.
SCAM-2001-ByersK #morphism #parametricity #polymorphism: Static Slicing and Parametric Polymorphism (DB, MK), pp. 181–186.
SCAM-2001-Lucia: Program Slicing: Methods and Applications (ADL), pp. 144–151.
SCAM-2001-RillingK #framework #hybrid: A Hybrid Program Slicing Framework (JR, BK), pp. 14–25.
WCRE-2001-HarmanHDHLF #calculus: Node Coarsening Calculi for Program Slicing (MH, RMH, SD, JH, MRL, CF), pp. 25–34.
WCRE-2001-HarmanHMZ #named: GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation (MH, LH, MM, XZ), pp. 271–280.
WCRE-2001-VillavicencioO: Reverse Program Calculation Supported by Code Slicing (GV, JNO), p. 35–?.
AdaEurope-2001-ChenBY #ada: Slicing Tagged Objects in Ada (ZC, BX, HY), pp. 100–112.
SAS-2001-KomondoorH #identification #source code #using: Using Slicing to Identify Duplication in Source Code (RK, SH), pp. 40–56.
SAC-2001-ChungLYK #specification: Program slicing based on specification (ISC, WKL, GSY, YRK), pp. 605–609.
DATE-2001-LaiW #representation: Slicing tree is a complete floorplan representation (ML, DFW), pp. 228–232.
STOC-2001-Muller-OlmS #on the #parallel #source code: On optimal slicing of parallel programs (MMO, HS), pp. 647–656.
ICSM-2000-FoxHHD #named: ConSIT: A Conditioned Program Slicer (CF, MH, RMH, SD), p. 216–?.
IWPC-2000-BinkleyRSH #comprehension #empirical: An Empirical Study of Amorphous Slicing as a Program Comprehension Support Tool (DB, LRR, CS, MH), pp. 161–170.
SAC-2000-DanicicH #generative #named: Espresso: A Slicer Generator (SD, MH), pp. 831–839.
ISMM-2000-PlakalF #concurrent #garbage collection #parallel #thread #using: Concurrent Garbage Collection Using Program Slices on Multithreaded Processors (MP, CNF), pp. 94–100.
ISSTA-2000-NandaR #concurrent #source code: Slicing concurrent programs (MGN, SR), pp. 180–190.
ICSM-1999-LiangH #interprocedural #pointer #recursion: Reuse-Driven Interprocedural Slicing in the Presence of Pointers and Recursion (DL, MJH), p. 421–?.
IWPC-1999-FrancelR #comprehension #debugging: The Relationship of Slicing and Debugging to Program Understanding (MAF, SR), pp. 106–113.
IWPC-1999-Zhao #concurrent #java #source code: Slicing Concurrent Java Programs (JZ), pp. 126–133.
PADL-1999-Vasconcelos #flexibility #framework #logic programming #source code: A Flexible Framework for Dynamic and Static Slicing of Logic Programs (WWV), pp. 259–274.
PEPM-1999-DwyerH: Slicing Software for Model Construction (MBD, JH), pp. 105–118.
SAS-1999-HatcliffCDSZ #concurrent #formal method #multi #source code #thread #virtual machine: A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives (JH, JCC, MBD, SS, HZ), pp. 1–18.
ESEC-FSE-1999-GyimothyBF #debugging #performance: An Efficient Relevant Slicing Method for Debugging (TG, ÁB, IF), pp. 303–321.
ICSE-1999-NishimatsuJKI #performance: Call-Mark Slicing: An Efficient and Economical Way of Reducing Slice (AN, MJ, SK, KI), pp. 422–431.
ICSE-1999-SinhaHR #control flow #interprocedural #source code: System-Dependence-Graph-Based Slicing of Programs with Arbitrary Interprocedural Control Flow (SS, MJH, GR), pp. 432–441.
SAC-1999-Binkley #dependence #graph #using: Computing Amorphous Program Slices Using Dependence Graphs (DB), pp. 519–525.
ICSM-1998-HarmanSD #analysis #memory management #using: Analysis of Dynamic Memory Access Using Amorphous Slicing (MH, YS, SD), p. 336–?.
ICSM-1998-LiangH #dependence #graph #using: Slicing Objects Using System Dependence Graphs (DL, MJH), pp. 358–367.
IWPC-1998-KorelR #comprehension #scalability #source code: Program Slicing in Understanding of Large Programs (BK, JR), pp. 145–152.
PASTE-1998-Krinke #source code #thread: Static Slicing of Threaded Programs (JK), pp. 35–42.
SAS-1998-Gouranton #case study #semantics: Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing (VG), pp. 115–133.
ICSE-1998-HarroldC #interprocedural: Reuse-Driven Interprocedural Slicing (MJH, NC), pp. 74–83.
CC-1998-Steindl #object-oriented #source code: Intermodular Slicing of Object-oriented Programs (CS), pp. 264–279.
ICSM-1997-CifuentesF #bytecode: Intraprocedural Static Slicing of Binary Executables (CC, AF), p. 188–?.
WPC-1997-HarmanD: Amorphous Program Slicing (MH, SD), pp. 70–79.
WPC-1997-KorelR #comprehension #execution: Dynamic Program Slicing in Understanding of Program Execution (BK, JR), pp. 80–89.
TOOLS-ASIA-1997-ChenWC #dependence #graph #object-oriented: An Object-Oriented Dependency Graph for Program Slicing (JLC, FJW, YLC), pp. 121–130.
PLDI-1997-BodikG #using: Partial Dead Code Elimination using Slicing Transformations (RB, RG), pp. 159–170.
ESEC-FSE-1997-ForgacsB: Feasible Test Path Selection by Principal Slicing (IF, AB), pp. 378–394.
ESEC-FSE-1997-HeimdahlW #reduction #state machine: Reduction and Slicing of Hierarchical State Machines (MPEH, MWW), pp. 450–467.
ICSE-1997-TonellaAFM #analysis #c++ #morphism #pointer #polymorphism: Flow Insensitive C++ Pointers and Polymorphism Analysis and its Application to Slicing (PT, GA, RF, EM), pp. 433–443.
WPC-1996-LuciaFM #behaviour #comprehension: Understanding Function Behaviors through Program Slicing (ADL, ARF, MM), pp. 9–10.
FME-1996-ComuzziH #using: Program Slicing Using Weakest Preconditions (JJC, JMH), pp. 557–575.
ICPR-1996-LinF #fourier #re-engineering #theorem #using: Range data reconstruction using Fourier slice theorem (SSL, CSF), pp. 874–878.
ICPR-1996-NamuduriRR #algorithm #image #named #segmentation #using: SVBS: a high-resolution medical image compression algorithm using slicing with variable block size segmentation (KRN, NR, HR), pp. 919–923.
SEKE-1996-HuangTS #maintenance: Generalized Program Slicing for Software Maintenance (HH, WTT, SS), pp. 261–268.
SEKE-1996-WangTCR #analysis: The Role of Program Slicing in Ripple Effect Analysis (YW, WTT, XC, SR), pp. 369–376.
OOPSLA-1996-TipCFR #c++: Slicing Class Hierarchies in C++ (FT, JDC, JF, GR), pp. 179–197.
SAS-1996-SchoenigD #algorithm #prolog: A Backward Slicing Algorithm for Prolog (SS, MD), pp. 317–331.
SAS-1996-Snelting #constraints #metric #theorem proving #validation: Combining Slicing and Constraint Solving for Validation of Measurement Software (GS), pp. 332–348.
ICSE-1996-LarsenH #object-oriented: Slicing Object-Oriented Software (LL, MJH), pp. 495–505.
PDP-1996-KamkarKF #message passing #parallel #source code: Dynamic Slicing of Parallel Message-Passing Programs (MK, PK, PF), pp. 170–178.
ISSTA-1996-DeMilloPS #fault #locality: Critical Slicing for Software Fault Localization (RAD, HP, EHS), pp. 121–134.
ISSTA-1996-SloaneH: Beyond Traditional Program Slicing (AMS, JH), pp. 180–186.
ICSM-1995-CimitileLM #case study #identification #reuse #specification #using: Identifying reusable functions using specification driven program slicing: a case study (AC, ADL, MM), pp. 124–133.
ICSM-1995-KamkarK #distributed #source code: Dynamic slicing of distributed programs (MK, PK), p. 222–?.
SEKE-1995-KuhnSG #composition: The Decomposition Slice Display System (BMK, DJS, KBG), pp. 328–333.
POPL-1995-FieldRT #parametricity: Parametric Program Slicing (JF, GR, FT), pp. 379–392.
FSE-1995-GuptaS #approach #hybrid #information management #using: Hybrid Slicing: An Approach for Refining Static Slices Using Dynamic Information (RG, MLS), pp. 29–40.
TAPSOFT-1995-Tip #debugging: Generic Techniques for Source-Level Debugging and Dynamic Program Slicing (FT), pp. 516–530.
PLDI-1994-Agrawal #on the #source code: On Slicing Programs with Jump Statements (HA), pp. 302–312.
PLILP-1994-FieldT #dependence #term rewriting: Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing (JF, FT), pp. 415–431.
FSE-1994-RepsHSR: Speeding up Slicing (TWR, SH, SS, GR), pp. 11–20.
ISSTA-1994-KorelY: Forward Computation of Dynamic Program Slices (BK, SY), pp. 66–79.
CSM-1993-KamkarFS #how #interprocedural #testing: Interprocedural Dynamic Slicing Applied to Interprocedural Data How Testing (MK, PF, NS), pp. 386–395.
CSM-1993-LanubileV: Function Recovery Based on Program Slicing (FL, GV), pp. 396–404.
ICSE-1993-BeckE #interface #reverse engineering: Program and Interface Slicing for Reverse Engineering (JB, DE), pp. 509–518.
PLILP-1992-KamkarSF #interprocedural: Interprocedural Dynamic Slicing (MK, NS, PF), pp. 370–384.
PLDI-1991-Venkatesh #approach #semantics: The Semantic Approach to Program Slicing (GAV), pp. 107–119.
TAV-1991-AgrawalDS #pointer: Dynamic Slicing in the Presence of Unconstrained Pointers (HA, RAD, EHS), pp. 60–73.
PLDI-1990-AgrawalH: Dynamic Program Slicing (HA, JRH), pp. 246–256.
PLILP-1990-KamkarNF #algorithm #debugging #locality: Bug Localization by Algorithmic Debugging and Program Slicing (MK, NS, PF), pp. 60–74.
ICSE-1989-OttT: The Relationship between Slices and Module Cohesion (LMO, JJT), pp. 198–204.
CCIPL-1989-RepsY #integration #semantics: The Semantics of Program Slicing and Program Integration (TWR, WY), pp. 360–374.
PLDI-1988-HorwitzRB #dependence #graph #interprocedural #using: Interprocedural Slicing Using Dependence Graphs (SH, TWR, DB), pp. 35–46.
Best-of-PLDI-1988-HorwitzRB88a #dependence #graph #interprocedural #using: Interprocedural slicing using dependence graphs (with retrospective) (SH, TWR, DB), pp. 229–243.
DAC-1986-Szepieniec: Integrated placement/routing in sliced layouts (AAS), pp. 300–307.
DAC-1984-SastryP #logic #on the: On the relation between wire length distributions and placement of logic on master slice ICs (SS, ACP), pp. 710–711.
ICSE-1981-Weiser: Program Slicing (MW), pp. 439–449.
DAC-1980-ShiraishiH #performance: Efficient placement and routing techniques for master slice LSI (HS, FH), pp. 458–464.
DAC-1979-Goto #2d #algorithm #layout #problem: A two-dimensional placement algorithm for the master slice LSI layout problem (SG), pp. 11–17.
DAC-1974-OzawaMS #design: Master slice LSI Computer Aided Design system (YO, MM, KS), pp. 19–25.