Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Integrating noninterfering versions of programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Interprocedural slicing using dependence graphs
ACM Transactions on Programming Languages and Systems (TOPLAS)
A safe approximate algorithm for interprocedural aliasing
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Interprocedural modification side effect analysis with pointer aliasing
PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
The design of whole-program analysis tools
Proceedings of the 18th international conference on Software engineering
A safe, efficient regression test selection technique
ACM Transactions on Software Engineering and Methodology (TOSEM)
Call graph construction in object-oriented languages
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Computation of interprocedural control dependence
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
An empirical study of static call graph extractors
ACM Transactions on Software Engineering and Methodology (TOSEM)
Reuse-driven interprocedural slicing
Proceedings of the 20th international conference on Software engineering
Complexity of Concrete Type-Inference in the Presence of Exceptions
ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
Slicing Programs with Arbitrary Control-flow
AADEBUG '93 Proceedings of the First International Workshop on Automated and Algorithmic Debugging
Analysis of Programs with Exception-Handling Constructs
ICSM '98 Proceedings of the International Conference on Software Maintenance
Efficient coverage testing using global dominator graphs
Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Slicing spreadsheets: an integrated methodology for spreadsheet testing and debugging
Proceedings of the 2nd conference on Domain-specific languages
Analysis and Testing of Programs with Exception Handling Constructs
IEEE Transactions on Software Engineering
Interprocedural control dependence
ACM Transactions on Software Engineering and Methodology (TOSEM)
Complexity of Points-To Analysis of Java in the Presence of Exceptions
IEEE Transactions on Software Engineering
Evaluating explicitly context-sensitive program slicing
PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
A schema for interprocedural modification side-effect analysis with pointer aliasing
ACM Transactions on Programming Languages and Systems (TOPLAS)
An overview of methods for dependence analysis of concurrent programs
ACM SIGPLAN Notices
Better Slicing of Programs with Jumps and Switches
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Tool Support for Improving Test Coverage
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Proceedings of the tenth international symposium on Hardware/software codesign
Slicing java programs that throw and catch exceptions
Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Incremental Slicing Based on Data-Dependences Types
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Flow Analysis to Detect Blocked Statements
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Design and Implementation of a Fine-Grained Software Inspection Tool
IEEE Transactions on Software Engineering
Syntax-Directed Amorphous Slicing
Automated Software Engineering
Interprocedural slicing using dependence graphs
ACM SIGPLAN Notices - Best of PLDI 1979-1999
ACM Transactions on Software Engineering and Methodology (TOSEM)
Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables
IEEE Transactions on Software Engineering
A brief survey of program slicing
ACM SIGSOFT Software Engineering Notes
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)
An infrastructure to support interoperability in reverse engineering
Information and Software Technology
Slicing spreadsheets: an integrated methodology for spreadsheet testing and debugging
DSL'99 Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2
Efficient online detection of dynamic control dependence
Proceedings of the 2007 international symposium on Software testing and analysis
Proceedings of the 7th international conference on Aspect-oriented software development
A model-based regression test selection approach for embedded applications
ACM SIGSOFT Software Engineering Notes
Program dependence graph based slicing for Java
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
A Technique for Verifying Component-Based Software
Electronic Notes in Theoretical Computer Science (ENTCS)
Matching dependence-related queries in the system dependence graph
Proceedings of the IEEE/ACM international conference on Automated software engineering
Edutainment'10 Proceedings of the Entertainment for education, and 5th international conference on E-learning and games
Static detection of unsafe component loadings
CC'12 Proceedings of the 21st international conference on Compiler Construction
A regression test selection technique for embedded software
ACM Transactions on Embedded Computing Systems (TECS)
Hi-index | 0.00 |