Search results for "slicing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
52	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
52	Xiangyu Zhang 0001, Rajiv Gupta 0001, Youtao Zhang	Precise Dynamic Slicing Algorithms.	ICSE	2003	DBLP DOI BibTeX RDF
52	Aditya Rajeev Kulkarni, S. Ramesh 0001	Static Slicing of Reactive Programs.	SCAM	2003	DBLP DOI BibTeX RDF
52	Mark Harman, Nicolas Gold, Robert M. Hierons, David W. Binkley	Code Extraction Algorithms which Unify Slicing and Concept Assignment.	WCRE	2002	DBLP DOI BibTeX RDF
52	Jeffry T. Russell	Program slicing for codesign.	CODES	2002	DBLP DOI BibTeX RDF
52	Joseph J. Comuzzi, Johnson M. Hart	Program Slicing Using Weakest Preconditions.	FME	1996	DBLP DOI BibTeX RDF
52	Á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
52	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
51	Claudia I. Horta, José A. Lima	Slicing and non-slicing, unified and rotation independent, algebraic representation of floorplans.	EUROMICRO	1997	DBLP DOI BibTeX RDF	floorplan area optimization problem, rectangle envelope, nonoverlapping basic rectangles, floorplan topology, formal algebraic specification, SETS notation, VLSI physical design layout, module dimensions, arbitrarily complex composite floorplans, rotation-invariant single-expression formalism, generalized wheels floorplans, slicing representation, nonslicing representation, unified representation, topology-dimensionless description, floorplanning problem algorithms, algebraic specification, line segments, relative positioning
50	Cong Wang, Yi-Jen Chiang	Isosurface Extraction and View-Dependent Filtering from Time-Varying Fields Using Persistent Time-Octree(PTOT).	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
50	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
50	Lei Cheng 0001, Liang Deng, Martin D. F. Wong	Floorplanning for 3-D VLSI design.	ASP-DAC	2005	DBLP DOI BibTeX RDF
50	Jens Krinke	Context-Sensitivity Matters, But Context Does Not.	SCAM	2004	DBLP DOI BibTeX RDF
50	Yoga Sivagurunathan, Mark Harman, Bala Sivagurunathan	Slice-Based Dynamic Memory Modelling - A Case Study.	COMPSAC	2002	DBLP DOI BibTeX RDF
50	Alessandro Orso, Saurabh Sinha, Mary Jean Harrold	Classifying data dependences in the presence of pointers for program comprehension, testing, and debugging.	ACM Trans. Softw. Eng. Methodol.	2004	DBLP DOI BibTeX RDF	incremental slicing, debugging, program comprehension, program slicing, Data dependences, pointers, data-flow testing
50	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
48	Mahmut T. Kandemir, Yuanrui Zhang, Sai Prashanth Muralidhara, Ozcan Ozturk 0001, Sri Hari Krishna Narayanan	Slicing based code parallelization for minimizing inter-processor communication.	CASES	2009	DBLP DOI BibTeX RDF	automatic code parallelization, code analysis and optimization, iteration space slicing, parallelizing compilers
48	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
48	Jaiprakash T. Lallchandani, Rajib Mall	Slicing UML architectural models.	ACM SIGSOFT Softw. Eng. Notes	2008	DBLP DOI BibTeX RDF	architectural metamodel, UML, software architecture, slicing, impact analysis
48	Alexander Campbell, Anthony Cox	Scenario-Based Program Slicing.	ECBS	2008	DBLP DOI BibTeX RDF	Scenarios, Program Slicing, Agile development
48	David W. Binkley, Mark Harman, Jens Krinke	Empirical study of optimization techniques for massive slicing.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	empirical study, Slicing, performance enhancement, internal representation
48	Anirban Majumdar 0001, Stephen Drape, Clark D. Thomborson	Metrics-based Evaluation of Slicing Obfuscations.	IAS	2007	DBLP DOI BibTeX RDF	Evaluation, Metrics, Slicing, Obfuscation
48	Jutarat Jaroenpiboonkit, Taratip Suwannasart	Finding a Test Order using Object-Oriented Slicing Technique.	APSEC	2007	DBLP DOI BibTeX RDF	Test Orders, Object-Oriented Program Slicing, Integration Testing
48	Tao Wang, Abhik Roychoudhury	Hierarchical dynamic slicing.	ISSTA	2007	DBLP DOI BibTeX RDF	debugging, dynamic slicing, phase detection
48	Heng Lu 0001, W. K. Chan 0001, T. H. Tse	Static Slicing for Pervasive Programs.	QSIC	2006	DBLP DOI BibTeX RDF	Pervasive concurrent program, static slicing
48	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
48	Xiangye Xiao, Qiong Luo 0001, Dan Hong, Hongbo Fu 0001	Slicing*-tree based web page transformation for small displays.	CIKM	2005	DBLP DOI BibTeX RDF	VIPS algorithm, mall displays, slicing tree, web page adaptation, proxy, web browsing, thumbnails
48	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
48	Jens Krinke	Slicing, Chopping, and Path Conditions with Barriers.	Softw. Qual. J.	2004	DBLP DOI BibTeX RDF	program slicing, program dependence graph, path conditions
48	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
48	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
48	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
48	Filippo Ricca, Paolo Tonella	Web Application Slicing.	ICSM	2001	DBLP DOI BibTeX RDF	Reverse engineering, Web applications, Program slicing, Code analysis
48	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
48	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
48	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
48	Martin P. Ward	Properties of Slicing Definitions.	SCAM	2009	DBLP DOI BibTeX RDF	properties of slicing, semi-refinement, refinement, program analysis, transformation, Program Slicing, slicing
47	Martin P. Ward	Slicing the SCAM Mug: A Case Study in Semantic Slicing.	SCAM	2003	DBLP DOI BibTeX RDF
46	Guoqing Xu 0001, Nick Mitchell, Matthew Arnold, Atanas Rountev, Edith Schonberg, Gary Sevitsky	Finding low-utility data structures.	PLDI	2010	DBLP DOI BibTeX RDF	abstract dynamic thin slicing, memory bloat, cost benefit analysis
46	Kelly Androutsopoulos, David Clark 0001, Mark Harman, Zheng Li 0002, Laurence Tratt	Control Dependence for Extended Finite State Machines.	FASE	2009	DBLP DOI BibTeX RDF	reactive systems, slicing, control dependence, extended finite state machines
44	Hina Shah, Suman K. Mitra, Asim Banerjee	Information Slicing: An Application to Object Classification in Satellite Images.	ICVGIP	2008	DBLP DOI BibTeX RDF
44	Alper Sen 0001, Vijay K. Garg	Formal Verification of Simulation Traces Using Computation Slicing.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Simulation, formal verification, temporal logic, partial order, runtime verification, lattice theory
44	Sébastien Labbé 0002, Jean-Pierre Gallois, Marc Pouzet	Slicing Communicating Automata Specifications for Efficient Model Reduction.	ASWEC	2007	DBLP DOI BibTeX RDF
44	Heike Wehrheim	Incremental Slicing.	ICFEM	2006	DBLP DOI BibTeX RDF
44	Yancheng Wang, Bixin Li, Xufang Gong	An Extension to Robustness Slicing Algorithm Based on Dynamic Array.	SNPD	2006	DBLP DOI BibTeX RDF
44	Jianyu Xiao, Deyun Zhang, Haiquan Chen, Hao Dong 0002	Improved Program Dependence Graph and Algorithm for Static Slicing Concurrent Programs.	APPT	2005	DBLP DOI BibTeX RDF
44	Adam J. Conover, Yeong-Tae Song	A Framework for Component Mining of Java Applications via Dynamic Slicing.	SERA	2005	DBLP DOI BibTeX RDF
44	Antje Nowack	Slicing Abstract State Machines.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
44	Adam J. Conover, Yeong-Tae Song	Slicing JavaTM Programs Using the JPDA and Dynamic Object Relationship Diagrams with XML.	SERA	2004	DBLP DOI BibTeX RDF
44	Tao Wang, Abhik Roychoudhury	Using Compressed Bytecode Traces for Slicing Java Programs.	ICSE	2004	DBLP DOI BibTeX RDF
44	Keith B. Gallagher	Some Notes on Interprocedural Program Slicing.	SCAM	2004	DBLP DOI BibTeX RDF
44	Jens Krinke	Advanced Slicing of Sequential and Concurrent Programs.	ICSM	2004	DBLP DOI BibTeX RDF
44	Takashi Ishio, Shinji Kusumoto, Katsuro Inoue	Program Slicing Tool for Effective Software Evolution Using Aspect-Oriented Technique.	IWPSE	2003	DBLP DOI BibTeX RDF
44	Evangeline F. Y. Young, Chris C. N. Chu, Zion Cien Shen	Twin binary sequences: a non-redundant representation for general non-slicing floorplan.	ISPD	2002	DBLP DOI BibTeX RDF
44	Baowen Xu, Zhenqiang Chen, Hongji Yang	Dynamic Slicing Object-Oriented Programs for Debugging.	SCAM	2002	DBLP DOI BibTeX RDF
44	Germán Vidal	Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation.	LOPSTR	2002	DBLP DOI BibTeX RDF
44	David Byers, Mariam Kamkar	Static Slicing and Parametric Polymorphism.	SCAM	2001	DBLP DOI BibTeX RDF
44	Zhengqiang Chen, Baowen Xu, Hongji Yang	Slicing Tagged Objects in Ada.	Ada-Europe	2001	DBLP DOI BibTeX RDF
44	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
44	Bogdan Korel, Juergen Rilling	Dynamic Program Slicing in Understanding of Program Execution.	WPC	1997	DBLP DOI BibTeX RDF
44	Andrea De Lucia, Anna Rita Fasolino, Malcolm Munro	Understanding Function Behaviors through Program Slicing.	WPC	1996	DBLP DOI BibTeX RDF
44	Mariam Kamkar, Nahid Shahmehri, Peter Fritzson	Interprocedural Dynamic Slicing.	PLILP	1992	DBLP DOI BibTeX RDF
44	Loren Larsen, Mary Jean Harrold	Slicing Object-Oriented Software.	ICSE	1996	DBLP BibTeX RDF	class representation reuse, efficient slicing algorithms, incomplete object-oriented programs, incremental construction, interacting classes, object-oriented software slicing, procedure call simulation, procedure dependence graph, public methods, statically typed object-oriented languages, object-oriented programming, graphs, software reusability, diagrams, software libraries, Ada-95, subroutines, program diagnostics, class libraries, system dependence graphs, C++ language
44	David W. Binkley, Mark Harman, Jens Krinke (eds.)	Beyond Program Slicing, 06.11. - 11.11.2005	Beyond Program Slicing	2006	DBLP BibTeX RDF
44	Silvia Breu	Extending C Global Surveyor.	Beyond Program Slicing	2005	DBLP BibTeX RDF
44	Sue Black 0001, Philipp Bouillon	And Now For Something Completely Different....	Beyond Program Slicing	2005	DBLP BibTeX RDF
44	Silvia Breu, Marc Schlickling, Nuno Feixa Rodrigues	05451 Group 5 -- Bananas, Dark Worlds, and AspectH.	Beyond Program Slicing	2005	DBLP BibTeX RDF
42	Jaiprakash T. Lallchandani, Rajib Mall	Computation of Dynamic Slices for Object-Oriented Concurrent Programs.	APSEC	2005	DBLP DOI BibTeX RDF
42	Mark Harman, Lin Hu 0005, Malcolm Munro, Xingyuan Zhang, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya	An Interprocedural Amorphous Slicer for WSL.	SCAM	2002	DBLP DOI BibTeX RDF
42	Shmuel Wimer, Israel Koren, Israel Cederbaum	Optimal Aspect Ratios of Building Blocks in VLSI.	DAC	1988	DBLP BibTeX RDF
42	Chia-Jeng Tseng, Ruey-Sing Wei, Steven G. Rothweiler, Michael M. Tong, Ajoy K. Bose	Bridge: A Versatile Behavioral Synthesis System.	DAC	1988	DBLP BibTeX RDF
41	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
40	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
40	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
40	Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee 0001, John Hatcliff, Matthew B. Dwyer	A new foundation for control dependence and slicing for modern program structures.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Indus, Nontermination, order dependence, program slicing, bisimulation, control dependence
40	H. T. Park, M. H. Chang, S. C. Park	A slicing algorithm of point cloud for rapid prototyping.	SCSC	2007	DBLP BibTeX RDF	reverse engineering, rapid prototyping, slicing, point cloud
40	Josep Silva, Olaf Chitil	Combining algorithmic debugging and program slicing.	PPDP	2006	DBLP DOI BibTeX RDF	algorithmic debugging, program slicing
40	Ganesha S. R. Shanmuganathan, Kang Zhang 0001, W. Eric Wong, Yu Qi	Analyzing Message-Passing Programs through Visual Slicing.	ITCC (2)	2005	DBLP DOI BibTeX RDF	program slicing and debugging, visualization, message-passing interface, MPI
40	Juergen Rilling, Wen Jun Meng, Olga Ormandjieva	Context Driven Slicing Based Coupling Measure.	ICSM	2004	DBLP DOI BibTeX RDF	software metrics, program slicing
40	Lei Xu 0003, Baowen Xu, Zhenqiang Chen, Jixiang Jiang, Huowang Chen	Regression Testing for Web Applications Based on Slicing.	COMPSAC	2003	DBLP DOI BibTeX RDF	Web testing, Software testing, Web application, Program slicing, Regression testing
40	Jens Krinke	Context-sensitive slicing of concurrent programs.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	parallelism, concurrency, program analysis, program slicing, context-sensitive
40	Mark Harman, Robert M. Hierons, Chris Fox, Sebastian Danicic, John Howroyd	Pre/Post Conditioned Slicing.	ICSM	2001	DBLP DOI BibTeX RDF	Conditioned program slicing, program specialisation, path condition analysis
40	Helvio P. Peixoto, Margarida F. Jacome, Ander Royo	A Tight Area Upper Bound for Slicing Floorplans.	VLSI Design	2000	DBLP DOI BibTeX RDF	Early area estimation, slicing floorplan, system level design
40	Hiroshi Maruyama, Keijiro Araki	VRML Program Slicing.	APSEC	1999	DBLP DOI BibTeX RDF	VRML, program slicing
40	Richard Gerber 0001, Seongsoo Hong	Slicing Real-Time Programs for Enhanced Schedulability.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	system tuning, program slicing, priority assignment, static priority scheduling
40	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
40	Cristina Cifuentes, Antoine Fraboulet	Intraprocedural Static Slicing of Binary Executables.	ICSM	1997	DBLP DOI BibTeX RDF	goto jumps, reverse engineering, binary code, disassembly, Static slicing
40	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
37	Liang Guo, Abhik Roychoudhury	Debugging Statecharts Via Model-Code Traceability.	ISoLA	2008	DBLP DOI BibTeX RDF	Debugging, Traceability, Statecharts, Slicing
37	Andreas Leitner, Manuel Oriol, Andreas Zeller, Ilinca Ciupa, Bertrand Meyer 0001	Efficient unit test case minimization.	ASE	2007	DBLP DOI BibTeX RDF	unit testing, minimization, slicing
37	Christian Hammer 0001, Martin Grimme, Jens Krinke	Dynamic path conditions in dependence graphs.	PEPM	2006	DBLP DOI BibTeX RDF	dynamic chopping, information flow control, dynamic slicing, path condition
37	Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu	Using Static Analysis to Improve Automatic Test Generation.	TACAS	2000	DBLP DOI BibTeX RDF	static analysis, bisimulation, conformance testing, slicing, asynchronous systems
37	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
36	Feng Chen 0006, Grigore Rosu	Parametric Trace Slicing and Monitoring.	TACAS	2009	DBLP DOI BibTeX RDF
36	Daniel Wasserrab, Andreas Lochbihler	Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL.	TPHOLs	2008	DBLP DOI BibTeX RDF
36	Xianbin Wang 0001, Yiyan Wu 0001, Hsiao-Chun Wu, Jean-Yves Chouinard	A Time Slicing Technique for Mobile Multimedia Communications using MSE-OFDM System.	VTC Spring	2008	DBLP DOI BibTeX RDF
36	Alberto Montresor, Roberto Zandonati	Absolute Slicing in Peer-to-peer Systems.	IPDPS	2008	DBLP DOI BibTeX RDF
36	Benjamin Monate, Julien Signoles	Slicing for Security of Code.	TRUST	2008	DBLP DOI BibTeX RDF
36	Ondrej Sery, Frantisek Plásil	Slicing of Component Behavior Specification with Respect to Their Composition.	CBSE	2007	DBLP DOI BibTeX RDF	Software architecture reuse, Components-based software engineering, Behavior specification
36	Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim	Slicing Abstractions.	FSEN	2007	DBLP DOI BibTeX RDF