The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Slicing with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1969-1988 (21) 1989-1990 (18) 1991-1992 (15) 1993 (25) 1994 (17) 1995 (27) 1996 (40) 1997 (33) 1998 (43) 1999 (56) 2000 (53) 2001 (77) 2002 (68) 2003 (75) 2004 (84) 2005 (109) 2006 (107) 2007 (120) 2008 (110) 2009 (83) 2010 (72) 2011 (68) 2012 (68) 2013 (65) 2014 (72) 2015 (60) 2016 (85) 2017 (158) 2018 (245) 2019 (302) 2020 (349) 2021 (349) 2022 (378) 2023 (361) 2024 (72)
Publication types (Num. hits)
article(1570) book(5) data(4) incollection(10) inproceedings(2239) phdthesis(56) proceedings(1)
Venues (Conferences, Journals, ...)
CoRR(329) IEEE Access(89) GLOBECOM(78) ICC(50) ICSM(49) IEEE Trans. Netw. Serv. Manag.(41) SCAM(41) ICSE(39) IEEE Commun. Mag.(38) IEEE Trans. Veh. Technol.(36) NetSoft(34) IEEE Netw.(28) IEEE Internet Things J.(27) OFC(27) Sensors(27) WCNC(22) More (+10 of total 1169)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1368 occurrences of 674 keywords

Results
Found 3885 publication records. Showing 3885 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
156Baowen Xu, Ju Qian, Xiaofang Zhang, Zhongqiang Wu, Lin Chen 0015 A brief survey of program slicing. Search on Bibsonomy ACM SIGSOFT Softw. Eng. Notes The full citation details ... 2005 DBLP  DOI  BibTeX  RDF debugging, program analysis, program slicing, dependence analysis, pointer analysis
141Xiaoping Chen, Wei-Tek Tsai, Hai Huang 0011, Mustafa H. Poonawala, Sanjai Rayadurgam, Yamin Wang Omega - an integrated environment for C++ program maintenance. Search on Bibsonomy ICSM The full citation details ... 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
123Richard 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
115Venkatesh Prasad Ranganath, John Hatcliff Slicing concurrent Java programs using Indus and Kaveri. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Concurrent Java, Indus, Kaveri, Program slicing, Program dependences
106Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum Program slicing for VHDL. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Model checking, Formal verification, VHDL, Program slicing, Hardware description languages
102Alessandro 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
100Martin 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
98YingZhou Zhang A novel formal approach to program slicing. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF slice monad transformer, modularity, program slicing, formal semantics, monads
96Tomonori 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
94David 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
94Ákos Kiss 0001, Judit Jász, Tibor Gyimóthy Using Dynamic Information in the Interprocedural Static Slicing of Binary Executables. Search on Bibsonomy Softw. Qual. J. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF interprocedural slicing, binary executables, indirect function call, call graph, dynamic information, static slicing
90Martin 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
86Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham Improved verification of hardware designs through antecedent conditioned slicing. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. 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
86David 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
83Jackey Z. Yan, Chris Chu DeFer: deferred decision making enabled fixed-outline floorplanner. Search on Bibsonomy DAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF deferred decision making, floorplanning, fixed outline
81Tao Wang, Abhik Roychoudhury Dynamic slicing on Java bytecode traces. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF debugging, Program slicing, tracing
81Stephen Drape, Anirban Majumdar 0001, Clark D. Thomborson Slicing Aided Design of Obfuscating Transforms. Search on Bibsonomy ACIS-ICIS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Program Transformation, Slicing, Obfuscation
81Manu 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
81Xiangyu Zhang 0001, Rajiv Gupta 0001, Youtao Zhang Cost and precision tradeoffs of dynamic data slicing algorithms. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF pointer references, debugging, Program slicing, data dependences
81Xiangyu Zhang 0001, Neelam Gupta, Rajiv Gupta 0001 A study of effectiveness of dynamic slicing in locating real faults. Search on Bibsonomy Empir. Softw. Eng. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Full slicing, Exploring slices, Fault location, Dynamic program slicing, Data slicing
80Hyoung Seok Hong, Insup Lee 0001, 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
77Zhongqiang 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
77Keith B. Gallagher, David W. Binkley, Mark Harman Stop-List Slicing. Search on Bibsonomy SCAM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
77Anthony M. Sloane, Jason Holdsworth Beyond Traditional Program Slicing. Search on Bibsonomy ISSTA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
77Fangjun Wu, Tong Yi Slicing Z specifications. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2004 DBLP  DOI  BibTeX  RDF specification slicing, program slicing, dependence analysis, formal specification language
76Mark Harman, Lin Hu 0005, Malcolm Munro, Xingyuan Zhang GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation. Search on Bibsonomy WCRE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Amorphous Slicing, Transformation, Side Effects, Coq Proof Assistant
73Ju Qian, Baowen Xu Program slicing under UML scenario models. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF UML, scenario, program understanding, program slicing
73Fangjun Wu Formal specification of program slicing. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2006 DBLP  DOI  BibTeX  RDF program slicing, program dependence graph, Z language, system dependence graph
73Xiangyu Zhang 0001, Sriraman Tallam, Rajiv Gupta 0001 Dynamic slicing long running programs through execution fast forwarding. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF debugging, checkpointing, replay, event logging, data slicing
73Yingzhou 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
71David 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
71Jameleddine 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
69Guangquan Zhang 0002, 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
69Longfei 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
69Matthew 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
69Kai 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
69Yingzhou 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
69Lin Hu 0005, 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
69Ákos Kiss 0001, Judit Jász, Gábor Lehotai, Tibor Gyimóthy Interprocedural Static Slicing of Binary Executables. Search on Bibsonomy SCAM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
69Juergen Rilling, Bhaskar Karanth A Hybrid Program Slicing Framework. Search on Bibsonomy SCAM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
69Mark Harman, Sebastian Danicic Amorphous Program Slicing. Search on Bibsonomy WPC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
69Avik Paul, Rajeev Kumar Precise dynamic slicing using execution-summary. Search on Bibsonomy SAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF program slicing, execution trace, dynamic slicing
67Hayward H. Chan, Igor L. Markov Practical slicing and non-slicing block-packing without simulated annealing. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF block-packing, optimal, evaluation, branch-and-bound, floorplanning, slicing, hierarchical, large-scale, soft blocks
66Xiangyu Zhang 0001, Haifeng He, Neelam Gupta, Rajiv Gupta 0001 Experimental evaluation of using dynamic slices for fault location. Search on Bibsonomy AADEBUG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF full slice, relevant slice, debugging, data slice
66Chris Fox, Mark Harman, Robert M. Hierons, Sebastian Danicic ConSIT: A Conditioned Program Slicer. Search on Bibsonomy ICSM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
65Cheng 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. Search on Bibsonomy ICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF backward slicing, binary optimization, single-thread performance, parallelization, speculations
65Sébastien Labbé 0002, Jean-Pierre Gallois Slicing communicating automata specifications: polynomial algorithms for model reduction. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Communicating automata, Specifications, Static analysis, Slicing, Dataflow analysis, Model reduction, Polynomial algorithms
65Ju 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
65Anirban Majumdar 0001, Stephen Drape, Clark D. Thomborson Slicing obfuscations: design, correctness, and evaluation. Search on Bibsonomy Digital Rights Management Workshop The full citation details ... 2007 DBLP  DOI  BibTeX  RDF program transformation, digital rights management, software security, obfuscation, static slicing
65Oksana Tkachuk, Sreeranga P. Rajan Combining environment generation and slicing for modular software model checking. Search on Bibsonomy ASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF environment generation, modular model checking, slicing
65Mangala Gowri Nanda, S. Ramesh 0001 Interprocedural slicing of multithreaded programs with applications to Java. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF interference dependence, strongly connected regions, Multithreading, program slicing, data dependence, context-sensitivity
65Deji Fatiregun, Mark Harman, Robert M. Hierons Search-Based Amorphous Slicing. Search on Bibsonomy WCRE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF transformation, slicing, search based software engineering
65Jianjun Zhao 0001 Applying Slicing Technique to Software Architectures. Search on Bibsonomy ICECCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Architecture slicing, software architecture, software reuse, architecture description language, impact analysis
65Filippo 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
61Xinyan Gao, Jinzhao Wu, Rui Qiao 0003, Jianfeng Chen Theory framework for event structure slicing. Search on Bibsonomy ISCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
61Jeremy Condit, George C. Necula Data Slicing: Separating the Heap into Independent Regions. Search on Bibsonomy CC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
61Michael 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
61Fumiaki 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
61Bogdan Korel, Inderdeep Singh, Luay Ho Tahat, Boris Vaysburg Slicing of State-Based Models. Search on Bibsonomy ICSM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
61Martin P. Ward Program Slicing via FermaT Transformations. Search on Bibsonomy COMPSAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
61Donglin 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
61Rajiv 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
61Mansur 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
61Bin 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
61Zuhoor A. Al-Khanjari, Martin R. Woodward, Haider Ali Ramadhan, Narayana Swamy Kutti The Efficiency of Critical Slicing in Fault Localization. Search on Bibsonomy Softw. Qual. J. The full citation details ... 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
61Winai Wichaipanitch, Mansur H. Samadzadeh, Songsri Tangsripairoj Development and Evaluation of a Slicing-Based C++ Debugger. Search on Bibsonomy ITCC (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Slicing and Dicing, Evaluation, Algorithms, Debugging, Dynamic Slicing
61Tibor Gyimóthy, Árpád Beszédes, István Forgács An Efficient Relevant Slicing Method for Debugging. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF relevant slicing, debugging, Dynamic slicing
58Yi Zhang 0051, S. Purushothaman Iyer Error Report Driven Post-Mortem Analysis. Search on Bibsonomy ICPC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
58Md. Saidur Rahman 0001, Kazuyuki Miura, Takao Nishizeki Octagonal Drawings of Plane Graphs with Prescribed Face Areas. Search on Bibsonomy WG The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
56Claudio Ochoa, Josep Silva, Germán Vidal Dynamic slicing of lazy functional programs based on redex trails. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Lazy functional programming, Redex trails, Debugging, Slicing
56Jaiprakash T. Lallchandani, Rajib Mall Regression testing based-on slicing of component-based software architectures. Search on Bibsonomy ISEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF architectural slicing, software architecture, regression testing, ADL, component-based systems
56Neeraj Mittal, Alper Sen 0001, Vijay K. Garg Solving Computation Slicing Using Predicate Detection. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF program trace analysis, computation slicing, testing and debugging, predicate detection
56Ranjit Jhala, Rupak Majumdar Path slicing. Search on Bibsonomy PLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF counterexample analysis, program slicing
56Claudio 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
56Hon 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
56Claudio Ochoa, Josep Silva, Germán Vidal Dynamic slicing based on redex trails. Search on Bibsonomy PEPM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF lazy functional logic programming, redex trails, slicing
56Mark 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
56Markus Müller-Olm, Helmut Seidl On optimal slicing of parallel programs. Search on Bibsonomy STOC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF complexity, parallel programs, slicing, undecidability, interprocedural analysis
56Mangala Gowri Nanda, S. Ramesh 0001 Slicing concurrent programs. Search on Bibsonomy ISSTA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Static program slicing, concurrency, data dependence
56Jianjun Zhao 0001 Slicing Concurrent Java Programs. Search on Bibsonomy IWPC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF program comprehesion, Java, Concurrency, program slicing, dependence analysis
56Aniello 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
56Vivekananda 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. Electron. Test. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF hierarchical test generation, constraint slicing, incremental slicing, program slicing, data-flow analysis
55László Vidács, Judit Jász, Árpád Beszédes, Tibor Gyimóthy Combining Preprocessor Slicing with C/C++ Language Slicing. Search on Bibsonomy ICPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
55Mark 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
55Jeremy Singer Towards Probabilistic Program Slicing. Search on Bibsonomy Beyond Program Slicing The full citation details ... 2005 DBLP  BibTeX  RDF
55David 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
55Nuno 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
55Karl 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
55Sue Black 0001, 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
55Douglas 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
55Chris Fox, Arthorn Luangsodsai And-Or Dependence Graphs for Slicing Statecharts. Search on Bibsonomy Beyond Program Slicing The full citation details ... 2005 DBLP  BibTeX  RDF
54David 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
54Dongkeun 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
52Jusub Kim, Joseph F. JáJá Component-based Data Layout for Efficient Slicing of Very Large Multidimensional Volumetric Data. Search on Bibsonomy SSDBM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
52Raoul Praful Jetley, Yi Zhang 0051, S. Purushothaman Iyer Using Abstraction-driven Slicing for Postmortem Analysis of Software. Search on Bibsonomy ICPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
52Martin P. Ward, Hussein Zedan, T. Hardcastle Conditioned Semantic Slicing via Abstraction and Refinement in FermaT. Search on Bibsonomy CSMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
52Ingo Brückner, Heike Wehrheim Slicing Object-Z Specifications for Verification. Search on Bibsonomy ZB The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
52Huzefa H. Kagdi, Jonathan I. Maletic, Andrew M. Sutton Context-Free Slicing of UML Class Models. Search on Bibsonomy ICSM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
52Sebastian 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
52Xiangyu 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
Displaying result #1 - #100 of 3885 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license