Search results for "slicing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
156	Baowen Xu, Ju Qian, Xiaofang Zhang, Zhongqiang Wu, Lin Chen 0015	A brief survey of program slicing.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	debugging, program analysis, program slicing, dependence analysis, pointer analysis
141	Xiaoping Chen, Wei-Tek Tsai, Hai Huang 0011, Mustafa H. Poonawala, Sanjai Rayadurgam, Yamin Wang	Omega - an integrated environment for C++ program maintenance.	ICSM	1996	DBLP DOI BibTeX RDF	C++ program maintenance, object-oriented software-specific techniques, class dependence, message dependence, declaration dependence, hierarchical C++ dependence graph construction algorithms, slicing techniques, class slicing, message slicing, constrained slicing, recursive slicing, variable slicing, condition slicing, programming environments, program slicing, regression testing, source code, integrated environment, Omega, ripple effect analysis, dependence relations
123	Richard A. DeMillo, Hsin Pan, Eugene H. Spafford	Critical Slicing for Software Fault Localization.	ISSTA	1996	DBLP DOI BibTeX RDF	critical slicing, static program slicing, testing, debugging, failures, faults, fault localization, mutation analysis, dynamic program slicing
115	Venkatesh Prasad Ranganath, John Hatcliff	Slicing concurrent Java programs using Indus and Kaveri.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Concurrent Java, Indus, Kaveri, Program slicing, Program dependences
106	Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum	Program slicing for VHDL.	Int. J. Softw. Tools Technol. Transf.	2002	DBLP DOI BibTeX RDF	Model checking, Formal verification, VHDL, Program slicing, Hardware description languages
102	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
100	Martin P. Ward	The Formal Transformation Approach to Source Code Analysis and Manipulation.	SCAM	2001	DBLP DOI BibTeX RDF	amorphous slicing, conditioned slicing, semantic slicing, Formal Methods, Transformation, Slicing, WSL
98	YingZhou Zhang	A novel formal approach to program slicing.	Sci. China Ser. F Inf. Sci.	2007	DBLP DOI BibTeX RDF	slice monad transformer, modularity, program slicing, formal semantics, monads
96	Tomonori Takada, Fumiaki Ohata, Katsuro Inoue	Dependence-Cache Slicing: A Program Slicing Method Using Lightweight Dynamic Information.	IWPC	2002	DBLP DOI BibTeX RDF
94	David W. Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss 0001, Lahcen Ouarbya	Formalizing Executable Dynamic and Forward Slicing.	SCAM	2004	DBLP DOI BibTeX RDF
94	Ákos Kiss 0001, Judit Jász, Tibor Gyimóthy	Using Dynamic Information in the Interprocedural Static Slicing of Binary Executables.	Softw. Qual. J.	2005	DBLP DOI BibTeX RDF	interprocedural slicing, binary executables, indirect function call, call graph, dynamic information, static slicing
90	Martin P. Ward, Hussein Zedan	Slicing as a program transformation.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	FermaT, formal methods, reverse engineering, program transformation, reengineering, Slicing
86	Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham	Improved verification of hardware designs through antecedent conditioned slicing.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	LTL property, Antecedent conditioned slicing, Verilog RTL, Model checking, Program slicing, Hardware description languages, Hardware verification
86	David W. Binkley, L. Ross Raszewski, Christopher Smith, Mark Harman	An Empirical Study of Amorphous Slicing as a Program Comprehension Support Tool.	IWPC	2000	DBLP DOI BibTeX RDF	amorphous slicing, program comprehension, slicing, arrays, empirical validation
83	Jackey Z. Yan, Chris Chu	DeFer: deferred decision making enabled fixed-outline floorplanner.	DAC	2008	DBLP DOI BibTeX RDF	deferred decision making, floorplanning, fixed outline
81	Tao Wang, Abhik Roychoudhury	Dynamic slicing on Java bytecode traces.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	debugging, Program slicing, tracing
81	Stephen Drape, Anirban Majumdar 0001, Clark D. Thomborson	Slicing Aided Design of Obfuscating Transforms.	ACIS-ICIS	2007	DBLP DOI BibTeX RDF	Program Transformation, Slicing, Obfuscation
81	Manu Sridharan, Stephen J. Fink, Rastislav Bodík	Thin slicing.	PLDI	2007	DBLP DOI BibTeX RDF	debugging, program understanding, slicing
81	Xiangyu Zhang 0001, Rajiv Gupta 0001, Youtao Zhang	Cost and precision tradeoffs of dynamic data slicing algorithms.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	pointer references, debugging, Program slicing, data dependences
81	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
80	Hyoung Seok Hong, Insup Lee 0001, Oleg Sokolsky	Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking.	SCAM	2005	DBLP DOI BibTeX RDF
77	Zhongqiang Wu, Yingzhou Zhang, Baowen Xu	Modular Monadic Slicing in the Presence of Pointers.	International Conference on Computational Science (4)	2006	DBLP DOI BibTeX RDF
77	Keith B. Gallagher, David W. Binkley, Mark Harman	Stop-List Slicing.	SCAM	2006	DBLP DOI BibTeX RDF
77	Anthony M. Sloane, Jason Holdsworth	Beyond Traditional Program Slicing.	ISSTA	1996	DBLP DOI BibTeX RDF
77	Fangjun Wu, Tong Yi	Slicing Z specifications.	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	specification slicing, program slicing, dependence analysis, formal specification language
76	Mark Harman, Lin Hu 0005, Malcolm Munro, Xingyuan Zhang	GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation.	WCRE	2001	DBLP DOI BibTeX RDF	Amorphous Slicing, Transformation, Side Effects, Coq Proof Assistant
73	Ju Qian, Baowen Xu	Program slicing under UML scenario models.	ACM SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	UML, scenario, program understanding, program slicing
73	Fangjun Wu	Formal specification of program slicing.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	program slicing, program dependence graph, Z language, system dependence graph
73	Xiangyu Zhang 0001, Sriraman Tallam, Rajiv Gupta 0001	Dynamic slicing long running programs through execution fast forwarding.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	debugging, checkpointing, replay, event logging, data slicing
73	Yingzhou Zhang, Baowen Xu, Liang Shi, Bixin Li, Hongji Yang	Modular Monadic Program Slicing.	COMPSAC	2004	DBLP DOI BibTeX RDF	program slicing, formal semantics, monads, monad transformers
71	David W. Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss 0001, Bogdan Korel	Minimal Slicing and the Relationships Between Forms of Slicing.	SCAM	2005	DBLP DOI BibTeX RDF
71	Jameleddine Hassine, Rachida Dssouli, Juergen Rilling	Applying Reduction Techniques to Software Functional Requirement Specifications.	SAM	2004	DBLP DOI BibTeX RDF	Functional requirement specification, maintenance, program slicing, comprehension, Use Case Maps
69	Guangquan Zhang 0002, Rong Mei	An Approach of Concurrent Object-Oriented Program Slicing Based on LTL Property.	CSSE (2)	2008	DBLP DOI BibTeX RDF
69	Longfei Jin, Lei Liu	An Ontology Slicing Method Based on Ontology Definition Metamodel.	BIS	2007	DBLP DOI BibTeX RDF
69	Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Venkatesh Prasad Ranganath, Robby, Todd Wallentine	Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs.	TACAS	2006	DBLP DOI BibTeX RDF
69	Kai Pan, Sunghun Kim 0001, E. James Whitehead Jr.	Bug Classification Using Program Slicing Metrics.	SCAM	2006	DBLP DOI BibTeX RDF
69	Yingzhou Zhang, Baowen Xu, José Emilio Labra Gayo	A Formal Method for Program Slicing.	Australian Software Engineering Conference	2005	DBLP DOI BibTeX RDF
69	Lin Hu 0005, Mark Harman, Robert M. Hierons, David W. Binkley	Loop Squashing Transformations for Amorphous Slicing.	WCRE	2004	DBLP DOI BibTeX RDF
69	Ákos Kiss 0001, Judit Jász, Gábor Lehotai, Tibor Gyimóthy	Interprocedural Static Slicing of Binary Executables.	SCAM	2003	DBLP DOI BibTeX RDF
69	Juergen Rilling, Bhaskar Karanth	A Hybrid Program Slicing Framework.	SCAM	2001	DBLP DOI BibTeX RDF
69	Mark Harman, Sebastian Danicic	Amorphous Program Slicing.	WPC	1997	DBLP DOI BibTeX RDF
69	Avik Paul, Rajeev Kumar	Precise dynamic slicing using execution-summary.	SAC	2007	DBLP DOI BibTeX RDF	program slicing, execution trace, dynamic slicing
67	Hayward H. Chan, Igor L. Markov	Practical slicing and non-slicing block-packing without simulated annealing.	ACM Great Lakes Symposium on VLSI	2004	DBLP DOI BibTeX RDF	block-packing, optimal, evaluation, branch-and-bound, floorplanning, slicing, hierarchical, large-scale, soft blocks
66	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
66	Chris Fox, Mark Harman, Robert M. Hierons, Sebastian Danicic	ConSIT: A Conditioned Program Slicer.	ICSM	2000	DBLP DOI BibTeX RDF
65	Cheng Wang 0013, Youfeng Wu, Edson Borin, Shiliang Hu, Wei Liu 0014, Dave Sager, Tin-Fook Ngai, Jesse Fang	Dynamic parallelization of single-threaded binary programs using speculative slicing.	ICS	2009	DBLP DOI BibTeX RDF	backward slicing, binary optimization, single-thread performance, parallelization, speculations
65	Sébastien Labbé 0002, Jean-Pierre Gallois	Slicing communicating automata specifications: polynomial algorithms for model reduction.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Communicating automata, Specifications, Static analysis, Slicing, Dataflow analysis, Model reduction, Polynomial algorithms
65	Ju Qian, Baowen Xu	Scenario oriented program slicing.	SAC	2008	DBLP DOI BibTeX RDF	scenario, decomposition, program understanding, program slicing
65	Anirban Majumdar 0001, Stephen Drape, Clark D. Thomborson	Slicing obfuscations: design, correctness, and evaluation.	Digital Rights Management Workshop	2007	DBLP DOI BibTeX RDF	program transformation, digital rights management, software security, obfuscation, static slicing
65	Oksana Tkachuk, Sreeranga P. Rajan	Combining environment generation and slicing for modular software model checking.	ASE	2007	DBLP DOI BibTeX RDF	environment generation, modular model checking, slicing
65	Mangala Gowri Nanda, S. Ramesh 0001	Interprocedural slicing of multithreaded programs with applications to Java.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	interference dependence, strongly connected regions, Multithreading, program slicing, data dependence, context-sensitivity
65	Deji Fatiregun, Mark Harman, Robert M. Hierons	Search-Based Amorphous Slicing.	WCRE	2005	DBLP DOI BibTeX RDF	transformation, slicing, search based software engineering
65	Jianjun Zhao 0001	Applying Slicing Technique to Software Architectures.	ICECCS	1998	DBLP DOI BibTeX RDF	Architecture slicing, software architecture, software reuse, architecture description language, impact analysis
65	Filippo Lanubile, Giuseppe Visaggio	Extracting Reusable Funtions by Flow Graph-Based Program Slicing.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	reusable functions, code scavenging, reverse engineering, modularization, Software reuse, program slicing, data flow analysis, software comprehension
61	Xinyan Gao, Jinzhao Wu, Rui Qiao 0003, Jianfeng Chen	Theory framework for event structure slicing.	ISCC	2008	DBLP DOI BibTeX RDF
61	Jeremy Condit, George C. Necula	Data Slicing: Separating the Heap into Independent Regions.	CC	2005	DBLP DOI BibTeX RDF
61	Michael Leuschel, Germán Vidal	Forward Slicing by Conjunctive Partial Deduction and Argument Filtering.	ESOP	2005	DBLP DOI BibTeX RDF
61	Fumiaki Umemori, Kenji Konda, Reishi Yokomori, Katsuro Inoue	Design and Implementation of Bytecode-based Java Slicing System.	SCAM	2003	DBLP DOI BibTeX RDF
61	Bogdan Korel, Inderdeep Singh, Luay Ho Tahat, Boris Vaysburg	Slicing of State-Based Models.	ICSM	2003	DBLP DOI BibTeX RDF
61	Martin P. Ward	Program Slicing via FermaT Transformations.	COMPSAC	2002	DBLP DOI BibTeX RDF
61	Donglin Liang, Mary Jean Harrold	Reuse-Driven Interprocedural Slicing in the Presence of Pointers and Recursion.	ICSM	1999	DBLP DOI BibTeX RDF
61	Rajiv Gupta 0001, Mary Lou Soffa, John Howard	Hybrid Slicing: Integrating Dynamic Information with Static Analysis.	ACM Trans. Softw. Eng. Methodol.	1997	DBLP DOI BibTeX RDF	dynamic call graph, hybrid slice, dynamic slice, breakpoint, static slice
61	Mansur H. Samadzadeh, Winai Wichaipanitch	An Interactive Debugging Tool for C Based on Dynamic Slicing and Dicing.	ACM Conference on Computer Science	1993	DBLP DOI BibTeX RDF	C
61	Bin Xin 0001, Xiangyu Zhang 0001	Memory slicing.	ISSTA	2009	DBLP DOI BibTeX RDF	data-centric slicing, memory dependence graph, fault localization, dynamic program slicing
61	Zuhoor A. Al-Khanjari, Martin R. Woodward, Haider Ali Ramadhan, Narayana Swamy Kutti	The Efficiency of Critical Slicing in Fault Localization.	Softw. Qual. J.	2005	DBLP DOI BibTeX RDF	strong and weak mutations, dead, live and equivalent mutants, static and dynamic slicing, critical slicing, statement deletion (Sdl), Mothra Mutation Testing System, Fortran-77, mutation testing, mutation operator
61	Winai Wichaipanitch, Mansur H. Samadzadeh, Songsri Tangsripairoj	Development and Evaluation of a Slicing-Based C++ Debugger.	ITCC (2)	2005	DBLP DOI BibTeX RDF	Slicing and Dicing, Evaluation, Algorithms, Debugging, Dynamic Slicing
61	Tibor Gyimóthy, Árpád Beszédes, István Forgács	An Efficient Relevant Slicing Method for Debugging.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF	relevant slicing, debugging, Dynamic slicing
58	Yi Zhang 0051, S. Purushothaman Iyer	Error Report Driven Post-Mortem Analysis.	ICPC	2007	DBLP DOI BibTeX RDF
58	Md. Saidur Rahman 0001, Kazuyuki Miura, Takao Nishizeki	Octagonal Drawings of Plane Graphs with Prescribed Face Areas.	WG	2004	DBLP DOI BibTeX RDF
56	Claudio Ochoa, Josep Silva, Germán Vidal	Dynamic slicing of lazy functional programs based on redex trails.	High. Order Symb. Comput.	2008	DBLP DOI BibTeX RDF	Lazy functional programming, Redex trails, Debugging, Slicing
56	Jaiprakash T. Lallchandani, Rajib Mall	Regression testing based-on slicing of component-based software architectures.	ISEC	2008	DBLP DOI BibTeX RDF	architectural slicing, software architecture, regression testing, ADL, component-based systems
56	Neeraj Mittal, Alper Sen 0001, Vijay K. Garg	Solving Computation Slicing Using Predicate Detection.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	program trace analysis, computation slicing, testing and debugging, predicate detection
56	Ranjit Jhala, Rupak Majumdar	Path slicing.	PLDI	2005	DBLP DOI BibTeX RDF	counterexample analysis, program slicing
56	Claudio Ochoa, Josep Silva, Germán Vidal	Lightweight program specialization via dynamic slicing.	WCFLP	2005	DBLP DOI BibTeX RDF	lazy functional logic programming, program specialization, dynamic slicing
56	Hon Fung Li, Juergen Rilling, Dhrubajyoti Goswami	Granularity-Driven Dynamic Predicate Slicing Algorithms for Message Passing Systems.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	message passing, program comprehension, concurrent program, program slicing
56	Claudio Ochoa, Josep Silva, Germán Vidal	Dynamic slicing based on redex trails.	PEPM	2004	DBLP DOI BibTeX RDF	lazy functional logic programming, redex trails, slicing
56	Mark Harman, Robert M. Hierons, Sebastian Danicic, John Howroyd, Michael R. Laurence, Chris Fox	Node Coarsening Calculi for Program Slicing.	WCRE	2001	DBLP DOI BibTeX RDF	slice precision, node merging, slicing
56	Markus Müller-Olm, Helmut Seidl	On optimal slicing of parallel programs.	STOC	2001	DBLP DOI BibTeX RDF	complexity, parallel programs, slicing, undecidability, interprocedural analysis
56	Mangala Gowri Nanda, S. Ramesh 0001	Slicing concurrent programs.	ISSTA	2000	DBLP DOI BibTeX RDF	Static program slicing, concurrency, data dependence
56	Jianjun Zhao 0001	Slicing Concurrent Java Programs.	IWPC	1999	DBLP DOI BibTeX RDF	program comprehesion, Java, Concurrency, program slicing, dependence analysis
56	Aniello Cimitile, Andrea De Lucia, Malcolm Munro	Identifying reusable functions using specification driven program slicing: a case study.	ICSM	1995	DBLP DOI BibTeX RDF	reusable function identification, specification driven program slicing, code fragment isolation, functional abstractions, program statement execution, program predicate execution, entry points, exit points, algorithms, formal specification, software maintenance, software reusability, data flow analysis, symbolic execution, precondition, program diagnostics, dependence graphs, symbol manipulation, control flow graphs, program control structures, C programs, postcondition
56	Vivekananda M. Vedula, Jacob A. Abraham, Jayanta Bhadra, Raghuram S. Tupuri	A Hierarchical Test Generation Approach Using Program Slicing Techniques on Hardware Description Languages.	J. Electron. Test.	2003	DBLP DOI BibTeX RDF	hierarchical test generation, constraint slicing, incremental slicing, program slicing, data-flow analysis
55	László Vidács, Judit Jász, Árpád Beszédes, Tibor Gyimóthy	Combining Preprocessor Slicing with C/C++ Language Slicing.	ICPC	2008	DBLP DOI BibTeX RDF
55	Mark Harman, David W. Binkley, Jens Krinke	05451 Executive Summary -- Beyond Program Slicing Dagstuhl Seminar.	Beyond Program Slicing	2005	DBLP BibTeX RDF
55	Jeremy Singer	Towards Probabilistic Program Slicing.	Beyond Program Slicing	2005	DBLP BibTeX RDF
55	David W. Binkley, Mark Harman, Jens Krinke	05451 Abstracts Collection -- Beyond Program Slicing.	Beyond Program Slicing	2005	DBLP BibTeX RDF
55	Nuno F. Rodrigues, Luís Soares Barbosa	Slicing Functional Programs by Calculation.	Beyond Program Slicing	2005	DBLP BibTeX RDF
55	Karl Trygve Kalleberg, Tracy Hall, Ran Ettinger	Making Slicing Mainstream How can we be Weiser?.	Beyond Program Slicing	2005	DBLP BibTeX RDF
55	Sue Black 0001, Steve Counsell, Tracy Hall, Paul Wernick	Using Program Slicing to Identify Faults in Software.	Beyond Program Slicing	2005	DBLP BibTeX RDF
55	Douglas Samuel Kirk, Marc Roper, Neil Walkinshaw	Using Attribute Slicing to Refactor Large Classes.	Beyond Program Slicing	2005	DBLP BibTeX RDF
55	Chris Fox, Arthorn Luangsodsai	And-Or Dependence Graphs for Slicing Statecharts.	Beyond Program Slicing	2005	DBLP BibTeX RDF
54	David W. Binkley, Nicolas Gold, Mark Harman, Zheng Li 0002, Kiarash Mahdavi	An Empirical Study of Executable Concept Slice Size.	WCRE	2006	DBLP DOI BibTeX RDF	Concept Assignment, Program Slicing
54	Dongkeun Kim, Donald Yeung	A study of source-level compiler algorithms for automatic construction of pre-execution code.	ACM Trans. Comput. Syst.	2004	DBLP DOI BibTeX RDF	pre-execution, prefetch conversion, speculative loop parallelization, multithreading, program slicing, Data prefetching, memory-level parallelism
52	Jusub Kim, Joseph F. JáJá	Component-based Data Layout for Efficient Slicing of Very Large Multidimensional Volumetric Data.	SSDBM	2007	DBLP DOI BibTeX RDF
52	Raoul Praful Jetley, Yi Zhang 0051, S. Purushothaman Iyer	Using Abstraction-driven Slicing for Postmortem Analysis of Software.	ICPC	2006	DBLP DOI BibTeX RDF
52	Martin P. Ward, Hussein Zedan, T. Hardcastle	Conditioned Semantic Slicing via Abstraction and Refinement in FermaT.	CSMR	2005	DBLP DOI BibTeX RDF
52	Ingo Brückner, Heike Wehrheim	Slicing Object-Z Specifications for Verification.	ZB	2005	DBLP DOI BibTeX RDF
52	Huzefa H. Kagdi, Jonathan I. Maletic, Andrew M. Sutton	Context-Free Slicing of UML Class Models.	ICSM	2005	DBLP DOI BibTeX RDF
52	Sebastian Danicic, Andrea De Lucia, Mark Harman	Building Executable Union Slices using Conditioned Slicing.	IWPC	2004	DBLP DOI BibTeX RDF
52	Xiangyu Zhang 0001, Rajiv Gupta 0001	Cost effective dynamic program slicing.	PLDI	2004	DBLP DOI BibTeX RDF	testing, debugging, dynamic dependence graph