The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Integrating non-intering versions of programs
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The relationship between slices and module cohesion
ICSE '89 Proceedings of the 11th international conference on Software engineering
Interprocedural slicing using dependence graphs
ACM Transactions on Programming Languages and Systems (TOPLAS)
A systematic catalogue of reusable abstract data types
A systematic catalogue of reusable abstract data types
Contracts: specifying behavioral compositions in object-oriented systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Module reuse by interface adaptation
Software—Practice & Experience
Using Program Slicing in Software Maintenance
IEEE Transactions on Software Engineering
Interface slicing: a static program analysis tool for software engineering
Interface slicing: a static program analysis tool for software engineering
Programmers use slices when debugging
Communications of the ACM
Flow Analysis of Computer Programs
Flow Analysis of Computer Programs
Reverse Engineering and Design Recovery: A Taxonomy
IEEE Software
Recognizing a Program's Design: A Graph-Parsing Approach
IEEE Software
Specifying Reusable Components Using Contracts
ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
ICSE '81 Proceedings of the 5th international conference on Software engineering
Flow insensitive C++ pointers and polymorphism analysis and its application to slicing
ICSE '97 Proceedings of the 19th international conference on Software engineering
Extracting Reusable Functions by Flow Graph-Based Program Slicing
IEEE Transactions on Software Engineering
Task dependence nets for concurrent systems with Ada 95 and its applications
Proceedings of the conference on TRI-Ada '97
An efficient relevant slicing method for debugging
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Correct Program Slicing of Database Operations
IEEE Software
Equivalence of conservative, free, linear program schemas is decidable
Theoretical Computer Science
Extracting Code Fragment that Implements Functionality
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Slicing Methods Using Static and Dynamic Analysis Information
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Slicing Functional Components from Data-Intensive Business Programs
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Journal of Systems and Software
Slicing, Chopping, and Path Conditions with Barriers
Software Quality Control
A brief survey of program slicing
ACM SIGSOFT Software Engineering Notes
A technique for automatic component extraction from object-oriented programs by refactoring
Science of Computer Programming - Special issue on new software composition concepts
Optimizing slicing of formal specifications by deductive verification
Nordic Journal of Computing - Selected papers of the 17th nordic workshop on programming theory (NWPT'05), October 19-21, 2005
A formalisation of the relationship between forms of program slicing
Science of Computer Programming - Special issue on source code analysis and manipulation (SCAM 2005)
Theoretical foundations of dynamic program slicing
Theoretical Computer Science
Interprocedural slicing of multithreaded programs with applications to Java
ACM Transactions on Programming Languages and Systems (TOPLAS)
An empirical study of static program slice size
ACM Transactions on Software Engineering and Methodology (TOSEM)
Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time
Theoretical Computer Science
Empirical-based recovery and maintenance of input error-correction features
Journal of Software Maintenance and Evolution: Research and Practice
Applying static analysis for automated extraction of database interactions in web applications
Information and Software Technology
Dependence clusters in source code
ACM Transactions on Programming Languages and Systems (TOPLAS)
Assessing the impact of global variables on program dependence and dependence clusters
Journal of Systems and Software
A vocabulary of program slicing-based techniques
ACM Computing Surveys (CSUR)
Hi-index | 0.01 |