Search results for "Program-Slicing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
185	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
126	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
125	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
121	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
119	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
114	Tomonori Takada, Fumiaki Ohata, Katsuro Inoue	Dependence-Cache Slicing: A Program Slicing Method Using Lightweight Dynamic Information.	IWPC	2002	DBLP DOI BibTeX RDF
99	Ju Qian, Baowen Xu	Program slicing under UML scenario models.	ACM SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	UML, scenario, program understanding, program slicing
99	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
95	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
93	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
92	Kai Pan, Sunghun Kim 0001, E. James Whitehead Jr.	Bug Classification Using Program Slicing Metrics.	SCAM	2006	DBLP DOI BibTeX RDF
88	Guangquan Zhang 0002, Rong Mei	An Approach of Concurrent Object-Oriented Program Slicing Based on LTL Property.	CSSE (2)	2008	DBLP DOI BibTeX RDF
87	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
86	Yingzhou Zhang, Baowen Xu, José Emilio Labra Gayo	A Formal Method for Program Slicing.	Australian Software Engineering Conference	2005	DBLP DOI BibTeX RDF
86	Ju Qian, Baowen Xu	Scenario oriented program slicing.	SAC	2008	DBLP DOI BibTeX RDF	scenario, decomposition, program understanding, program slicing
86	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
85	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
84	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
83	Juergen Rilling, Bhaskar Karanth	A Hybrid Program Slicing Framework.	SCAM	2001	DBLP DOI BibTeX RDF
83	Mark Harman, Sebastian Danicic	Amorphous Program Slicing.	WPC	1997	DBLP DOI BibTeX RDF
76	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
76	Keith B. Gallagher, David W. Binkley, Mark Harman	Stop-List Slicing.	SCAM	2006	DBLP DOI BibTeX RDF
74	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
73	Mark Harman, David W. Binkley, Jens Krinke	05451 Executive Summary -- Beyond Program Slicing Dagstuhl Seminar.	Beyond Program Slicing	2005	DBLP BibTeX RDF
73	Jeremy Singer	Towards Probabilistic Program Slicing.	Beyond Program Slicing	2005	DBLP BibTeX RDF
73	David W. Binkley, Mark Harman, Jens Krinke	05451 Abstracts Collection -- Beyond Program Slicing.	Beyond Program Slicing	2005	DBLP BibTeX RDF
73	Sue Black 0001, Steve Counsell, Tracy Hall, Paul Wernick	Using Program Slicing to Identify Faults in Software.	Beyond Program Slicing	2005	DBLP BibTeX RDF
73	Takashi Ishio, Shinji Kusumoto, Katsuro Inoue	Program Slicing Tool for Effective Software Evolution Using Aspect-Oriented Technique.	IWPSE	2003	DBLP DOI BibTeX RDF
72	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
71	Martin P. Ward	Program Slicing via FermaT Transformations.	COMPSAC	2002	DBLP DOI BibTeX RDF
70	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
70	Muhammad Saleem 0002, Rasheed Hussain, Yasir Ismail, Shaikh Mohsin	Cost effective software engineering using program slicing techniques.	ICIS	2009	DBLP DOI BibTeX RDF	software cost and time, software development phases, program slicing, program code
69	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
68	Alexander Campbell, Anthony Cox	Scenario-Based Program Slicing.	ECBS	2008	DBLP DOI BibTeX RDF	Scenarios, Program Slicing, Agile development
66	Yingzhou Zhang, Baowen Xu	A Slice Monad Transformer and Its Applications in Program Slicing.	ICECCS	2005	DBLP DOI BibTeX RDF	slice monad transformer, modular monadic semantics, Program slicing, monad transformers
66	Manu Sridharan, Stephen J. Fink, Rastislav Bodík	Thin slicing.	PLDI	2007	DBLP DOI BibTeX RDF	debugging, program understanding, slicing
66	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
64	Xiangyu Zhang 0001, Rajiv Gupta 0001	Cost effective dynamic program slicing.	PLDI	2004	DBLP DOI BibTeX RDF	testing, debugging, dynamic dependence graph
64	Jeffry T. Russell	Program slicing for codesign.	CODES	2002	DBLP DOI BibTeX RDF
64	Markus Mock, Darren C. Atkinson, Craig Chambers, Susan J. Eggers	Program Slicing with Dynamic Points-To Sets.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	Dynamic analysis, program slicing, points-to analysis
64	Markus Mock, Darren C. Atkinson, Craig Chambers, Susan J. Eggers	Improving program slicing with dynamic points-to data.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	dynamic analysis, program slicing, points-to analysis
64	Yi Zhang 0051, S. Purushothaman Iyer	Error Report Driven Post-Mortem Analysis.	ICPC	2007	DBLP DOI BibTeX RDF
64	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
63	Yingzhou Zhang, José Emilio Labra Gayo, Agustín Cernuda del Río	A monadic program slicer.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	modular monadic semantics, program slicer, monad, monad transformer
63	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
62	Lin Hu 0005, Mark Harman, Robert M. Hierons, David W. Binkley	Loop Squashing Transformations for Amorphous Slicing.	WCRE	2004	DBLP DOI BibTeX RDF
62	Fangjun Wu, Tong Yi	Slicing Z specifications.	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	specification slicing, program slicing, dependence analysis, formal specification language
61	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
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	Neelam Gupta, Haifeng He, Xiangyu Zhang 0001, Rajiv Gupta 0001	Locating faulty code using failure-inducing chops.	ASE	2005	DBLP DOI BibTeX RDF	backward dynamic, failure-inducing input, forward dynamic program slicing, program slicing, automated debugging
60	Longfei Jin, Lei Liu	An Ontology Slicing Method Based on Ontology Definition Metamodel.	BIS	2007	DBLP DOI BibTeX RDF
60	Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum	Program Slicing of Hardware Description Languages.	CHARME	1999	DBLP DOI BibTeX RDF
58	Josep Silva, Olaf Chitil	Combining algorithmic debugging and program slicing.	PPDP	2006	DBLP DOI BibTeX RDF	algorithmic debugging, program slicing
57	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
57	Jens Krinke	Context-Sensitivity Matters, But Context Does Not.	SCAM	2004	DBLP DOI BibTeX RDF
57	Fumiaki Umemori, Kenji Konda, Reishi Yokomori, Katsuro Inoue	Design and Implementation of Bytecode-based Java Slicing System.	SCAM	2003	DBLP DOI BibTeX RDF
57	Donglin Liang, Mary Jean Harrold	Reuse-Driven Interprocedural Slicing in the Presence of Pointers and Recursion.	ICSM	1999	DBLP DOI BibTeX RDF
56	David W. Binkley, Mark Harman, Jens Krinke (eds.)	Beyond Program Slicing, 06.11. - 11.11.2005	Beyond Program Slicing	2006	DBLP BibTeX RDF
56	Silvia Breu	Extending C Global Surveyor.	Beyond Program Slicing	2005	DBLP BibTeX RDF
56	Sue Black 0001, Philipp Bouillon	And Now For Something Completely Different....	Beyond Program Slicing	2005	DBLP BibTeX RDF
56	Silvia Breu, Marc Schlickling, Nuno Feixa Rodrigues	05451 Group 5 -- Bananas, Dark Worlds, and AspectH.	Beyond Program Slicing	2005	DBLP BibTeX RDF
56	Nuno F. Rodrigues, Luís Soares Barbosa	Slicing Functional Programs by Calculation.	Beyond Program Slicing	2005	DBLP BibTeX RDF
56	Karl Trygve Kalleberg, Tracy Hall, Ran Ettinger	Making Slicing Mainstream How can we be Weiser?.	Beyond Program Slicing	2005	DBLP BibTeX RDF
56	Douglas Samuel Kirk, Marc Roper, Neil Walkinshaw	Using Attribute Slicing to Refactor Large Classes.	Beyond Program Slicing	2005	DBLP BibTeX RDF
56	Chris Fox, Arthorn Luangsodsai	And-Or Dependence Graphs for Slicing Statecharts.	Beyond Program Slicing	2005	DBLP BibTeX RDF
56	Isabella Mastroeni, Damiano Zanardini	Data dependencies and program slicing: from syntax to abstract semantics.	PEPM	2008	DBLP DOI BibTeX RDF	abstract non-interference, abstract interpretation, program slicing, dependency analysis
56	Hiroshi Maruyama, Keijiro Araki	VRML Program Slicing.	APSEC	1999	DBLP DOI BibTeX RDF	VRML, program slicing
56	Takashi Ishio, Shinji Kusumoto, Katsuro Inoue	Debugging Support for Aspect-Oriented Program Based on Program Slicing and Call Graph.	ICSM	2004	DBLP DOI BibTeX RDF
56	Yoga Sivagurunathan, Mark Harman, Bala Sivagurunathan	Slice-Based Dynamic Memory Modelling - A Case Study.	COMPSAC	2002	DBLP DOI BibTeX RDF
55	Ranjit Jhala, Rupak Majumdar	Path slicing.	PLDI	2005	DBLP DOI BibTeX RDF	counterexample analysis, program slicing
55	Juergen Rilling, Hon Fung Li, Dhrubajyoti Goswami	Predicate-Based Dynamic Slicing of Message Passing Programs.	SCAM	2002	DBLP DOI BibTeX RDF	predicate slice, predicate trace, message passing, program comprehension, Program slicing
54	Mariam Kamkar, Patrik Krajina	Dynamic slicing of distributed programs.	ICSM	1995	DBLP DOI BibTeX RDF	program maintenance activities, computer supported methods, distributed dynamic dependence graph, communication dependences, distributed dynamic slicer, ANSI-C programming language, parallel MIMD computer, Parsytec GC/Powerplus, parallel programming, graph theory, software maintenance, message passing, program slicing, distributed programs, dependence analysis, program diagnostics, dynamic slicing, dynamic slice, static slice
54	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
54	Michael Leuschel, Germán Vidal	Forward Slicing by Conjunctive Partial Deduction and Argument Filtering.	ESOP	2005	DBLP DOI BibTeX RDF
54	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
52	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
51	Christer Sandberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper	Faster WCET flow analysis by program slicing.	LCTES	2006	DBLP DOI BibTeX RDF	hard real time, worst-case execution time analysis
51	David Willmor, Suzanne M. Embury, Jianhua Shao 0001	Program Slicing in the Presence of a Database State.	ICSM	2004	DBLP DOI BibTeX RDF
51	Roberto Giacobazzi, Isabella Mastroeni	Non-Standard Semantics for Program Slicing.	High. Order Symb. Comput.	2003	DBLP DOI BibTeX RDF	reduced power, transfinite semantics, semantics, abstract interpretation, program slicing, compositional semantics, program manipulation
51	Sebastian Danicic, Andrea De Lucia, Mark Harman	Building Executable Union Slices using Conditioned Slicing.	IWPC	2004	DBLP DOI BibTeX RDF
51	Junhua Wu, Baowen Xu, Jixiang Jiang	Slicing Web Application Based on Hyper Graph.	CW	2004	DBLP DOI BibTeX RDF	program dependence hyper graph, program slice, web page
51	Lynette I. Millett, Tim Teitelbaum	Issues in Slicing PROMELA and Its Applications to Model Checking, Protocol Understanding, and Simulation.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Model checking, Static analysis, Program slicing, Concurrent languages
51	Wamberto Weber Vasconcelos	A Flexible Framework for Dynamic and Static Slicing of Logic Programs.	PADL	1999	DBLP DOI BibTeX RDF	Logic program slicing, program analysis & understanding
49	John Field, Frank Tip	Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing.	PLILP	1994	DBLP DOI BibTeX RDF
49	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
49	Aditya Rajeev Kulkarni, S. Ramesh 0001	Static Slicing of Reactive Programs.	SCAM	2003	DBLP DOI BibTeX RDF
49	Wei-Tek Tsai	Application of data-centered approach to Year 2000 problem.	COMPSAC	1997	DBLP DOI BibTeX RDF	data-centered approach, variable classifications, generalised program slicing, traceability links, regression testing, dependence analysis, systems re-engineering, ripple effect analysis, Year 2000 problem
49	Pierre Rousseau	A New Approach for Concurrent Program Slicing.	FORTE	2006	DBLP DOI BibTeX RDF
48	Gagan Agrawal, Liang Guo	Evaluating explicitly context-sensitive program slicing.	PASTE	2001	DBLP DOI BibTeX RDF
47	David W. Binkley, Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya	A formal relationship between program slicing and partial evaluation.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Conditioned program slicing, Partial evaluation
47	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
47	Matthew Allen, Susan Horwitz	Slicing java programs that throw and catch exceptions.	PEPM	2003	DBLP DOI BibTeX RDF	java exceptions, program slicing, program dependence graph
47	Thomas W. Reps, Susan Horwitz, Shmuel Sagiv, Genevieve Rosay	Speeding up Slicing.	SIGSOFT FSE	1994	DBLP DOI BibTeX RDF	dynamic transitive closure, flow-sensitive summary information, realizable path, dynamic programming, program slicing, program debugging, program dependence graph
46	Mariam Kamkar, Patrik Krajina, Peter Fritzson	Dynamic Slicing of Parallel Message-Passing Programs.	PDP	1996	DBLP DOI BibTeX RDF	parallel message-passing programs, program maintenance activities, new functionality, software development resources, computer-supported methods, error sources, parallel MIMD computer, distributed systems, parallel programming, software testing, software maintenance, debugging, message passing, software metrics, program testing, dependence analysis, program debugging, software complexity, dynamic program slicing, program decomposition
46	Ross Gore, Paul F. Reynolds Jr.	Causal Program Slicing.	PADS	2009	DBLP DOI BibTeX RDF	Simulation, Debugging, Validation, Program Slicing
46	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
46	Juergen Rilling, Tuomas Klemola	Identifying Comprehension Bottlenecks Using Program Slicing and Cognitive Complexity Metric.	IWPC	2003	DBLP DOI BibTeX RDF	program comprehension, program slicing, complexity measures
45	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
45	Jens Krinke	Slicing, Chopping, and Path Conditions with Barriers.	Softw. Qual. J.	2004	DBLP DOI BibTeX RDF	program slicing, program dependence graph, path conditions
45	Filippo Ricca, Paolo Tonella	Web Application Slicing.	ICSM	2001	DBLP DOI BibTeX RDF	Reverse engineering, Web applications, Program slicing, Code analysis