The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase program slicing (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1981-1993 (15) 1994-1995 (19) 1996 (21) 1997 (17) 1998 (19) 1999 (18) 2000-2001 (37) 2002 (27) 2003 (21) 2004 (41) 2005 (45) 2006 (34) 2007 (30) 2008 (24) 2009 (22) 2010 (18) 2011-2012 (26) 2013-2014 (18) 2015-2017 (17) 2018-2019 (9)
Publication types (Num. hits)
article(118) incollection(2) inproceedings(354) phdthesis(3) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 637 occurrences of 277 keywords

Results
Found 478 publication records. Showing 478 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
201Baowen Xu, Ju Qian, Xiaofang Zhang, Zhongqiang Wu, Lin Chen 0015 A brief survey of program slicing. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2005 DBLP  DOI  BibTeX  RDF debugging, program analysis, program slicing, dependence analysis, pointer analysis
136Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum Program slicing for VHDL. Search on Bibsonomy STTT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Model checking, Formal verification, VHDL, Program slicing, Hardware description languages
136YingZhou Zhang A novel formal approach to program slicing. Search on Bibsonomy Science in China Series F: Information Sciences The full citation details ... 2007 DBLP  DOI  BibTeX  RDF slice monad transformer, modularity, program slicing, formal semantics, monads
130Richard A. DeMillo, Hsin Pan, Eugene H. Spafford Critical Slicing for Software Fault Localization. Search on Bibsonomy ISSTA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF critical slicing, static program slicing, testing, debugging, failures, faults, fault localization, mutation analysis, dynamic program slicing
129Venkatesh Prasad Ranganath, John Hatcliff Slicing concurrent Java programs using Indus and Kaveri. Search on Bibsonomy STTT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Concurrent Java, Indus, Kaveri, Program slicing, Program dependences
125Tomonori Takada, Fumiaki Ohata, Katsuro Inoue Dependence-Cache Slicing: A Program Slicing Method Using Lightweight Dynamic Information. Search on Bibsonomy IWPC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
106Ju Qian, Baowen Xu Program slicing under UML scenario models. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF UML, scenario, program understanding, program slicing
106Yingzhou Zhang, Baowen Xu, Liang Shi, Bixin Li, Hongji Yang Modular Monadic Program Slicing. Search on Bibsonomy COMPSAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF program slicing, formal semantics, monads, monad transformers
102Hyoung Seok Hong, Insup Lee, Oleg Sokolsky Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking. Search on Bibsonomy SCAM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
102Fangjun Wu Formal specification of program slicing. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2006 DBLP  DOI  BibTeX  RDF program slicing, program dependence graph, Z language, system dependence graph
102Kai Pan, Sunghun Kim 0001, E. James Whitehead Jr. Bug Classification Using Program Slicing Metrics. Search on Bibsonomy SCAM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
97Guangquan Zhang, Rong Mei An Approach of Concurrent Object-Oriented Program Slicing Based on LTL Property. Search on Bibsonomy CSSE (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
95Yingzhou Zhang, Baowen Xu, José Emilio Labra Gayo A Formal Method for Program Slicing. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
93Alessandro Orso, Saurabh Sinha, Mary Jean Harrold Incremental Slicing Based on Data-Dependences Types. Search on Bibsonomy ICSM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF incremental slicing, Program slicing, data dependences, alias analysis, system-dependence graph
93Ju Qian, Baowen Xu Scenario oriented program slicing. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF scenario, decomposition, program understanding, program slicing
93Filippo Lanubile, Giuseppe Visaggio Extracting Reusable Funtions by Flow Graph-Based Program Slicing. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF reusable functions, code scavenging, reverse engineering, modularization, Software reuse, program slicing, data flow analysis, software comprehension
93David W. Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss 0001, Lahcen Ouarbya Formalizing Executable Dynamic and Forward Slicing. Search on Bibsonomy SCAM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
91Jameleddine Hassine, Rachida Dssouli, Juergen Rilling Applying Reduction Techniques to Software Functional Requirement Specifications. Search on Bibsonomy SAM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Functional requirement specification, maintenance, program slicing, comprehension, Use Case Maps
90Juergen Rilling, Bhaskar Karanth A Hybrid Program Slicing Framework. Search on Bibsonomy SCAM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
90Mark Harman, Sebastian Danicic Amorphous Program Slicing. Search on Bibsonomy WPC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
84Zhongqiang Wu, Yingzhou Zhang, Baowen Xu Modular Monadic Slicing in the Presence of Pointers. Search on Bibsonomy International Conference on Computational Science (4) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
84Keith Gallagher, David W. Binkley, Mark Harman Stop-List Slicing. Search on Bibsonomy SCAM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
81Takashi Ishio, Shinji Kusumoto, Katsuro Inoue Program Slicing Tool for Effective Software Evolution Using Aspect-Oriented Technique. Search on Bibsonomy IWPSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
79Aniello Cimitile, Andrea De Lucia, Malcolm Munro Identifying reusable functions using specification driven program slicing: a case study. Search on Bibsonomy ICSM The full citation details ... 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
79Martin P. Ward, Hussein Zedan Slicing as a program transformation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF FermaT, formal methods, reverse engineering, program transformation, reengineering, Slicing
77Martin P. Ward Program Slicing via FermaT Transformations. Search on Bibsonomy COMPSAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
75Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham Improved verification of hardware designs through antecedent conditioned slicing. Search on Bibsonomy STTT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF LTL property, Antecedent conditioned slicing, Verilog RTL, Model checking, Program slicing, Hardware description languages, Hardware verification
75Dongkeun Kim, Donald Yeung A study of source-level compiler algorithms for automatic construction of pre-execution code. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF pre-execution, prefetch conversion, speculative loop parallelization, multithreading, program slicing, Data prefetching, memory-level parallelism
75Muhammad Saleem 0002, Rasheed Hussain, Yasir Ismail, Shaikh Mohsin Cost effective software engineering using program slicing techniques. Search on Bibsonomy Int. Conf. Interaction Sciences The full citation details ... 2009 DBLP  DOI  BibTeX  RDF software cost and time, software development phases, program slicing, program code
73David W. Binkley, Mark Harman, Jens Krinke 05451 Abstracts Collection -- Beyond Program Slicing. Search on Bibsonomy Beyond Program Slicing The full citation details ... 2005 DBLP  BibTeX  RDF
73Mark Harman, David W. Binkley, Jens Krinke 05451 Executive Summary -- Beyond Program Slicing Dagstuhl Seminar. Search on Bibsonomy Beyond Program Slicing The full citation details ... 2005 DBLP  BibTeX  RDF
73Sue Black, Steve Counsell, Tracy Hall, Paul Wernick Using Program Slicing to Identify Faults in Software. Search on Bibsonomy Beyond Program Slicing The full citation details ... 2005 DBLP  BibTeX  RDF
73Jeremy Singer Towards Probabilistic Program Slicing. Search on Bibsonomy Beyond Program Slicing The full citation details ... 2005 DBLP  BibTeX  RDF
73Alexander Campbell, Anthony Cox Scenario-Based Program Slicing. Search on Bibsonomy ECBS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Scenarios, Program Slicing, Agile development
72Manu Sridharan, Stephen J. Fink, Rastislav Bodík Thin slicing. Search on Bibsonomy PLDI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF debugging, program understanding, slicing
70David W. Binkley, Nicolas Gold, Mark Harman, Zheng Li 0002, Kiarash Mahdavi An Empirical Study of Executable Concept Slice Size. Search on Bibsonomy WCRE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Concept Assignment, Program Slicing
70Yingzhou Zhang, Baowen Xu A Slice Monad Transformer and Its Applications in Program Slicing. Search on Bibsonomy ICECCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF slice monad transformer, modular monadic semantics, Program slicing, monad transformers
70Yi Zhang, S. Purushothaman Iyer Error Report Driven Post-Mortem Analysis. Search on Bibsonomy ICPC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
70Matthew 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. Search on Bibsonomy TACAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
70Yingzhou Zhang, José Emilio Labra Gayo, Agustín Cernuda del Río A monadic program slicer. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2006 DBLP  DOI  BibTeX  RDF modular monadic semantics, program slicer, monad, monad transformer
70Xiangyu Zhang 0001, Rajiv Gupta 0001 Cost effective dynamic program slicing. Search on Bibsonomy PLDI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF testing, debugging, dynamic dependence graph
70Jeffry T. Russell Program slicing for codesign. Search on Bibsonomy CODES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
68Hon Fung Li, Juergen Rilling, Dhrubajyoti Goswami Granularity-Driven Dynamic Predicate Slicing Algorithms for Message Passing Systems. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF message passing, program comprehension, concurrent program, program slicing
68Markus Mock, Darren C. Atkinson, Craig Chambers, Susan J. Eggers Program Slicing with Dynamic Points-To Sets. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Dynamic analysis, program slicing, points-to analysis
68Markus Mock, Darren C. Atkinson, Craig Chambers, Susan J. Eggers Improving program slicing with dynamic points-to data. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF dynamic analysis, program slicing, points-to analysis
68Lin Hu, Mark Harman, Robert M. Hierons, David W. Binkley Loop Squashing Transformations for Amorphous Slicing. Search on Bibsonomy WCRE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
68David W. Binkley, L. Ross Raszewski, Christopher Smith, Mark Harman An Empirical Study of Amorphous Slicing as a Program Comprehension Support Tool. Search on Bibsonomy IWPC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF amorphous slicing, program comprehension, slicing, arrays, empirical validation
68Rajiv Gupta 0001, Mary Lou Soffa, John Howard Hybrid Slicing: Integrating Dynamic Information with Static Analysis. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF dynamic call graph, hybrid slice, dynamic slice, breakpoint, static slice
66Fangjun Wu, Tong Yi Slicing Z specifications. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2004 DBLP  DOI  BibTeX  RDF specification slicing, program slicing, dependence analysis, formal specification language
66Longfei Jin, Lei Liu An Ontology Slicing Method Based on Ontology Definition Metamodel. Search on Bibsonomy BIS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
65Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum Program Slicing of Hardware Description Languages. Search on Bibsonomy CHARME The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
64Neelam Gupta, Haifeng He, Xiangyu Zhang 0001, Rajiv Gupta 0001 Locating faulty code using failure-inducing chops. Search on Bibsonomy ASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF backward dynamic, failure-inducing input, forward dynamic program slicing, program slicing, automated debugging
63David W. Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss 0001, Bogdan Korel Minimal Slicing and the Relationships Between Forms of Slicing. Search on Bibsonomy SCAM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
63Jens Krinke Context-Sensitivity Matters, But Context Does Not. Search on Bibsonomy SCAM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
63Fumiaki Umemori, Kenji Konda, Reishi Yokomori, Katsuro Inoue Design and Implementation of Bytecode-based Java Slicing System. Search on Bibsonomy SCAM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
63Donglin Liang, Mary Jean Harrold Reuse-Driven Interprocedural Slicing in the Presence of Pointers and Recursion. Search on Bibsonomy ICSM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
61Josep Silva, Olaf Chitil Combining algorithmic debugging and program slicing. Search on Bibsonomy PPDP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF algorithmic debugging, program slicing
61Yoga Sivagurunathan, Mark Harman, Bala Sivagurunathan Slice-Based Dynamic Memory Modelling - A Case Study. Search on Bibsonomy COMPSAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
60Takashi Ishio, Shinji Kusumoto, Katsuro Inoue Debugging Support for Aspect-Oriented Program Based on Program Slicing and Call Graph. Search on Bibsonomy ICSM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
59Ranjit Jhala, Rupak Majumdar Path slicing. Search on Bibsonomy PLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF counterexample analysis, program slicing
59Juergen Rilling, Hon Fung Li, Dhrubajyoti Goswami Predicate-Based Dynamic Slicing of Message Passing Programs. Search on Bibsonomy SCAM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF predicate slice, predicate trace, message passing, program comprehension, Program slicing
59Mariam Kamkar, Patrik Krajina Dynamic slicing of distributed programs. Search on Bibsonomy ICSM The full citation details ... 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
59Isabella Mastroeni, Damiano Zanardini Data dependencies and program slicing: from syntax to abstract semantics. Search on Bibsonomy PEPM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF abstract non-interference, abstract interpretation, program slicing, dependency analysis
59Hiroshi Maruyama, Keijiro Araki VRML Program Slicing. Search on Bibsonomy APSEC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF VRML, program slicing
59Michael Leuschel, Germán Vidal Forward Slicing by Conjunctive Partial Deduction and Argument Filtering. Search on Bibsonomy ESOP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
59Mansur H. Samadzadeh, Winai Wichaipanitch An Interactive Debugging Tool for C Based on Dynamic Slicing and Dicing. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1993 DBLP  DOI  BibTeX  RDF C
59Mark Harman, Robert M. Hierons, Sebastian Danicic, John Howroyd, Michael R. Laurence, Chris Fox Node Coarsening Calculi for Program Slicing. Search on Bibsonomy WCRE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF slice precision, node merging, slicing
57Martin P. Ward The Formal Transformation Approach to Source Code Analysis and Manipulation. Search on Bibsonomy SCAM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF amorphous slicing, conditioned slicing, semantic slicing, Formal Methods, Transformation, Slicing, WSL
57Sebastian Danicic, Andrea De Lucia, Mark Harman Building Executable Union Slices using Conditioned Slicing. Search on Bibsonomy IWPC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
57Junhua Wu, Baowen Xu, Jixiang Jiang Slicing Web Application Based on Hyper Graph. Search on Bibsonomy CW The full citation details ... 2004 DBLP  DOI  BibTeX  RDF program dependence hyper graph, program slice, web page
56Christer Sandberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper Faster WCET flow analysis by program slicing. Search on Bibsonomy LCTES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF hard real time, worst-case execution time analysis
56David Willmor, Suzanne M. Embury, Jianhua Shao 0001 Program Slicing in the Presence of a Database State. Search on Bibsonomy ICSM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
56David W. Binkley, Mark Harman, Jens Krinke (eds.) Beyond Program Slicing, 06.11. - 11.11.2005 Search on Bibsonomy Beyond Program Slicing The full citation details ... 2006 DBLP  BibTeX  RDF
56Karl Trygve Kalleberg, Tracy Hall, Ran Ettinger Making Slicing Mainstream How can we be Weiser?. Search on Bibsonomy Beyond Program Slicing The full citation details ... 2005 DBLP  BibTeX  RDF
56Chris Fox, Arthorn Luangsodsai And-Or Dependence Graphs for Slicing Statecharts. Search on Bibsonomy Beyond Program Slicing The full citation details ... 2005 DBLP  BibTeX  RDF
56Silvia Breu, Marc Schlickling, Nuno F. Rodrigues 05451 Group 5 -- Bananas, Dark Worlds, and AspectH. Search on Bibsonomy Beyond Program Slicing The full citation details ... 2005 DBLP  BibTeX  RDF
56Sue Black, Philipp Bouillon And Now For Something Completely Different.... Search on Bibsonomy Beyond Program Slicing The full citation details ... 2005 DBLP  BibTeX  RDF
56Nuno F. Rodrigues, Luís Soares Barbosa Slicing Functional Programs by Calculation. Search on Bibsonomy Beyond Program Slicing The full citation details ... 2005 DBLP  BibTeX  RDF
56Douglas Samuel Kirk, Marc Roper, Neil Walkinshaw Using Attribute Slicing to Refactor Large Classes. Search on Bibsonomy Beyond Program Slicing The full citation details ... 2005 DBLP  BibTeX  RDF
56Silvia Breu Extending C Global Surveyor. Search on Bibsonomy Beyond Program Slicing The full citation details ... 2005 DBLP  BibTeX  RDF
55Lynette I. Millett, Tim Teitelbaum Issues in Slicing PROMELA and Its Applications to Model Checking, Protocol Understanding, and Simulation. Search on Bibsonomy STTT The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Model checking, Static analysis, Program slicing, Concurrent languages
55Wamberto Weber Vasconcelos A Flexible Framework for Dynamic and Static Slicing of Logic Programs. Search on Bibsonomy PADL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Logic program slicing, program analysis & understanding
54Roberto Giacobazzi, Isabella Mastroeni Non-Standard Semantics for Program Slicing. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2003 DBLP  DOI  BibTeX  RDF reduced power, transfinite semantics, semantics, abstract interpretation, program slicing, compositional semantics, program manipulation
54Aditya Rajeev Kulkarni, S. Ramesh 0001 Static Slicing of Reactive Programs. Search on Bibsonomy SCAM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54John Field, Frank Tip Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing. Search on Bibsonomy PLILP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
54Pierre Rousseau A New Approach for Concurrent Program Slicing. Search on Bibsonomy FORTE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
52Wei-Tek Tsai Application of data-centered approach to Year 2000 problem. Search on Bibsonomy COMPSAC The full citation details ... 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
52Keith Brian Gallagher, James R. Lyle Using Program Slicing in Software Maintenance. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
52Cheng Wang 0013, Youfeng Wu, Edson Borin, Shiliang Hu, Wei Liu, Dave Sager, Tin-fook Ngai, Jesse Fang Dynamic parallelization of single-threaded binary programs using speculative slicing. Search on Bibsonomy ICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF backward slicing, binary optimization, single-thread performance, parallelization, speculations
52Gagan Agrawal, Liang Guo Evaluating explicitly context-sensitive program slicing. Search on Bibsonomy PASTE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
50Matthew Allen, Susan Horwitz Slicing java programs that throw and catch exceptions. Search on Bibsonomy PEPM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF java exceptions, program slicing, program dependence graph
50Thomas W. Reps, Susan Horwitz, Shmuel Sagiv, Genevieve Rosay Speeding up Slicing. Search on Bibsonomy SIGSOFT FSE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF dynamic transitive closure, flow-sensitive summary information, realizable path, dynamic programming, program slicing, program debugging, program dependence graph
50Mariam Kamkar, Patrik Krajina, Peter Fritzson Dynamic Slicing of Parallel Message-Passing Programs. Search on Bibsonomy PDP The full citation details ... 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
50David W. Binkley, Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya A formal relationship between program slicing and partial evaluation. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Conditioned program slicing, Partial evaluation
50Claudio Ochoa, Josep Silva, Germán Vidal Lightweight program specialization via dynamic slicing. Search on Bibsonomy WCFLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF lazy functional logic programming, program specialization, dynamic slicing
48Bin Xin 0001, Xiangyu Zhang 0001 Memory slicing. Search on Bibsonomy ISSTA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF data-centric slicing, memory dependence graph, fault localization, dynamic program slicing
48Jens Krinke Slicing, Chopping, and Path Conditions with Barriers. Search on Bibsonomy Software Quality Journal The full citation details ... 2004 DBLP  DOI  BibTeX  RDF program slicing, program dependence graph, path conditions
48Filippo Ricca, Paolo Tonella Web Application Slicing. Search on Bibsonomy ICSM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Reverse engineering, Web applications, Program slicing, Code analysis
48Ross Gore, Paul F. Reynolds Jr. Causal Program Slicing. Search on Bibsonomy PADS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Simulation, Debugging, Validation, Program Slicing
48Vivekananda M. Vedula, Jacob A. Abraham, Jayanta Bhadra, Raghuram S. Tupuri A Hierarchical Test Generation Approach Using Program Slicing Techniques on Hardware Description Languages. Search on Bibsonomy J. Electronic Testing The full citation details ... 2003 DBLP  DOI  BibTeX  RDF hierarchical test generation, constraint slicing, incremental slicing, program slicing, data-flow analysis
Displaying result #1 - #100 of 478 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license