BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
slicing
Google slicing

Tag #slicing

324 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.