Change impact analysis for aspect-oriented software evolution
Proceedings of the International Workshop on Principles of Software Evolution
Proceedings of the 2nd international conference on Aspect-oriented software development
Syntax-Directed Amorphous Slicing
Automated Software Engineering
Untangling: a slice extraction refactoring
Proceedings of the 3rd international conference on Aspect-oriented software development
A brief survey of program slicing
ACM SIGSOFT Software Engineering Notes
On bytecode slicing and aspectJ interferences
Proceedings of the 6th workshop on Foundations of aspect-oriented languages
Regression Test Selection for AspectJ Software
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Empirical study of optimization techniques for massive slicing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the 7th international conference on Aspect-oriented software development
Extending omniscient debugging to support aspect-oriented programming
Proceedings of the 2008 ACM symposium on Applied computing
Incremental analysis of interference among aspects
Proceedings of the 7th workshop on Foundations of aspect-oriented languages
FM '08 Proceedings of the 15th international symposium on Formal Methods
The MEB and CEB Static Analysis for CSP Specifications
Logic-Based Program Synthesis and Transformation
Analysis of Aspect-Oriented Model Weaving
Transactions on Aspect-Oriented Software Development V
Dependence clusters in source code
ACM Transactions on Programming Languages and Systems (TOPLAS)
A metric model for aspects' coupling
Proceedings of the 2010 ICSE Workshop on Emerging Trends in Software Metrics
MAVEN: modular aspect verification and interference analysis
Formal Methods in System Design
Dataflow analysis for properties of aspect systems
HVC'09 Proceedings of the 5th international Haifa verification conference on Hardware and software: verification and testing
Rigorous fault tolerance using aspects and formal methods
Rigorous Development of Complex Fault-Tolerant Systems
Aspect categories and classes of temporal properties
Transactions on Aspect-Oriented Software Development I
abc: an extensible AspectJ compiler
Transactions on Aspect-Oriented Software Development I
Static slicing of explicitly synchronized languages
Information and Computation
A vocabulary of program slicing-based techniques
ACM Computing Surveys (CSUR)
System dependence graphs in sequential erlang
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
A constraint-weaving approach to points-to analysis for AspectJ
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |
Program slicing has many applications in software engineering activities including program comprehension, debugging, testing, maintenance, and model checking. In this paper, we propose an approach to slicing aspect-oriented software. To solve this problem, we present a dependence-based representation called aspect-oriented system dependence graph (ASDG), which extends previous dependence graphs, to represent aspect-oriented software. The ASDG of an aspect-oriented program consists of three parts: a system dependence graph for non-aspect code, a group of dependence graphs for aspect code, and some additional dependence arcs used to connect the system dependence graph to the dependence graphs for aspect code. After that, we show how to compute a static slice of an aspect-oriented program based on the ASDG.