On slicing programs with jump statements
PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Static slicing in the presence of goto statements
ACM Transactions on Programming Languages and Systems (TOPLAS)
Forward computation of dynamic program slices
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Precise interprocedural chopping
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Beyond traditional program slicing
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Slicing class hierarchies in C++
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Computation of Dynamic Program Slices for Unstructured Programs
IEEE Transactions on Software Engineering
Dependency analysis of Ada programs
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
System-dependence-graph-based slicing of programs with arbitrary interprocedural control flow
Proceedings of the 21st international conference on Software engineering
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Analysis and Testing of Programs with Exception Handling Constructs
IEEE Transactions on Software Engineering
Slicing Software for Model Construction
Higher-Order and Symbolic Computation
Better Slicing of Programs with Jumps and Switches
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Academic vs. Industrial Software Engineering: Closing the Gap
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Slicing java programs that throw and catch exceptions
Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Journal of Systems and Software
Syntax-Directed Amorphous Slicing
Automated Software Engineering
Interprocedural slicing using dependence graphs
ACM SIGPLAN Notices - Best of PLDI 1979-1999
Slicing tools for synchronous reactive programs
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis
Software Quality Control
Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables
IEEE Transactions on Software Engineering
Hypertext support for the information needs of software maintainers
Journal of Software Maintenance and Evolution: Research and Practice
A brief survey of program slicing
ACM SIGSOFT Software Engineering Notes
Using Dynamic Information in the Interprocedural Static Slicing of Binary Executables
Software Quality Control
Efficient online detection of dynamic control dependence
Proceedings of the 2007 international symposium on Software testing and analysis
A new foundation for control dependence and slicing for modern program structures
ACM Transactions on Programming Languages and Systems (TOPLAS) - Special Issue ESOP'05
Efficient field-sensitive pointer analysis of C
ACM Transactions on Programming Languages and Systems (TOPLAS)
Slicing for modern program structures: a theory for eliminating irrelevant loops
Information Processing Letters
Capturing propagation of infected program states
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Improving slice accuracy by compression of data and control flow paths
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
An automatic method for the dynamic construction of abstractions of states of a formal model
Cybernetics and Systems Analysis
Identification of extract method refactoring opportunities for the decomposition of methods
Journal of Systems and Software
Identifying services from legacy batch applications
Proceedings of the 5th India Software Engineering Conference
A new foundation for control-dependence and slicing for modern program structures
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Functional programs that explain their work
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
State-based model slicing: A survey
ACM Computing Surveys (CSUR)
Security Signature Inference for JavaScript-based Browser Addons
Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization
Hi-index | 0.01 |