Towards a more efficient static software change impact analysis method
Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Dependence clusters in source code
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using lattice of class and method dependence for change impact analysis of object oriented programs
Proceedings of the 2011 ACM Symposium on Applied Computing
Practical change impact analysis based on static program slicing for industrial software systems
Proceedings of the 33rd International Conference on Software Engineering
Using structural and textual information to capture feature coupling in object-oriented software
Empirical Software Engineering
A framework for change impact analysis of ontology-driven content-based systems
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems
Using Formal Concept Analysis to support change analysis
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Impact analysis for distributed event-based systems
Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems
Combining concept lattice with call graph for impact analysis
Advances in Engineering Software
Using water wave propagation phenomenon to study software change impact analysis
Advances in Engineering Software
An empirical study on the developers' perception of software coupling
Proceedings of the 2013 International Conference on Software Engineering
Hi-index | 0.00 |
Verification is usually performed on a high-level view of the software, either specification or program source code. However in certain circumstances verification is more relevant when performed at the machine code level. This paper focuses on automatic ...