BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
program (119)
base (50)
dynam (42)
use (37)
model (25)

Stem slice$ (all stems)

308 papers:

SIGMODSIGMOD-2015-FengLKX #in memory #layout #memory management #named
ByteSlice: Pushing the Envelop of Main Memory Data Processing with a New Storage Layout (ZF, EL, BK, WX), pp. 31–46.
TACASTACAS-2015-KumarSK #concept #scalability #slicing
Value Slice: A New Slicing Concept for Scalable Property Checking (SK, AS, UPK), pp. 101–115.
SANERSANER-2015-LityBS #incremental #product line #slicing #towards
Towards incremental model slicing for delta-oriented software product lines (SL, HB, IS), pp. 530–534.
SCAMSCAM-2015-BinkleyGHIKY #slicing
ORBS and the limits of static slicing (DB, NEG, MH, SSI, JK, SY), pp. 1–10.
PEPMPEPM-2015-LisperMK #slicing
Static Backward Demand-Driven Slicing (BL, ANM, HK), pp. 115–126.
PEPMPEPM-2015-LiT #concurrent #slicing
Safe Concurrency Introduction through Slicing (HL, SJT), pp. 103–113.
ICGTICGT-2015-Oliveira #graph transformation #reachability #slicing
Reachability in Graph Transformation Systems and Slice Languages (MdOO), pp. 121–137.
AdaEuropeAdaEurope-2015-KhanfarLM #safety #slicing
Static Backward Program Slicing for Safety-Critical Systems (HK, BL, ANM), pp. 50–65.
ECIRECIR-2015-ChappellGZ #approximate #nearest neighbour #slicing
Approximate Nearest-Neighbour Search with Inverted Signature Slice Lists (TC, SG, GZ), pp. 147–158.
ESEC-FSEESEC-FSE-2015-KargenS #slicing #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 #slicing #web
Cross-language program slicing for dynamic web applications (HVN, CK, TNN), pp. 369–380.
QoSAQoSA-2014-JohnsenLPH #dependence #graph #modelling #slicing #verification
Regression verification of AADL models through slicing of system dependence graphs (AJ, KL, PP, KH), pp. 103–112.
ASEASE-2014-PalepuJ #dynamic analysis #slicing
Discriminating influences among instructions in a dynamic slice (VKP, JAJ), pp. 37–42.
DATEDATE-2014-FriedlerKMNS #effectiveness #locality #slicing #using
Effective post-silicon failure localization using dynamic program slicing (OF, WK, AM, AN, VS), pp. 1–6.
TACASTACAS-2014-SlabyS #contest #precise #slicing
Symbiotic 2: More Precise Slicing — (Competition Contribution) (JS, JS), pp. 415–417.
ICSMEICSME-2014-AlomariCM #approach #estimation #maintenance
A Slice-Based Estimation Approach for Maintenance Effort (HWA, MLC, JIM), pp. 81–90.
ICSMEICSME-2014-KanningS #preprocessor #slicing #variability
Program Slicing in the Presence of Preprocessor Variability (FK, SS), pp. 501–505.
SCAMSCAM-2014-JiangSGC #maintenance #on the #slicing
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 #slicing
Efficient Utilization of Secondary Storage for Scalable Dynamic Slicing (UK, NS), pp. 155–164.
SCAMSCAM-2014-YooBE #slicing
Seeing Is Slicing: Observation Based Slicing of Picture Description Languages (SY, DB, RDE), pp. 175–184.
PLDIPLDI-2014-AungHJR #slicing
Specialization slicing (MA, SH, RJ, TWR), p. 19.
PLDIPLDI-2014-HurNRS #probability #slicing #source code
Slicing probabilistic programs (CKH, AVN, SKR, SS), p. 16.
IFMIFM-2014-AsavoaeAR #interprocedural #semantics #slicing #towards
Towards a Formal Semantics-Based Technique for Interprocedural Slicing (IMA, MA, AR), pp. 291–306.
HCISCSM-2014-TurnerH #network #social #what
What Does Your Profile Picture Say About You? The Accuracy of Thin-Slice Personality Judgments from Social Networking Sites Made at Zero-Acquaintance (MT, NH), pp. 506–516.
VISSOFTVISSOFT-2014-BlouinMBS #metamodelling #scalability #visualisation
Slicing-Based Techniques for Visualizing Large Metamodels (AB, NM, BB, HAS), pp. 25–29.
FSEFSE-2014-BinkleyGHIKY #independence #named #slicing
ORBS: language-independent program slicing (DB, NG, MH, SSI, JK, SY), pp. 109–120.
FSEFSE-2014-JaffarM #control flow #graph #slicing
A path-sensitively sliced control flow graph (JJ, VM), pp. 133–143.
CGOCGO-2014-WangPPLGN #debugging #named #slicing
DrDebug: Deterministic Replay based Cyclic Debugging with Dynamic Slicing (YW, HP, CP, GL, RG, IN), p. 98.
ISSTAISSTA-2014-ArltPW #slicing #testing #user interface
Reducing GUI test suites via program slicing (SA, AP, MW), pp. 270–281.
ECSAECSA-2013-ChristensenH #architecture #automation #prototype #slicing #towards
Architectural Slicing: Towards Automatic Harvesting of Architectural Prototypes (HBC, KMH), pp. 316–319.
VLDBVLDB-2013-JindalPPD #comparison #slicing
A Comparison of Knives for Bread Slicing (AJ, EP, VP, JD), pp. 361–372.
ESOPESOP-2013-AlpuenteBFS #analysis #logic #specification
Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne (MA, DB, FF, JS), pp. 121–124.
TACASTACAS-2013-SlabyST #contest #execution #named #slicing #symbolic computation
Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution — (Competition Contribution) (JS, JS, MT), pp. 630–632.
SASSAS-2013-Komondoor #abstract interpretation #imperative #precise #slicing #source code
Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation (RK), pp. 259–282.
VISSOFTVISSOFT-2013-ServantJ #named #slicing #source code #visualisation
Chronos: Visualizing slices of source-code history (FS, JAJ), pp. 1–4.
SEKESEKE-2013-DelfimG #coordination #mining #multi #slicing #using
Multiple Coordinated Views to Support Aspect Mining Using Program Slicing (S) (FMD, REG), pp. 531–536.
MODELSMoDELS-2013-SunFR #modelling #slicing #uml
Contract-Aware Slicing of UML Class Models (WS, RBF, IR), pp. 724–739.
MODELSMoDELS-2013-SunFR #modelling #slicing #uml
Contract-Aware Slicing of UML Class Models (WS, RBF, IR), pp. 724–739.
SACSAC-2013-HalderC #database #query #slicing
Abstract program slicing of database query languages (RH, AC), pp. 838–845.
SACSAC-2013-HoffmannUHS #slicing
Slicing droids: program slicing for smali code (JH, MU, TH, MS), pp. 1844–1851.
ICSEICSE-2013-SantelicesZJCZ #slicing
Quantitative program slicing: separating statements by relevance (RAS, YZ, SJ, HC, YJZ), pp. 1269–1272.
ASEASE-2012-MaruyamaKOH #game studies #slicing
Slicing and replaying code change history (KM, EK, TO, SH), pp. 246–249.
FASEFASE-2012-AbadiEF #slicing #theory and practice
Fine Slicing — Theory and Applications for Computation Extraction (AA, RE, YAF), pp. 471–485.
WCREWCRE-2012-AlomariCM #approach #performance #scalability #slicing
A Very Efficient and Scalable Forward Static Slicing Approach (HWA, MLC, JIM), pp. 425–434.
SASSAS-2012-JaffarMNS #slicing
Path-Sensitive Backward Slicing (JJ, VM, JAN, AES), pp. 231–247.
ICEISICEIS-J-2012-YiasemisA12a #execution #fault #mutation testing #slicing #testing
Locating and Correcting Software Faults in Executable Code Slices via Evolutionary Mutation Testing (PSY, ASA), pp. 207–227.
CIKMCIKM-2012-LevacherLW #evaluation #reuse #slicing
An evaluation and enhancement of densitometric fragmentation for content slicing reuse (KL, SL, VW), pp. 2403–2406.
CIKMCIKM-2012-TranC #named #performance #sorting
SliceSort: efficient sorting of hierarchical data (QTT, CYC), pp. 2109–2113.
ICPRICPR-2012-HinoWM #slicing
Sliced inverse regression with conditional entropy minimization (HH, KW, NM), pp. 1185–1188.
SEKESEKE-2012-QiXW #concurrent #graph #interprocedural #reachability #slicing #source code
Slicing Concurrent Interprocedural Programs Based on Program Reachability Graphs (XQ, XX, PW), pp. 293–298.
SACSAC-2012-ChebaroKGJ #dynamic analysis #slicing #verification
Program slicing enhances a verification technique combining static and dynamic analysis (OC, NK, AG, JJ), pp. 1284–1291.
FSEFSE-2012-AcharyaR #impact analysis #industrial #slicing
Practical change impact analysis based on static program slicing for industrial software systems (MA, BR), p. 13.
FSEFSE-2012-ServantJ #slicing
History slicing: assisting code-evolution tasks (FS, JAJ), p. 43.
FSEFSE-2012-ShaikhW #diagrams #ocl #performance #slicing #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
Slicing MATLAB Simulink models (RR, SG), pp. 551–561.
ICSEICSE-2012-Wen #fault #locality #slicing
Software fault localization based on program slicing spectrum (WW), pp. 1511–1514.
HPDCHPDC-2012-XuGRKKX #cpu #named #scheduling #slicing #virtual machine
vSlicer: latency-aware virtual machine scheduling via differentiated-frequency CPU slicing (CX, SG, PNR, AK, RRK, DX), pp. 3–14.
ICSTICST-2012-UjhelyiHV #model transformation #slicing
Dynamic Backward Slicing of Model Transformations (ZU, ÁH, DV), pp. 1–10.
ISSTAISSTA-2012-YuL #approach #data flow #dependence #named #parallel #profiling
Multi-slicing: a compiler-supported parallel approach to data dependence profiling (HY, ZL), pp. 23–33.
ASEASE-2011-AcherCLF #feature model #modelling #slicing
Slicing feature models (MA, PC, PL, RBF), pp. 424–427.
ASEASE-2011-AlvesGJd #impact analysis #slicing #using
Fault-localization using dynamic slicing and change impact analysis (EA, MG, VJ, Md), pp. 520–523.
ASEASE-2011-MarasCC #slicing #web
Client-side web application slicing (JM, JC, IC), pp. 504–507.
ASEASE-2011-ServantJ #slicing
History slicing (FS, JAJ), pp. 452–455.
ASEASE-2011-UjhelyiHV #model transformation #slicing #towards
Towards dynamic backward slicing of model transformations (ZU, ÁH, DV), pp. 404–407.
ICSMEICSM-2011-QusefBOLB #concept #named #slicing #traceability #using
SCOTCH: Test-to-code traceability using slicing and conceptual coupling (AQ, GB, RO, ADL, DB), pp. 63–72.
WCREWCRE-2011-Qusef #concept #slicing #traceability
Recovering Test-to-Code Traceability Via Slicing and Conceptual Coupling (AQ), pp. 417–420.
WCREWCRE-2011-QusefBOLB #named #slicing
SCOTCH: Slicing and Coupling Based Test to Code Trace Hunter (AQ, GB, RO, ADL, DB), pp. 443–444.
CIKMCIKM-2011-Almendros-JimenezST #optimisation #slicing #xquery
XQuery optimization based on program slicing (JMAJ, JS, ST), pp. 1525–1534.
SEKESEKE-2011-WenLSL #fault #locality #slicing
Program slicing spectrum-based software fault localization (WW, BL, XS, JL), pp. 213–218.
SACSAC-2011-ParisiniM #branch #continuation #slicing
Improving CP-based local branching via sliced neighborhood search (FP, MM), pp. 887–892.
ESEC-FSEESEC-FSE-2011-FalessiNSBM #design #named #safety #slicing
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 #slicing
Practical change impact analysis based on static program slicing for industrial software systems (MA, BR), pp. 746–755.
CADECADE-2011-AlpuenteBER #logic #slicing
Backward Trace Slicing for Rewriting Logic Theories (MA, DB, JE, DR), pp. 34–48.
TAPTAP-2011-ChebaroKGJ #analysis #c #debugging #generative #slicing #testing
The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging (OC, NK, AG, JJ), pp. 78–83.
ASEASE-2010-ShaikhCWM #modelling #ocl #slicing #uml
Verification-driven slicing of UML/OCL models (AS, RC, UKW, NM), pp. 185–194.
DATEDATE-2010-GupteJ #evaluation #fault #slicing
An evaluation of a slice fault aware tool chain (AG, PHJ), pp. 1803–1808.
VLDBVLDB-2010-BrunoNR #query #slicing
Slicing Long-Running Queries (NB, VRN, RR), pp. 530–541.
ICPCICPC-2010-AreiasCP #contract #reuse #safety #slicing
Contract-Based Slicing Helps on Safety Reuse (SA, DCdC, JSP), pp. 62–63.
ICSMEICSM-2010-AbdallahMG #robust #slicing #using
Certifying software robustness using program slicing (MA, MM, KG), pp. 1–2.
SEFMSEFM-2010-BarrosCHP #graph #slicing
Assertion-based Slicing and Slice Graphs (JBB, DCdC, PRH, JSP), pp. 93–102.
ICPRICPR-2010-DursunDG #2d #image #re-engineering #slicing #theorem
Paired Transform Slice Theorem of 2-D Image Reconstruction from Projections (SD, ND, AMG), pp. 2395–2398.
SEKESEKE-2010-DuanCZQY #clustering #slicing #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 #slicing #uml #using
Slicing of UML Models Using Model Transformations (KL, SKR), pp. 228–242.
SACSAC-2010-CruzH #documentation #slicing #visualisation #xml
Exploring, visualizing and slicing the soul of XML documents (DCdC, PRH), pp. 40–46.
ICSEICSE-2010-RungtaM #concurrent #debugging #slicing #source code
Slicing and dicing bugs in concurrent programs (NR, EM), pp. 195–198.
LDTALDTA-2010-CortesiH #dependence #graph #semantics #slicing
Dependence condition graph for semantics-based abstract program slicing (AC, RH), p. 4.
IJCARIJCAR-2010-ShermanGD #partial order #type system
A Slice-Based Decision Procedure for Type-Based Partial Orders (ES, BJG, MBD), pp. 156–170.
ISSTAISSTA-2010-WeeratungeZSJ #concurrent #debugging #slicing #using
Analyzing concurrency bugs using dual slicing (DW, XZ, WNS, SJ), pp. 253–264.
TACASTACAS-2009-ChenR #monitoring #parametricity #slicing
Parametric Trace Slicing and Monitoring (FC, GR), pp. 246–261.
ICPCICPC-J-2008-VidacsBG09 #c #c++ #preprocessor #slicing
Combining preprocessor slicing with C/C++ language slicing (LV, ÁB, TG), pp. 399–413.
ICSMEICSM-2009-Li #analysis #dependence #identification #using
Identifying high-level dependence structures using slice-based dependence analysis (ZL), pp. 457–460.
SCAMSCAM-2009-Ward #slicing
Properties of Slicing Definitions (MPW), pp. 23–32.
ESEC-FSEESEC-FSE-2009-AbadiEF #control flow #slicing
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 #slicing
A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models (PL, DC, HF, PM), pp. 136–146.
ISSTAISSTA-2009-XinZ #memory management #slicing
Memory slicing (BX, XZ), pp. 165–176.
DACDAC-2008-GanaiG #scalability #slicing #towards
Tunneling and slicing: towards scalable BMC (MKG, AG), pp. 137–142.
ICPCICPC-2008-VidacsJBG #c #c++ #preprocessor #slicing
Combining Preprocessor Slicing with C/C++ Language Slicing (LV, JJ, ÁB, TG), pp. 163–171.
ICSMEICSM-2008-TallamTG #concurrent #detection #parallel #slicing #source code #thread
Dynamic slicing of multithreaded programs for race detection (ST, CT, RG), pp. 97–106.
SCAMSCAM-2008-Zanardini #semantics #slicing
The Semantics of Abstract Program Slicing (DZ), pp. 89–98.
PEPMPEPM-2008-MastroeniZ #dependence #semantics #slicing #syntax
Data dependencies and program slicing: from syntax to abstract semantics (IM, DZ), pp. 125–134.
SEKESEKE-2008-Wotawa #modelling #slicing
Bridging the Gap Between Slicing and Model-based Diagnosis (FW), pp. 836–841.
MODELSMoDELS-2008-OberCL #behaviour #composition #modelling #slicing #using
Behavioral Modelling and Composition of Object Slices Using Event Observation (IO, BC, YL), pp. 219–233.
MODELSMoDELS-2008-OberCL #behaviour #composition #modelling #slicing #using
Behavioral Modelling and Composition of Object Slices Using Event Observation (IO, BC, YL), pp. 219–233.
SACSAC-2008-QianX #slicing
Scenario oriented program slicing (JQ, BX), pp. 748–752.
ISSTAISSTA-2008-DorLLSW #enterprise #impact analysis #slicing
Customization change impact analysis for erp professionals via program slicing (ND, TLA, SL, MS, DW), pp. 97–108.
CBSECBSE-2007-SeryP #behaviour #component #composition #slicing #specification
Slicing of Component Behavior Specification with Respect to Their Composition (OS, FP), pp. 189–202.
ASEASE-2007-TkachukR #composition #generative #model checking #slicing
Combining environment generation and slicing for modular software model checking (OT, SPR), pp. 401–404.
DATEDATE-2007-WangCW #optimisation #scheduling #testing #using
SoC testing using LFSR reseeding, and scan-slice-based TAM optimization and test scheduling (ZW, KC, SW), pp. 201–206.
CSMRCSMR-2007-SzegediGBGT #concept #java #slicing #source code #verification
Verifying the Concept of Union Slices on Java Programs (AS, TG, ÁB, TG, GT), pp. 233–242.
ICSMEICSM-2007-Ettinger #refactoring #slicing
Refactoring via Program Slicing and Sliding (RE), pp. 505–506.
ICSMEICSM-2007-LiuZHB #approach
Indexing Noncrashing Failures: A Dynamic Program Slicing-Based Approach (CL, XZ, YZ, JH, BKB), pp. 455–464.
SCAMSCAM-2007-CeccatoPNCT #slicing
Barrier Slicing for Remote Software Trusting (MC, MDP, JN, CSC, PT), pp. 27–36.
SCAMSCAM-2007-GiffhornH #algorithm #concurrent #evaluation #slicing #source code
An Evaluation of Slicing Algorithms for Concurrent Programs (DG, CH), pp. 17–26.
PLDIPLDI-2007-SridharanFB #slicing
Thin slicing (MS, SJF, RB), pp. 112–122.
IFMIFM-2007-Bruckner #concurrent #realtime #slicing #specification #verification
Slicing Concurrent Real-Time System Specifications for Verification (IB), pp. 54–74.
SACSAC-2007-PaulK #precise #slicing #using
Precise dynamic slicing using execution-summary (AP, RK), pp. 1330–1331.
ICSEICSE-2007-UzuncaovaK #declarative #named #slicing #specification
Kato: A Program Slicing Tool for Declarative Specifications (EU, SK), pp. 767–770.
CAVCAV-2007-ChenR #parametricity #slicing
Parametric and Sliced Causality (FC, GR), pp. 240–253.
ISSTAISSTA-2007-WangR #slicing
Hierarchical dynamic slicing (TW, AR), pp. 228–238.
VLDBVLDB-2006-WangRGB #multi #named #optimisation #paradigm #query
State-Slice: New Paradigm of Multi-query Optimization of Window-based Stream Queries (SW, EAR, SG, SB), pp. 619–630.
TACASTACAS-2006-DwyerHHRRW #concurrent #effectiveness #object-oriented #reduction #slicing #source code
Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs (MBD, JH, MH, VPR, R, TW), pp. 73–89.
SCAMSCAM-J-2005-BinkleyDGHKK06 #formal method #slicing
A formalisation of the relationship between forms of program slicing (DB, SD, TG, MH, ÁK, BK), pp. 228–252.
ICPCICPC-2006-JetleyZI #analysis #slicing #using
Using Abstraction-driven Slicing for Postmortem Analysis of Software (RPJ, YZ, SPI), pp. 107–116.
SCAMSCAM-2006-BeszedesGG #algorithm #dependence #slicing
Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms (ÁB, TG, TG), pp. 21–30.
SCAMSCAM-2006-GallagherBH #slicing
Stop-List Slicing (KG, DB, MH), pp. 11–20.
SCAMSCAM-2006-PanKW #classification #debugging #metric #slicing #using
Bug Classification Using Program Slicing Metrics (KP, SK, EJWJ), pp. 31–42.
WCREWCRE-2006-BinkleyGHLM #concept #empirical #execution #slicing
An Empirical Study of Executable Concept Slice Size (DB, NG, MH, ZL, KM), pp. 103–114.
PLDIPLDI-2006-ZhangGG #dynamic analysis #slicing
Pruning dynamic slices with confidence (XZ, NG, RG), pp. 169–180.
MODELSMoDELS-2006-CibranD #aspect-oriented #slicing
A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects (MAC, MD), pp. 170–184.
MODELSMoDELS-2006-CibranD #aspect-oriented #slicing
A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects (MAC, MD), pp. 170–184.
PPDPPPDP-2006-SilvaC #algorithm #debugging #slicing
Combining algorithmic debugging and program slicing (JS, OC), pp. 157–166.
FSEFSE-2006-ZhangTG #execution #performance #slicing #source code
Dynamic slicing long running programs through execution fast forwarding (XZ, ST, RG), pp. 81–91.
ASPLOSASPLOS-2006-ParasharSG #locality #multi #named #performance #thread
SlicK: slice-based locality exploitation for efficient redundant multithreading (AP, AS, SG), pp. 95–105.
LCTESLCTES-2006-SandbergEGL #analysis #performance #slicing
Faster WCET flow analysis by program slicing (CS, AE, JG, BL), pp. 103–112.
DATEDATE-2005-LavagnoPSW #design #slicing
A Time Slice Based Scheduler Model for System Level Design (LL, CP, VS, YW), pp. 378–383.
ESOPESOP-2005-LeuschelV #deduction #slicing
Forward Slicing by Conjunctive Partial Deduction and Argument Filtering (ML, GV), pp. 61–76.
ESOPESOP-2005-RanganathABDH #slicing
A New Foundation for Control-Dependence and Slicing for Modern Program Structures (VPR, TA, AB, MBD, JH), pp. 77–93.
CSMRCSMR-2005-WardZH #abstraction #refinement #semantics #slicing
Conditioned Semantic Slicing via Abstraction and Refinement in FermaT (MPW, HZ, TH), pp. 178–187.
ICSMEICSM-2005-KagdiMS #modelling #slicing #uml
Context-Free Slicing of UML Class Models (HHK, JIM, AS), pp. 635–638.
SCAMSCAM-2005-BinkleyDGHKK #slicing
Minimal Slicing and the Relationships Between Forms of Slicing (DB, SD, TG, MH, ÁK, BK), pp. 45–56.
SCAMSCAM-2005-BinkleyH #slicing
Forward slices are smaller than backward slices (DB, MH), pp. 15–24.
SCAMSCAM-2005-HongLS #abstract interpretation #approach #model checking #slicing
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 #slicing #source code
Dynamic Slicing of Java Bytecode Programs (AS, TG), pp. 35–44.
WCREWCRE-2005-FatiregunHH #search-based #slicing
Search-Based Amorphous Slicing (DF, MH, RMH), pp. 3–12.
PLDIPLDI-2005-JhalaM #slicing
Path slicing (RJ, RM), pp. 38–47.
PLDIPLDI-2005-QuinonesMSMGT #compilation #framework #slicing #thread
Mitosis compiler: an infrastructure for speculative threading based on pre-computation slices (CGQ, CM, FJS, PM, AG, DMT), pp. 269–279.
AdaEuropeAdaEurope-2005-SwardB #equivalence #functional #proving #slicing
Proving Functional Equivalence for Program Slicing in SPARK™ (RES, LCBI), pp. 105–114.
CIKMCIKM-2005-XiaoLHF #web
Slicing*-tree based web page transformation for small displays (XX, QL, DH, HF), pp. 303–304.
CCCC-2005-ConditN #independence #slicing
Data Slicing: Separating the Heap into Independent Regions (JC, GCN), pp. 172–187.
CSMRCSMR-2004-Al-EkramK #composition #concept #slicing #source code #using
Source Code Modularization Using Lattice of Concept Slices (RAE, KK), pp. 195–203.
ICSMEICSM-2004-IshioKI #aspect-oriented #debugging #graph #slicing
Debugging Support for Aspect-Oriented Program Based on Program Slicing and Call Graph (TI, SK, KI), pp. 178–187.
ICSMEICSM-2004-Krinke #dependence #slicing #visualisation
Visualization of Program Dependence and Slices (JK), pp. 168–177.
ICSMEICSM-2004-Krinke04a #concurrent #slicing #source code
Advanced Slicing of Sequential and Concurrent Programs (JK), pp. 464–468.
ICSMEICSM-2004-RillingMO #slicing
Context Driven Slicing Based Coupling Measure (JR, WJM, OO), p. 532.
ICSMEICSM-2004-WillmorES #database #slicing
Program Slicing in the Presence of a Database State (DW, SME, JS), pp. 448–452.
IWPCIWPC-2004-DanicicLH #execution #slicing #using
Building Executable Union Slices using Conditioned Slicing (SD, ADL, MH), pp. 89–99.
SCAMSCAM-2004-BinkleyDGHKO #execution #formal method #slicing
Formalizing Executable Dynamic and Forward Slicing (DB, SD, TG, MH, ÁK, LO), pp. 43–52.
SCAMSCAM-2004-Gallagher #interprocedural #slicing
Some Notes on Interprocedural Program Slicing (KBG), pp. 36–42.
WCREWCRE-2004-HuHHB #slicing
Loop Squashing Transformations for Amorphous Slicing (LH, MH, RMH, DB), pp. 152–160.
WCREWCRE-2004-MeyersB #metric
Slice-Based Cohesion Metrics and Software Intervention (TMM, DB), pp. 256–265.
PEPMPEPM-2004-OchoaSV #slicing
Dynamic slicing based on redex trails (CO, JS, GV), pp. 123–134.
PLDIPLDI-2004-ZhangG #effectiveness #slicing
Cost effective dynamic program slicing (XZ, RG), pp. 94–106.
CAiSECAiSE-2004-EderKM #detection #slicing
Analysing Slices of Data Warehouses to Detect Structural Modifications (JE, CK, DM), pp. 492–505.
ICSEICSE-2004-AkgulMP #assembly #execution #performance #slicing
A Fast Assembly Level Reverse Execution Method via Dynamic Slicing (TA, VJMI, SP), pp. 522–531.
ICSEICSE-2004-WangR #bytecode #java #slicing #source code #using
Using Compressed Bytecode Traces for Slicing Java Programs (TW, AR), pp. 512–521.
ICSEICSE-2004-ZhangGZ #diagrams #dynamic analysis #order #performance #slicing #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 #slicing #source code
Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs (VPR, JH), pp. 39–56.
CAVCAV-2004-BrabermanGO #automaton #named #slicing
ObsSlice: A Timed Automata Slicer Based on Observers (VAB, DG, AO), pp. 470–474.
VLDBVLDB-2003-GaoS #evaluation #query #slicing #xml
Temporal Slicing in the Evaluation of XML Queries (DG, RTS), pp. 632–643.
ESOPESOP-2003-HaackW #fault #higher-order #slicing
Type Error Slicing in Implicitly Typed Higher-Order Languages (CH, JBW), pp. 284–301.
CSMRCSMR-2003-LuciaHHK #slicing
Unions of Slices Are Not Slices (ADL, MH, RMH, JK), pp. 363–367.
CSMRCSMR-2003-Villavicencio #slicing
Formal Program Reversing by Conditioned Slicing (GV), pp. 368–378.
ICSMEICSM-2003-BinkleyH #context-sensitive grammar #empirical #scalability #slicing
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
Slicing of State-Based Models (BK, IS, LHT, BV), pp. 34–43.
IWPCIWPC-2003-GallagherL #composition #question #slicing
Are Decomposition Slices Clones? (KG, LL), pp. 251–257.
IWPCIWPC-2003-RillingK #complexity #comprehension #identification #metric #slicing #using
Identifying Comprehension Bottlenecks Using Program Slicing and Cognitive Complexity Metric (JR, TK), pp. 115–124.
SCAMSCAM-2003-KissJLG #bytecode #interprocedural #slicing
Interprocedural Static Slicing of Binary Executables (ÁK, JJ, GL, TG), p. 118–?.
SCAMSCAM-2003-Krinke #slicing
Barrier Slicing and Chopping (JK), pp. 81–87.
SCAMSCAM-2003-KulkarniR #slicing #source code
Static Slicing of Reactive Programs (ARK, SR), pp. 98–107.
SCAMSCAM-2003-UmemoriKYI #design #implementation #java #slicing
Design and Implementation of Bytecode-based Java Slicing System (FU, KK, RY, KI), pp. 108–117.
SCAMSCAM-2003-Ward #case study #semantics #slicing
Slicing the SCAM Mug: A Case Study in Semantic Slicing (MPW), pp. 88–97.
WCREWCRE-2003-GallagherB #composition #empirical #equivalence #slicing
An Empirical Study of Computation Equivalence as Determined by Decomposition Slice Equivalence (KG, DB), pp. 316–322.
PEPMPEPM-2003-AllenH #exception #java #slicing #source code
Slicing java programs that throw and catch exceptions (MA, SH), pp. 44–54.
PEPMPEPM-2003-HatcliffDDJRR #component #corba #design #partial evaluation #slicing
Slicing and partial evaluation of CORBA component model designs for avionics system (JH, WD, MBD, GJ, VPR, R), pp. 1–2.
SEKESEKE-2003-ChenXCYZ #scalability #slicing #source code
Partial Slicing for Large Programs (ZC, BX, WCC, HY, JZ), pp. 204–207.
ESEC-FSEESEC-FSE-2003-Krinke #concurrent #slicing #source code
Context-sensitive slicing of concurrent programs (JK), pp. 178–187.
ICSEICSE-2003-YokomoriIYMKI #component #java #program analysis #slicing
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 #slicing
Precise Dynamic Slicing Algorithms (XZ, RG, YZ), pp. 319–329.
CGOCGO-2003-ZhangG #security #slicing
Hiding Program Slices for Software Security (XZ, RG), pp. 325–336.
CADECADE-2003-BaumgartnerFGS #deduction #interactive #quote #slicing
“Living Book” :- “Deduction”, “Slicing”, “Interaction” (PB, UF, MGH, AS), pp. 284–288.
DATEDATE-2002-PeyranZ #slicing
Transforming Arbitrary Structures into Topologically Equivalent Slicing Structures (OP, WZ), p. 1099.
FASEFASE-2002-KumarH #slicing #source code
Better Slicing of Programs with Jumps and Switches (SK, SH), pp. 96–112.
ICSMEICSM-2002-BeszedesFSCG #maintenance #slicing
Union Slices for Program Maintenance (ÁB, CF, ZMS, JC, TG), pp. 12–21.
ICSMEICSM-2002-HarmanHHFDWSB #slicing #testing
Evolutionary Testing Supported by Slicing and Transformation (MH, LH, RMH, CF, SD, JW, HS, AB), p. 285.
ICSMEICSM-2002-Krinke #slicing
Evaluating Context-Sensitive Slicing and Chopping (JK), pp. 22–31.
IWPCIWPC-2002-TakadaOI #information management #lightweight #slicing #using
Dependence-Cache Slicing: A Program Slicing Method Using Lightweight Dynamic Information (TT, FO, KI), pp. 169–177.
IWPCIWPC-2002-Zhao #aspect-oriented #slicing
Slicing Aspect-Oriented Software (JZ), pp. 251–260.
SCAMSCAM-2002-RiccaT #dependence #graph #slicing #web
Construction of the System Dependence Graph for Web Application Slicing (FR, PT), pp. 123–132.
SCAMSCAM-2002-RillingLG #message passing #slicing #source code
Predicate-Based Dynamic Slicing of Message Passing Programs (JR, HFL, DG), p. 133–?.
SCAMSCAM-2002-XuCY #debugging #object-oriented #slicing #source code
Dynamic Slicing Object-Oriented Programs for Debugging (BX, ZC, HY), pp. 115–122.
WCREWCRE-2002-DaoudiOHDHFW #approach #named #scalability #slicing
ConSUS: A Scalable Approach to Conditioned Slicing (MD, LO, JH, SD, MH, CF, MPW), pp. 109–118.
WCREWCRE-2002-HarmanGHB #algorithm #concept #slicing
Code Extraction Algorithms which Unify Slicing and Concept Assignment (MH, NG, RMH, DB), pp. 11–21.
ICPRICPR-v2-2002-SinghG #pattern matching #pattern recognition #recognition #slicing #using
Pattern Recognition Using Information Slicing Method (pRISM) (SS, AG), pp. 144–147.
ICPRICPR-v4-2002-NgoPZ #analysis #retrieval #slicing
Motion Retrieval by Temporal Slices Analysis (CWN, TCP, HZ), pp. 64–67.
LOPSTRLOPSTR-2002-Vidal #declarative #multi #partial evaluation #slicing #source code
Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation (GV), pp. 219–237.
FSEFSE-2002-MockACE #points-to #slicing
Improving program slicing with dynamic points-to data (MM, DCA, CC, SJE), pp. 71–80.
LDTALDTA-2002-GondowK #c #slicing #towards #using #xml
Towards ANSI C Program Slicing using XML (KG, HK), pp. 30–49.
DACDAC-2001-LinC #graph #named #representation #transitive
TCG: A Transitive Closure Graph-Based Representation for Non-Slicing Floorplans (JML, YWC), pp. 764–769.
DATEDATE-2001-LaiW #representation #slicing
Slicing tree is a complete floorplan representation (ML, DFW), pp. 228–232.
IWPCIWPC-J-1999-FrancelR01 #debugging #slicing
The value of slicing while debugging (MAF, SR), pp. 151–169.
CSMRCSMR-2001-BeszedesGSCG #c #maintenance #scalability #slicing #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 #slicing
Program Analysis for the Automatic Detection of Programming Plans Applying Slicing (GV), pp. 188–191.
ICSMEICSM-2001-HarmanHFDH #slicing
Pre/Post Conditioned Slicing (MH, RMH, CF, SD, JH), pp. 138–147.
ICSMEICSM-2001-OrsoSH #incremental #slicing
Incremental Slicing Based on Data-Dependences Types (AO, SS, MJH), p. 158–?.
ICSMEICSM-2001-RiccaT #slicing #web
Web Application Slicing (FR, PT), pp. 148–157.
IWPCIWPC-2001-DengKN #slicing
Program Slice Browser (YD, SCK, YN), pp. 50–59.
PASTEPASTE-2001-AgrawalG #slicing
Evaluating explicitly context-sensitive program slicing (GA, LG), pp. 6–12.
PASTEPASTE-2001-Griswold #slicing
Making slicing practical: the final mile (Abstract) (WGG), p. 1.
SCAMSCAM-2001-ByersK #morphism #parametricity #polymorphism #slicing
Static Slicing and Parametric Polymorphism (DB, MK), pp. 181–186.
SCAMSCAM-2001-Lucia #slicing
Program Slicing: Methods and Applications (ADL), pp. 144–151.
SCAMSCAM-2001-RillingK #framework #hybrid #slicing
A Hybrid Program Slicing Framework (JR, BK), pp. 14–25.
WCREWCRE-2001-HarmanHDHLF #calculus #slicing
Node Coarsening Calculi for Program Slicing (MH, RMH, SD, JH, MRL, CF), pp. 25–34.
WCREWCRE-2001-HarmanHMZ #named #slicing
GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation (MH, LH, MM, XZ), pp. 271–280.
WCREWCRE-2001-VillavicencioO #slicing
Reverse Program Calculation Supported by Code Slicing (GV, JNO), p. 35–?.
SASSAS-2001-KomondoorH #identification #slicing #source code #using
Using Slicing to Identify Duplication in Source Code (RK, SH), pp. 40–56.
STOCSTOC-2001-Muller-OlmS #on the #parallel #slicing #source code
On optimal slicing of parallel programs (MMO, HS), pp. 647–656.
AdaEuropeAdaEurope-2001-ChenBY #ada #slicing
Slicing Tagged Objects in Ada (ZC, BX, HY), pp. 100–112.
SACSAC-2001-ChungLYK #slicing #specification
Program slicing based on specification (ISC, WKL, GSY, YRK), pp. 605–609.
DACDAC-2000-ChangCWW #representation
B*-Trees: a new representation for non-slicing floorplans (YCC, YWC, GMW, SWW), pp. 458–463.
DACDAC-2000-PangBLC #constraints #representation #symmetry
Block placement with symmetry constraints based on the O-tree non-slicing representation (YP, FB, KL, CKC), pp. 464–467.
CSMRCSMR-2000-Zhao #approach #architecture #reuse
A Slicing-based Approach to Extracting Reusable Software Architectures (JZ), pp. 215–223.
IWPCIWPC-2000-BinkleyRSH #comprehension #empirical #slicing
An Empirical Study of Amorphous Slicing as a Program Comprehension Support Tool (DB, LRR, CS, MH), pp. 161–170.
ICPRICPR-v3-2000-GuaragnellaS #algorithm #estimation #object-oriented
Object Oriented Motion Estimation by Sliced-Block Matching Algorithm (CG, EDS), pp. 3865–3868.
ISMMISMM-2000-PlakalF #concurrent #garbage collection #parallel #slicing #thread #using
Concurrent Garbage Collection Using Program Slices on Multithreaded Processors (MP, CNF), pp. 94–100.
ISSTAISSTA-2000-NandaR #concurrent #slicing #source code
Slicing concurrent programs (MGN, SR), pp. 180–190.
DACDAC-1999-GuoCY #representation
An O-Tree Representation of Non-Slicing Floorplan and Its Applications (PNG, CKC, TY), pp. 268–273.
DATEDATE-1999-MaurerS #performance #simulation
Software Bit-Slicing: A Technique for Improving Simulation Performance (PMM, WJS), pp. 786–787.
ICSMEICSM-1999-LiangH #interprocedural #pointer #recursion #slicing
Reuse-Driven Interprocedural Slicing in the Presence of Pointers and Recursion (DL, MJH), p. 421–?.
IWPCIWPC-1999-FrancelR #comprehension #debugging #slicing
The Relationship of Slicing and Debugging to Program Understanding (MAF, SR), pp. 106–113.
IWPCIWPC-1999-Zhao #concurrent #java #slicing #source code
Slicing Concurrent Java Programs (JZ), pp. 126–133.
PEPMPEPM-1999-DwyerH #slicing
Slicing Software for Model Construction (MBD, JH), pp. 105–118.
SASSAS-1999-HatcliffCDSZ #concurrent #formal method #multi #slicing #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.
PPDPPPDP-1999-NeumerkelM #logic programming #source code
Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices (UN, FM), pp. 328–342.
PADLPADL-1999-Vasconcelos #flexibility #framework #logic programming #slicing #source code
A Flexible Framework for Dynamic and Static Slicing of Logic Programs (WWV), pp. 259–274.
SACSAC-1999-Binkley #dependence #graph #slicing #using
Computing Amorphous Program Slices Using Dependence Graphs (DB), pp. 519–525.
ESECESEC-FSE-1999-GyimothyBF #debugging #performance #slicing
An Efficient Relevant Slicing Method for Debugging (TG, ÁB, IF), pp. 303–321.
ICSEICSE-1999-NishimatsuJKI #performance #slicing
Call-Mark Slicing: An Efficient and Economical Way of Reducing Slice (AN, MJ, SK, KI), pp. 422–431.
ICSEICSE-1999-SinhaHR #control flow #interprocedural #slicing #source code
System-Dependence-Graph-Based Slicing of Programs with Arbitrary Interprocedural Control Flow (SS, MJH, GR), pp. 432–441.
ICSMEICSM-1998-HarmanSD #analysis #memory management #slicing #using
Analysis of Dynamic Memory Access Using Amorphous Slicing (MH, YS, SD), p. 336–?.
ICSMEICSM-1998-LiangH #dependence #graph #slicing #using
Slicing Objects Using System Dependence Graphs (DL, MJH), pp. 358–367.
IWPCIWPC-1998-KorelR #comprehension #scalability #slicing #source code
Program Slicing in Understanding of Large Programs (BK, JR), pp. 145–152.
PASTEPASTE-1998-Krinke #slicing #source code #thread
Static Slicing of Threaded Programs (JK), pp. 35–42.
SASSAS-1998-Gouranton #case study #semantics #slicing
Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing (VG), pp. 115–133.
ICSEICSE-1998-HarroldC #interprocedural #slicing
Reuse-Driven Interprocedural Slicing (MJH, NC), pp. 74–83.
CCCC-1998-Steindl #object-oriented #slicing #source code
Intermodular Slicing of Object-oriented Programs (CS), pp. 264–279.
ICSMEICSM-1997-CifuentesF #bytecode #slicing
Intraprocedural Static Slicing of Binary Executables (CC, AF), p. 188–?.
WPCWPC-1997-HarmanD #slicing
Amorphous Program Slicing (MH, SD), pp. 70–79.
WPCWPC-1997-KorelR #comprehension #execution #slicing
Dynamic Program Slicing in Understanding of Program Execution (BK, JR), pp. 80–89.
PLDIPLDI-1997-BodikG #slicing #using
Partial Dead Code Elimination using Slicing Transformations (RB, RG), pp. 159–170.
TOOLSTOOLS-ASIA-1997-ChenWC #dependence #graph #object-oriented #slicing
An Object-Oriented Dependency Graph for Program Slicing (JLC, FJW, YLC), pp. 121–130.
ESECESEC-FSE-1997-ForgacsB #slicing
Feasible Test Path Selection by Principal Slicing (IF, AB), pp. 378–394.
ESECESEC-FSE-1997-HeimdahlW #reduction #slicing #state machine
Reduction and Slicing of Hierarchical State Machines (MPEH, MWW), pp. 450–467.
ICSEICSE-1997-TonellaAFM #analysis #c++ #morphism #pointer #polymorphism #slicing
Flow Insensitive C++ Pointers and Polymorphism Analysis and its Application to Slicing (PT, GA, RF, EM), pp. 433–443.
ASF+SDFASF+SDF-1997-DineshT #approach #case study #fault
A case study of a slicing-based approach for locating type errors (TBD, FT), p. 8.
WPCWPC-1996-LuciaFM #behaviour #comprehension #slicing
Understanding Function Behaviors through Program Slicing (ADL, ARF, MM), pp. 9–10.
SASSAS-1996-SchoenigD #algorithm #prolog #slicing
A Backward Slicing Algorithm for Prolog (SS, MD), pp. 317–331.
SASSAS-1996-Snelting #constraints #metric #slicing #theorem proving #validation
Combining Slicing and Constraint Solving for Validation of Measurement Software (GS), pp. 332–348.
FMFME-1996-ComuzziH #slicing #using
Program Slicing Using Weakest Preconditions (JJC, JMH), pp. 557–575.
ICPRICPR-1996-LinF #fourier #re-engineering #slicing #theorem #using
Range data reconstruction using Fourier slice theorem (SSL, CSF), pp. 874–878.
ICPRICPR-1996-NamuduriRR #algorithm #image #named #segmentation #slicing #using
SVBS: a high-resolution medical image compression algorithm using slicing with variable block size segmentation (KRN, NR, HR), pp. 919–923.
ICPRICPR-1996-TozakiKNOEM #3d #analysis #image #using
Three-dimensional analysis of lung areas using thin-slice CT images (TT, YK, NN, HO, KE, NM), pp. 548–552.
SEKESEKE-1996-HuangTS #maintenance #slicing
Generalized Program Slicing for Software Maintenance (HH, WTT, SS), pp. 261–268.
SEKESEKE-1996-WangTCR #analysis #slicing
The Role of Program Slicing in Ripple Effect Analysis (YW, WTT, XC, SR), pp. 369–376.
OOPSLAOOPSLA-1996-TipCFR #c++ #slicing
Slicing Class Hierarchies in C++ (FT, JDC, JF, GR), pp. 179–197.
ICSEICSE-1996-LarsenH #object-oriented #slicing
Slicing Object-Oriented Software (LL, MJH), pp. 495–505.
ISSTAISSTA-1996-DeMilloPS #fault #locality #slicing
Critical Slicing for Software Fault Localization (RAD, HP, EHS), pp. 121–134.
ISSTAISSTA-1996-SloaneH #slicing
Beyond Traditional Program Slicing (AMS, JH), pp. 180–186.
ICSMEICSM-1995-CimitileLM #case study #identification #reuse #slicing #specification #using
Identifying reusable functions using specification driven program slicing: a case study (AC, ADL, MM), pp. 124–133.
ICSMEICSM-1995-KamkarK #distributed #slicing #source code
Dynamic slicing of distributed programs (MK, PK), p. 222–?.
SEKESEKE-1995-KuhnSG #composition #slicing
The Decomposition Slice Display System (BMK, DJS, KBG), pp. 328–333.
POPLPOPL-1995-FieldRT #parametricity #slicing
Parametric Program Slicing (JF, GR, FT), pp. 379–392.
FSEFSE-1995-GuptaS #approach #hybrid #information management #slicing #using
Hybrid Slicing: An Approach for Refining Static Slices Using Dynamic Information (RG, MLS), pp. 29–40.
PLDIPLDI-1994-Agrawal #on the #slicing #source code
On Slicing Programs with Jump Statements (HA), pp. 302–312.
PPDPPLILP-1994-FieldT #dependence #slicing #term rewriting
Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing (JF, FT), pp. 415–431.
FSEFSE-1994-RepsHSR #slicing
Speeding up Slicing (TWR, SH, SS, GR), pp. 11–20.
ISSTAISSTA-1994-KorelY #slicing
Forward Computation of Dynamic Program Slices (BK, SY), pp. 66–79.
ICSMECSM-1993-KamkarFS #how #interprocedural #slicing #testing
Interprocedural Dynamic Slicing Applied to Interprocedural Data How Testing (MK, PF, NS), pp. 386–395.
ICSMECSM-1993-LanubileV #slicing
Function Recovery Based on Program Slicing (FL, GV), pp. 396–404.
ICSEICSE-1993-BeckE #interface #reverse engineering #slicing
Program and Interface Slicing for Reverse Engineering (JB, DE), pp. 509–518.
SIGIRSIGIR-1992-GrandiTZ #parallel
Frame-Sliced Partitioned Parallel Signature Files (FG, PT, PZ), pp. 286–297.
PPDPPLILP-1992-KamkarSF #interprocedural #slicing
Interprocedural Dynamic Slicing (MK, NS, PF), pp. 370–384.
PLDIPLDI-1991-Venkatesh #approach #semantics #slicing
The Semantic Approach to Program Slicing (GAV), pp. 107–119.
ISSTATAV-1991-AgrawalDS #pointer #slicing
Dynamic Slicing in the Presence of Unconstrained Pointers (HA, RAD, EHS), pp. 60–73.
PLDIPLDI-1990-AgrawalH #slicing
Dynamic Program Slicing (HA, JRH), pp. 246–256.
PPDPPLILP-1990-KamkarNF #algorithm #debugging #locality #slicing
Bug Localization by Algorithmic Debugging and Program Slicing (MK, NS, PF), pp. 60–74.
ICSEICSE-1989-OttT #slicing
The Relationship between Slices and Module Cohesion (LMO, JJT), pp. 198–204.
PLDIPLDI-1988-HorwitzRB #dependence #graph #interprocedural #slicing #using
Interprocedural Slicing Using Dependence Graphs (SH, TWR, DB), pp. 35–46.
PLDIBest-of-PLDI-1988-HorwitzRB88a #dependence #graph #interprocedural #slicing #using
Interprocedural slicing using dependence graphs (with retrospective) (SH, TWR, DB), pp. 229–243.
DACDAC-1986-Szepieniec #slicing
Integrated placement/routing in sliced layouts (AAS), pp. 300–307.
DACDAC-1984-SastryP #logic #on the #slicing
On the relation between wire length distributions and placement of logic on master slice ICs (SS, ACP), pp. 710–711.
VLDBVLDB-1984-Tanaka #algorithm
Bit-Sliced VLSI Algorithm for Search and Sort (YT), pp. 225–234.
DACDAC-1982-MatsudaFTMNKG #design #layout #low cost #named
LAMBDA: A quick, low cost layout design system for master-slice LSI s (TM, TF, KT, HM, HN, FK, SG), pp. 802–808.
ICSEICSE-1981-Weiser #slicing
Program Slicing (MW), pp. 439–449.
DACDAC-1980-ShiraishiH #performance #slicing
Efficient placement and routing techniques for master slice LSI (HS, FH), pp. 458–464.
DACDAC-1979-Goto #2d #algorithm #layout #problem #slicing
A two-dimensional placement algorithm for the master slice LSI layout problem (SG), pp. 11–17.
DACDAC-1976-IkemotoSIK
Correction and wiring check-system for master-slice LSI (YI, TS, KI, HK), pp. 336–343.
DACDAC-1976-KamikawaiKOYC
Placement and routing program for master-slice LSI’s (RK, KK, AO, IY, TC), pp. 245–250.
DACDAC-1974-OzawaMS #design #slicing
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.