Search results for "slices"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
101	Attila Szegedi, Tamás Gergely, Árpád Beszédes, Tibor Gyimóthy, Gabriella Tóth	Verifying the Concept of Union Slices on Java Programs.	CSMR	2007	DBLP DOI BibTeX RDF
101	Xiangyu Zhang 0001, Rajiv Gupta 0001, Youtao Zhang	Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams.	ICSE	2004	DBLP DOI BibTeX RDF
77	Árpád Beszédes, Csaba Faragó, Zsolt Mihály Szabó, János Csirik, Tibor Gyimóthy	Union Slices for Program Maintenance.	ICSM	2002	DBLP DOI BibTeX RDF
77	Andrea De Lucia, Mark Harman, Robert M. Hierons, Jens Krinke	Unions of Slices Are Not Slices.	CSMR	2003	DBLP DOI BibTeX RDF
74	Yassir Nawaz, Guang Gong	Distributing Fixed Time Slices in Heterogeneous Networks of Workstations (NOWs).	ISPA	2007	DBLP DOI BibTeX RDF	fixed work slices, fixed time slices, parallel processing, Networks of workstations
70	Shamima Yasmin, Abdullah Zawawi Talib	A New Approach for Surface Reconstruction Using Slices.	ICCS (2)	2009	DBLP DOI BibTeX RDF	Surface Reconstruction, Contours, Boundary
70	Bogdan Korel	Computation of Dynamic Program Slices for Unstructured Programs.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	removable block, unstructured program, debugging, Program slicing, data dependence, control dependence, execution trace, dynamic program slicing
68	Gill Barequet, Amir Vaxman	Nonlinear interpolation between slices.	Symposium on Solid and Physical Modeling	2007	DBLP DOI BibTeX RDF	Gregory patches, interpolation between slices, parallel cross-sections, vertex matching, surface reconstruction, G1-continuity
61	Xiangyu Zhang 0001, Neelam Gupta, Rajiv Gupta 0001	A study of effectiveness of dynamic slicing in locating real faults.	Empir. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Full slicing, Exploring slices, Fault location, Dynamic program slicing, Data slicing
60	Carlos García Quiñones, Carlos Madriles, F. Jesús Sánchez, Pedro Marcuello, Antonio González 0001, Dean M. Tullsen	Mitosis compiler: an infrastructure for speculative threading based on pre-computation slices.	PLDI	2005	DBLP DOI BibTeX RDF	pre-computation slices, automatic parallelization, thread-level parallelism, speculative multithreading
60	Yang Li 0028, Hongji Yang, William C. Chu	Fusing ambiguous domain knowledge slices in a reverse engineering process.	APSEC	2000	DBLP DOI BibTeX RDF	ambiguous domain knowledge slices, domain knowledge recovery, ambiguity handling, reverse engineering, reverse engineering, knowledge representation, information technology, software reuse, program understanding, software reusability, source code, system evolution, legacy code, belief maintenance
54	Peter J. Yim, David J. Foran	Volumetry of Hepatic Metastases in Computed Tomography Using the Watershed and Active Contour Algorithms.	CBMS	2003	DBLP DOI BibTeX RDF
54	Hyunjin Park, Charles R. Meyer, Boklye Kim	Improved Motion Correction in fMRI by Joint Mapping of Slices into an Anatomical Volume.	MICCAI (2)	2004	DBLP DOI BibTeX RDF
54	Craig B. Zilles, Gurindar S. Sohi	Understanding the backward slices of performance degrading instructions.	ISCA	2000	DBLP DOI BibTeX RDF
53	Gang Yang 0007, Xin-yuan Huang	Accelerated Algorithm for Silhouette Fur Generation Based on GPU.	HCI (6)	2009	DBLP DOI BibTeX RDF	fur rendering, silhouette fur, multi-layer textured slices, GPU
53	Dominik Sankowski, Volodymyr Mosorov	Thresholding Image Segmentation Based on the Volume Analysis of Spatial Regions.	CAIP	2001	DBLP DOI BibTeX RDF	spatial uniformity regions, a volume analysis of neighbouring slices, image segmentation
53	Shruti Srivastava, Shamik Sural	Human Gait Recognition Using Temporal Slices.	PReMI	2007	DBLP DOI BibTeX RDF	Gait biometrics, Temporal Slices, Tensor Histogram, Multiclass SVM
53	K. Gopinath, R. Seshadri	Alias Analysis for Fortran90 Array Slices.	IPPS	1997	DBLP DOI BibTeX RDF	Fortran90 array slices, static alias analysis, optimising compilers, optimising compiler
47	Faguo Yang, Tianzi Jiang, Wanlin Zhu, Frithjof Kruggel	White Matter Lesion Segmentation from Volumetric MR Images.	MIAR	2004	DBLP DOI BibTeX RDF
47	Sabyasachi Das, Sunil P. Khatri	An efficient and regular routing methodology for datapath designsusing net regularity extraction.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2002	DBLP DOI BibTeX RDF
47	Vassilios Chatzis, Ioannis Pitas	Shape-Based Interpolation of Binary 3-D Images Using Morphological Skeletonization.	ICMCS, Vol. 2	1999	DBLP DOI BibTeX RDF	3D-interpolation, shape-based interpolation, object representation, morphological skeletonization
46	Iulian Ober, Bernard Coulette, Younes Lakhrissi	Behavioral Modelling and Composition of Object Slices Using Event Observation.	MoDELS	2008	DBLP DOI BibTeX RDF
46	Jens Krinke	Visualization of Program Dependence and Slices.	ICSM	2004	DBLP DOI BibTeX RDF
46	Chong-Wah Ngo, Ting-Chuen Pong, HongJiang Zhang	Motion Retrieval by Temporal Slices Analysis.	ICPR (4)	2002	DBLP DOI BibTeX RDF
46	Martin Capek	Registration and Composition of Stacks of Serial Optical Slices Captured by a Confocal Microscope.	CAIP	1999	DBLP DOI BibTeX RDF
46	David W. Binkley	Precise Executable Interprocedural Slices.	LOPLAS	1993	DBLP DOI BibTeX RDF	program slicing, data dependence, control dependence, program dependence graph
46	David W. Binkley, Mark Harman	Forward slices are smaller than backward slices.	SCAM	2005	DBLP DOI BibTeX RDF
45	Carlos Madriles, Carlos García Quiñones, F. Jesús Sánchez, Pedro Marcuello, Antonio González 0001, Dean M. Tullsen, Hong Wang 0003, John Paul Shen	Mitosis: A Speculative Multithreaded Processor Based on Precomputation Slices.	IEEE Trans. Parallel Distributed Syst.	2008	DBLP DOI BibTeX RDF	Speculative thread level parallelism, pre-computation slices, thread partitioning, multi-core architecture
45	Yann Ricquebourg, Patrick Bouthemy	Tracking of articulated structures exploiting spatio-temporal image slices.	ICIP (3)	1997	DBLP DOI BibTeX RDF	articulated structures tracking, spatio-temporal image slices, moving articulated structure, reconstruction algorithm, occultation periods, trajectory classification, gesture, image sequences, image sequences, Kalman filter, image recognition, predictive model, human motion, gait, walking, contours tracking, online operation, human movement, real-world images
45	Agma J. M. Traina, Afonso H. M. A. Prado, Josiane Maria Bueno	3D reconstruction of magnetic resonance imaging using largely spaced slices.	CBMS	1997	DBLP DOI BibTeX RDF	widely spaced slices, tomographic image interpolation, tomographic slice sequence, isotropic volume data set, matching stage, Delaunay triangulation, magnetic resonance imaging, data acquisition, frequency domain, biomedical NMR, fast Fourier transform algorithm, 3D image reconstruction
39	Manu Sridharan, Stephen J. Fink, Rastislav Bodík	Thin slicing.	PLDI	2007	DBLP DOI BibTeX RDF	debugging, program understanding, slicing
39	Xiangyu Zhang 0001, Sriraman Tallam, Neelam Gupta, Rajiv Gupta 0001	Towards locating execution omission errors.	PLDI	2007	DBLP DOI BibTeX RDF	execution omission, implicit dependence, potential dependence, predicate switching, relevant slicing, debugging
39	Khaled Z. Abd-Elmoniem, Matthias Stuber, Jerry L. Prince	Multi-slice Three-Dimensional Myocardial Strain Tensor Quantification Using z HARP.	IPMI	2007	DBLP DOI BibTeX RDF
39	Hong Lu 0001, Beng Chin Ooi, Heng Tao Shen, Xiangyang Xue	Hierarchical Indexing Structure for Efficient Similarity Search in Video Retrieval.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	ordered VA-File, Video retrieval, kNN, high-dimensional data, index structure, similarity query
39	Árpád Beszédes, Tamás Gergely, Tibor Gyimóthy	Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms.	SCAM	2006	DBLP DOI BibTeX RDF	dynamic slicing algorithms, Program slicing, execution trace, program dependences
39	Anant Madabhushi, Michael D. Feldman, Dimitris N. Metaxas, John E. Tomaszeweski, Deborah Chute	Automated detection of prostatic adenocarcinoma from high-resolution ex vivo MRI.	IEEE Trans. Medical Imaging	2005	DBLP DOI BibTeX RDF
39	Ricky E. Sward, Leemon C. Baird III	Proving Functional Equivalence for Program Slicing in SPARK™.	Ada-Europe	2005	DBLP DOI BibTeX RDF
39	Sumeet Kumar, Prateek Pujara, Aneesh Aggarwal	Bit-Sliced Datapath for Energy-Efficient High Performance Microprocessors.	PACS	2004	DBLP DOI BibTeX RDF
39	Jiantao Pu, Yi Liu, Guyu Xin, Hongbin Zha, Weibin Liu, Yusuke Uehara	3D Model Retrieval Based on 2D Slice Similarity Measurements.	3DPVT	2004	DBLP DOI BibTeX RDF
39	Neeraj Mittal, Vijay K. Garg	Computation Slicing: Techniques and Theory.	DISC	2001	DBLP DOI BibTeX RDF
39	Hafedh Mili, Hamid Mcheick, Joumana Dargham, Salah Sadou	CorbaViews: Distributing Objects with Views.	AICCSA	2001	DBLP DOI BibTeX RDF
39	G. A. Venkatesh	Experimental Results from Dynamic Slicing of C Program.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	program analysis, program slice
39	Thomas W. Reps, Wuu Yang	The Semantics of Program Slicing and Program Integration.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
38	Libor Barto	Slices of Essentially Algebraic Categories.	Appl. Categorical Struct.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 08A55, 18B15
38	Simone Gaffling, Florian Jäger, Volker Daum, Miyuki Tauchi, Elke Lütjen-Drecoll	Interpolation of Histological Slices by Means of Non-rigid Registration.	Bildverarbeitung für die Medizin	2009	DBLP DOI BibTeX RDF
38	Sarah De Bruyne, Wesley De Neve, Davy De Schrijver, Peter Lambert, Piet Verhoeve, Rik Van de Walle	Shot Boundary Detection for H.264/AVC Bitstreams with Frames Containing Multiple Types of Slices.	PCM	2007	DBLP DOI BibTeX RDF
38	Wes Masri, Nagi Nahas, Andy Podgurski	Memoized Forward Computation of Dynamic Slices.	ISSRE	2006	DBLP DOI BibTeX RDF
38	Sandrerley Ramos Pires, Edna Lúcia Flôres, Célia A. Zorzo Barcelos, Marcos Aurélio Batista	Interpolation of Computerized Tomography Slices using 3D Digital Inpainting.	SIBGRAPI	2006	DBLP DOI BibTeX RDF
38	Roberto E. Lopez-Herrejon, Don S. Batory	Modeling Features in Aspect-Based Product Lines with Use Case Slices: An Exploratory Case Study.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF
38	Xiangyu Zhang 0001, Haifeng He, Neelam Gupta, Rajiv Gupta 0001	Experimental evaluation of using dynamic slices for fault location.	AADEBUG	2005	DBLP DOI BibTeX RDF	full slice, relevant slice, debugging, data slice
38	Sebastian Danicic, Andrea De Lucia, Mark Harman	Building Executable Union Slices using Conditioned Slicing.	IWPC	2004	DBLP DOI BibTeX RDF
38	Paolo Tonella	Using a Concept Lattice of Decomposition Slices for Program Understanding and Impact Analysis.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	software maintenance, program comprehension, Program slicing, impact analysis, concept analysis
38	Chong-Wah Ngo, Ting-Chuen Pong, HongJiang Zhang	Motion analysis and segmentation through spatio-temporal slices processing.	IEEE Trans. Image Process.	2003	DBLP DOI BibTeX RDF
38	Chong-Wah Ngo, Ting-Chuen Pong, HongJiang Zhang	On clustering and retrieval of video shots through temporal slices analysis.	IEEE Trans. Multim.	2002	DBLP DOI BibTeX RDF
38	Thomas M. McWilliams, Samuel H. Fuller, W. H. Sherwood	Using LSI processor bit-slices to build a PDP-11: a case study in microcomputer design.	AFIPS National Computer Conference	1977	DBLP DOI BibTeX RDF
31	Josef Cibulka, Jan Kyncl, Viola Mészáros, Rudolf Stolar, Pavel Valtr 0001	Solution of Peter Winkler's Pizza Problem.	IWOCA	2009	DBLP DOI BibTeX RDF
31	Soichiro Tokuhisa, Kunihiko Kaneko	Representative slice method for viscous fluid registration of three-dimensional whole-body human images.	ICUIMC	2009	DBLP DOI BibTeX RDF	MRA, human atlas, viscous fluid registration, whole-body, mutual information, CT
31	Cheolhong An, Truong Q. Nguyen	Resource Allocation for Error Resilient Video Coding Over AWGN Using Optimization Approach.	IEEE Trans. Image Process.	2008	DBLP DOI BibTeX RDF
31	Sriraman Tallam, Chen Tian 0002, Rajiv Gupta 0001	Dynamic slicing of multithreaded programs for race detection.	ICSM	2008	DBLP DOI BibTeX RDF
31	Ananda S. Chowdhury, Suchendra M. Bhandarkar, Gauri Datta, Jack C. Yu	Automated detection of stable fracture points in computed tomography image sequences.	ISBI	2006	DBLP DOI BibTeX RDF
31	Ashish Doshi, Adrian G. Bors	Structural flow smoothing for shape interpolation.	ICPR (3)	2006	DBLP DOI BibTeX RDF
31	Wei Hong 0003, Bogdan Georgescu, Xiang Sean Zhou, Sriram Krishnan, Yi Ma 0001, Dorin Comaniciu	Database-Guided Simultaneous Multi-slice 3D Segmentation for Volumetric Data.	ECCV (4)	2006	DBLP DOI BibTeX RDF
31	Pierre Salom, Javier Becerra, Marc Donias, Rémi Mégret	Projective slice for a dynamic steering task.	VRST	2005	DBLP DOI BibTeX RDF	dynamic pointing, dynamic steering task, projective slice, preview
31	Ricky E. Sward, Leemon C. Baird III	Optimizing the SPARK program slicer.	SIGAda	2005	DBLP DOI BibTeX RDF	formal methods, program slicing, ASIS
31	Pierre Salom, Rémi Mégret, Yannick Berthoumieu	Coupe projective pour une tâche trajectorielle dynamique.	IHM	2005	DBLP DOI BibTeX RDF	dynamic steering task, projective slice, 3D imaging, preview
31	Andreas Moshovos, Dionisios N. Pnevmatikatos, Amirali Baniasadi	Slice-processors: an implementation of operation-based prediction.	ICS	2001	DBLP DOI BibTeX RDF
31	Alessandro Orso, Saurabh Sinha, Mary Jean Harrold	Incremental Slicing Based on Data-Dependences Types.	ICSM	2001	DBLP DOI BibTeX RDF	incremental slicing, Program slicing, data dependences, alias analysis, system-dependence graph
31	Joaquín Tárraga Giménez, Vincent Messerli, Oscar Figueiredo, Benoit A. Gennart, Roger D. Hersch	Computer-aided parallelization of continuous media applications: the 4D beating heart slice server.	ACM Multimedia (1)	1999	DBLP DOI BibTeX RDF	4D tomographic images, computer-aided parallelization, parallel I/O streaming, parallel continuous media server, resource reservation, disk scheduling
31	Jiun-Liang Chen, Feng-Jian Wang, Yung-Lin Chen	Slicing Object-Oriented Programs.	APSEC	1997	DBLP DOI BibTeX RDF	software engineering, object oriented, program slicing, dependency graph
31	Anthony M. Sloane, Jason Holdsworth	Beyond Traditional Program Slicing.	ISSTA	1996	DBLP DOI BibTeX RDF
31	Jong-Deok Choi, Jeanne Ferrante	Static Slicing in the Presence of Goto Statements.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	testing, debugging, program analysis, slicing
31	Hiralal Agrawal, Joseph Robert Horgan	Dynamic Program Slicing.	PLDI	1990	DBLP DOI BibTeX RDF
31	Wes Masri	Exploiting the empirical characteristics of program dependences for improved forward computation of dynamic slices.	Empir. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Forward computation, Program analysis, Program debugging, Memoization, Dynamic slicing, Program dependence
31	Ruizhe Liu, Chew Lim Tan, Tze-Yun Leong, Cheng Kiang Lee, Boon Chuan Pang, C. C. Tchoyoson Lim, Qi Tian 0002, Suisheng Tang, Zhuo Zhang 0001	Hemorrhage slices detection in brain CT images.	ICPR	2008	DBLP DOI BibTeX RDF
31	Glenn R. Flora, Jiang Yu Zheng	Adjusting route panoramas with condensed image slices.	ACM Multimedia	2007	DBLP DOI BibTeX RDF	media editing, image representation, camera motion, route panorama, video stabilization
31	Dennis Jeffrey, Neelam Gupta	Test Case Prioritization Using Relevant Slices.	COMPSAC (1)	2006	DBLP DOI BibTeX RDF
31	Jianxun Zhang, Jiawan Zhang, Jizhou Sun	Accelerating Footprint Method Based on Comparability of Consecutive Image Slices.	CGIV	2005	DBLP DOI BibTeX RDF	visualization in scientific computing, footprint method, volume rendering
31	Keith B. Gallagher, Lucas Layman	Are Decomposition Slices Clones?.	IWPC	2003	DBLP DOI BibTeX RDF	Decomposition Slicing, Software Maintenance, Program Slicing, Clone Detection, Software Comprehension
31	Samuel Moon-Ho Song, Junghyun Kwon	Interpolation of CT Slices for 3-D Visualization by Maximum Intensity Projections.	IEEE Pacific Rim Conference on Multimedia	2002	DBLP DOI BibTeX RDF
31	Stelios Krinidis, Christophoros Nikou, Ioannis Pitas	3D Volume Reconstruction by Serially Acquired 2D Slices Using a Distance Transform-Based Global Cost Function.	SETN	2002	DBLP DOI BibTeX RDF
31	Jianjun Zhao 0001, Jingde Cheng, Kazuo Ushijima	Computing Executable Slices for Concurrent Logic Programs.	APAQS	2001	DBLP DOI BibTeX RDF
31	Bogdan Korel, Satish Yalamanchili	Forward Computation of Dynamic Program Slices.	ISSTA	1994	DBLP DOI BibTeX RDF	DEBUG
30	Abdellatif Chagdali	Multi-connectivity and resource allocation for slices in 5G networks. (Multi-connectivité et allocation de ressources entre les slices dans la 5G).		2022	RDF
30	Mohammed Chahbar	Orchestration mechanisms of Network Slices in a SDN/NFV context. (Mécanismes d'orchestration des Slices Réseaux dans un contexte SDN/NFV).		2021	RDF
30	Jonathan Sid-Otmane	A study of data consistency constraints in 5G, applied to limiting resource usage in network slices. (Étude des contraintes de cohérence des données dans la 5G, appliquée aux limitations d'usage de ressources dans les slices réseau).		2021	RDF
30	Xiaolin Ju, Shujuan Jiang, Xiang Chen 0005, Xingya Wang, Yanmei Zhang, Heling Cao	HSFal: Effective fault localization using hybrid spectrum of full slices and execution slices.	J. Syst. Softw.	2014	DBLP DOI BibTeX RDF
30	Michael Roitzsch	Slice-balancing H.264 video encoding for improved scalability of multicore decoding.	EMSOFT	2007	DBLP DOI BibTeX RDF	scalability, multicore, H.264, slices, video encoding
30	Chong-Wah Ngo	A robust dissolve detector by support vector machine.	ACM Multimedia	2003	DBLP DOI BibTeX RDF	dissolve detector, temporal slices, support vector machine
30	Mehran Yazdi, André Zaccarin	Interframe Coding Using Deformable Triangles of Variable Size.	ICIP (1)	1997	DBLP DOI BibTeX RDF	variable size deformable triangles, interframe coding, videophone sequences, MRI sequences, image slices, affine deformations, quadtree decomposition algorithm, triangle mesh generation, image areas, prediction error energy, variable size triangular patches, motion-compensated image, grid points, regular triangular mesh, motion compensation, motion compensation, rate-distortion theory, SNR, low bit rate coding
30	James M. Bieman, Linda M. Ott	Measuring Functional Cohesion.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	functional cohesion, data slice abstraction, data tokens, glue tokens, super-glue tokens, software measurement scale, abstract transformations, software metrics, data slices
30	Keith Brian Gallagher, James R. Lyle	Using Program Slicing in Software Maintenance.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	software maintenance problem, line number, single variable decomposition slices, set inclusion, slice-based decomposition, unmodified components, semantically consistent changes, software maintenance, program testing, program slicing, program slice, linear time
23	Dasarath Weeratunge, Xiangyu Zhang 0001, William N. Sumner, Suresh Jagannathan	Analyzing concurrency bugs using dual slicing.	ISSTA	2010	DBLP DOI BibTeX RDF	dual slicing, concurrency bugs, execution indexing
23	Feng Zhang 0015, Sarah Tasneem, Lester Lipsky, Steve Thompson	Analysis of round-robin variants: favoring newly arrived jobs.	SpringSim	2009	DBLP DOI BibTeX RDF	foreground-background (FB), last-come-first-served with preemptive resume (LCFSPR), processor sharing (PS), round-robin (RR), shortest remaining processing time (SRPT)
23	Stefan Heldmann, Nils Papenberg	A Variational Approach for Volume-to-Slice Registration.	SSVM	2009	DBLP DOI BibTeX RDF
23	Amer Abufadel, Anthony J. Yezzi, Ronald W. Schafer	4D Segmentation of Cardiac Data Using Active Surfaces with Spatiotemporal Shape Priors.	Applied Pattern Recognition	2008	DBLP DOI BibTeX RDF
23	Kio Kim, Mads Hansen, Piotr A. Habas, François Rousseau 0002, Orit A. Glenn, A. James Barkovich, Colin Studholme	Intersection based registration of slice stacks to form 3D images of the human fetal brain.	ISBI	2008	DBLP DOI BibTeX RDF
23	Engin Uzuncaova, Sarfraz Khurshid	Constraint Prioritization for Efficient Analysis of Declarative Models.	FM	2008	DBLP DOI BibTeX RDF
23	Khaled El-Fakih, Anton Kolomeez, Svetlana Prokopenko, Nina Yevtushenko 0001	Extended Finite State Machine Based Test Derivation Driven by User Defined Faults.	ICST	2008	DBLP DOI BibTeX RDF
23	Dan Zhu, Tun Li, Yang Guo 0003, Sikun Li	2D Decomposition Sequential Equivalence Checking of System Level and RTL Descriptions.	ISQED	2008	DBLP DOI BibTeX RDF	cutpoints, Program slicing, Sequential equivalence checking
23	David W. Binkley, Nicolas Gold, Mark Harman	An empirical study of static program slice size.	ACM Trans. Softw. Eng. Methodol.	2007	DBLP DOI BibTeX RDF	slice size, Program slicing