Efficient construction of program dependence graphs
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
A demand-driven analyzer for data flow testing at the integration level
Proceedings of the 18th international conference on Software engineering
Automated regression test generation
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Software Black Box: An Alternative Mechanism for Failure Analysis
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
A Statistical Model to Locate Faults at Input Level
Proceedings of the 19th IEEE international conference on Automated software engineering
Efficient path conditions in dependence graphs for software safety analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Tool support for iterative software process modeling
Information and Software Technology
Enhancing Theorem Prover Interfaces with Program Slice Information
Electronic Notes in Theoretical Computer Science (ENTCS)
Static Slicing of Rewrite Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Applying static analysis for automated extraction of database interactions in web applications
Information and Software Technology
Slicing for modern program structures: a theory for eliminating irrelevant loops
Information Processing Letters
Detecting buffer overflow via automatic test input data generation
Computers and Operations Research
Locating dependence structures using search-based slicing
Information and Software Technology
Algorithms and tool support for dynamic information flow analysis
Information and Software Technology
Dynamic Slicing Techniques for Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Information Filtering and Information Retrieval with the Web Filtering Toolbar
Electronic Notes in Theoretical Computer Science (ENTCS)
Combining preprocessor slicing with C/C++ language slicing
Science of Computer Programming
Is non-parametric hypothesis testing model robust for statistical fault localization?
Information and Software Technology
The dependence condition graph: Precise conditions for dependence between program points
Computer Languages, Systems and Structures
3D visualization techniques to support slicing-based program comprehension
Computers and Graphics
Efficient Model Checking of Hardware Using Conditioned Slicing
Electronic Notes in Theoretical Computer Science (ENTCS)
Slicing-based Hardware/Software Co-design Methodology From Functional Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Computation
A trajectory-based strict semantics for program slicing
Theoretical Computer Science
Interactive, visual fault localization support for end-user programmers
Journal of Visual Languages and Computing
Program transformations for information personalization
Computer Languages, Systems and Structures
An alternative characterization of weak order dependence
Information Processing Letters
Non-parametric statistical fault localization
Journal of Systems and Software
Evolutionary repair of faulty software
Applied Soft Computing
Static slicing of explicitly synchronized languages
Information and Computation
A vocabulary of program slicing-based techniques
ACM Computing Surveys (CSUR)
Research: Analysis and representation of test cases generated from LOTOS
Computer Communications
Software fault localization based on program slicing spectrum
Proceedings of the 34th International Conference on Software Engineering
Slicing and replaying code change history
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Path Compression in Timed Automata
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Heap slicing using type systems
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part III
Slicing of Timed Automata with Discrete Data
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
SAS'07 Proceedings of the 14th international conference on Static Analysis
A model driven reverse engineering framework for extracting business rules out of a java application
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Stratified Static Analysis Based on Variable Dependencies
Electronic Notes in Theoretical Computer Science (ENTCS)
Code-based prioritization: a pre-testing effort to minimize post-release failures
Innovations in Systems and Software Engineering
B model slicing and predicate abstraction to generate tests
Software Quality Control
Improved methods and measures for computing dynamic program slices in stochastic simulations
Proceedings of the Winter Simulation Conference
Resource requirement prediction using clone detection technique
Future Generation Computer Systems
Abstract program slicing of database query languages
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Quantitative program slicing: separating statements by relevance
Proceedings of the 2013 International Conference on Software Engineering
Efficient Identification of Linchpin Vertices in Dependence Clusters
ACM Transactions on Programming Languages and Systems (TOPLAS)
ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming
Architectural slicing: towards automatic harvesting of architectural prototypes
ECSA'13 Proceedings of the 7th European conference on Software Architecture
Mutation-oriented test data augmentation for GUI software fault localization
Information and Software Technology
Prevalence of coincidental correctness and mitigation of its impact on fault localization
ACM Transactions on Software Engineering and Methodology (TOSEM)
Traceability and SysML design slices to support safety inspections: A controlled experiment
ACM Transactions on Software Engineering and Methodology (TOSEM)
| Hi-index | 0.01 |
Program slicing is a method for automatically decomposing programs by analyzing their data flow and control flow. Starting from a subset of a program's behavior, slicing reduces that program to a minimal form which still produces that behavior. The reduced program, called a ``slice,'' is an independent program guaranteed to represent faithfully the original program within the domain of the specified subset of behavior. Some properties of slices are presented. In particular, finding statement-minimal slices is in general unsolvable, but using data flow analysis is sufficient to find approximate slices. Potential applications include automatic slicing tools for debuggng and parallel processing of slices.