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)
Experiments on slicing-based debugging aids
Papers presented at the first workshop on empirical studies of programmers on Empirical studies of programmers
Interprocedural slicing using dependence graphs
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
The program summary graph and flow-sensitive interprocedual data flow analysis
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Interprocedural side-effect analysis in linear time
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Integrating noninterfering versions of programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the adequacy of program dependence graphs for representing programs
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On Live-Dead Analysis for Global Data Flow Problems
Journal of the ACM (JACM)
A precise inter-procedural data flow algorithm
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An efficient way to find the side effects of procedure calls and the aliases of variables
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The program dependence graph in a software development environment
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
The semantic approach to program slicing
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
Generalized algorithmic debugging and testing
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
Dynamic slicing in the presence of unconstrained pointers
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Using Program Slicing in Software Maintenance
IEEE Transactions on Software Engineering
The use of program dependence graphs in software engineering
ICSE '92 Proceedings of the 14th international conference on Software engineering
Developing and integrating ProDAG in the Arcadia environment
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
The Task Dependence Net in Ada software development
ACM SIGAda Ada Letters
Automated assistance for program restructuring
ACM Transactions on Software Engineering and Methodology (TOSEM)
Efficient construction of program dependence graphs
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Constructing call multigraphs using dependence graphs
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Incremental program testing using program dependence graphs
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Unified Interprocedural Program Representation for a Maintenance Environment
IEEE Transactions on Software Engineering
Generalized algorithmic debugging and testing
ACM Letters on Programming Languages and Systems (LOPLAS)
Double iterative framework for flow-sensitive interprocedural data flow analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Efficient computation of interprocedural definition-use chains
ACM Transactions on Programming Languages and Systems (TOPLAS)
Precise executable interprocedural slices
ACM Letters on Programming Languages and Systems (LOPLAS)
Value dependence graphs: representation without taxation
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Context-sensitive interprocedural points-to analysis in the presence of function pointers
PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
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
TAOS: Testing with Analysis and Oracle Support
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Selecting tests and identifying test coverage requirements for modified software
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
An extensible program representation for object-oriented software
ACM SIGPLAN Notices
A new model of program dependences for reverse engineering
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Precise interprocedural dataflow analysis via graph reachability
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Program integration for languages with procedure calls
ACM Transactions on Software Engineering and Methodology (TOSEM)
Experimental results from dynamic slicing of C programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Optimizing sparse representations for dataflow analysis
IR '95 Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations
Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool
IEEE Transactions on Software Engineering - Special issue on software architecture
Aspect: detecting bugs with abstract dependences
ACM Transactions on Software Engineering and Methodology (TOSEM)
Semantic foundations of binding-time analysis for imperative programs
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Hybrid slicing: an approach for refining static slices using dynamic information
SIGSOFT '95 Proceedings of the 3rd 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
The design of whole-program analysis tools
Proceedings of the 18th international conference on Software engineering
Slicing object-oriented software
Proceedings of the 18th international conference on Software engineering
A demand-driven analyzer for data flow testing at the integration level
Proceedings of the 18th international conference on Software engineering
Analyzing Regression Test Selection Techniques
IEEE Transactions on Software Engineering
Slicing class hierarchies in C++
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Simplifying macro definition in programming by demonstration
Proceedings of the 9th annual ACM symposium on User interface software and technology
Program decomposition for pointer aliasing: a step toward practical analyses
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Program generalization for software reuse: from C to C++
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Strategic directions in software engineering and programming languages
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
The future of program analysis
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Computation of Dynamic Program Slices for Unstructured Programs
IEEE Transactions on Software Engineering
An overview of debugging tools
ACM SIGSOFT Software Engineering Notes
Extracting Reusable Functions by Flow Graph-Based Program Slicing
IEEE Transactions on Software Engineering
Slicing real-time programs for enhanced schedulability
ACM Transactions on Programming Languages and Systems (TOPLAS)
Program and interface slicing for reverse engineering
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Interconvertbility of set constraints and context-free language reachability
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Hybrid slicing: integrating dynamic information with static analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Semantics Guided Regression Test Cost Reduction
IEEE Transactions on Software Engineering
Feasible test path selection by principal slicing
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
The use of program profiling for software maintenance with applications to the year 2000 problem
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Automated regression test generation
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Static slicing of threaded programs
Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Interprocedural Partial Redundancy Elimination With Application to Distributed Memory Compilation
IEEE Transactions on Parallel and Distributed Systems
An Extensible System for Source Code Analysis
IEEE Transactions on Software Engineering
On assessing the complexity of software architectures
ISAW '98 Proceedings of the third international workshop on Software architecture
Computing amorphous program slices using dependence graphs
Proceedings of the 1999 ACM symposium on Applied computing
SUIF Explorer: an interactive and interprocedural parallelizer
Proceedings of the seventh ACM SIGPLAN symposium on Principles and practice of parallel programming
Reuse-driven interprocedural slicing
Proceedings of the 20th international conference on Software engineering
System-dependence-graph-based slicing of programs with arbitrary interprocedural control flow
Proceedings of the 21st international conference on Software engineering
Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Efficient points-to analysis for whole-program analysis
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
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
Identifying Modules via Concept Analysis
IEEE Transactions on Software Engineering
Compiler-supported simulation of highly scalable parallel applications
SC '99 Proceedings of the 1999 ACM/IEEE conference on Supercomputing
Slicing spreadsheets: an integrated methodology for spreadsheet testing and debugging
Proceedings of the 2nd conference on Domain-specific languages
Light-weight context recovery for efficient and accurate program analyses
Proceedings of the 22nd international conference on Software engineering
Bandera: extracting finite-state models from Java source code
Proceedings of the 22nd international conference on Software engineering
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
An Automatic Class Generation Mechanism by Using Method Integration
IEEE Transactions on Software Engineering
Undecidability of context-sensitive data-dependence analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Black-box test reduction using input-output analysis
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Analysis and Testing of Programs with Exception Handling Constructs
IEEE Transactions on Software Engineering
Optimizing Symbolic Model Checking for Statecharts
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Automated method-extraction refactoring by using block-based slicing
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
Proceedings of the fifteenth workshop on Parallel and distributed simulation
Optimistic simulation of parallel message-passing applications
Proceedings of the fifteenth workshop on Parallel and distributed simulation
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
Type-based analysis and applications
PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
On optimal slicing of parallel programs
STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
A schema for interprocedural modification side-effect analysis with pointer aliasing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Encapsulation in object-oriented programs
ACM SIGPLAN Notices
Change impact analysis for aspect-oriented software evolution
Proceedings of the International Workshop on Principles of Software Evolution
A Classification of Noncircular Attribute Grammars Based on the Look-Ahead Behavior
IEEE Transactions on Software Engineering
Equivalence analysis and its application in improving the efficiency of program slicing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Analyzing information-flow in java program based on slicing technique
ACM SIGSOFT Software Engineering Notes
Concern graphs: finding and describing concerns using structural program dependencies
Proceedings of the 24th International Conference on Software Engineering
Scenario-based software characterization as a contingency to traditional program profiling
CASES '02 Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems
Dependence analysis for recursive java programs
ACM SIGPLAN Notices
Using the observer design pattern for implementation of data flow analyses
Proceedings of the 2002 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Improving program slicing with dynamic points-to data
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Compiler-optimized simulation of large-scale applications on high performance architectures
Journal of Parallel and Distributed Computing - Parallel and Distributed Discrete Event Simulation--An Emerging Technology
Static and Dynamic Slicing of Constraint Logic Programs
Automated Software Engineering
Extracting Business Rules from Information Systems
BT Technology Journal
An overview of methods for dependence analysis of concurrent programs
ACM SIGPLAN Notices
From symptom to cause: localizing errors in counterexample traces
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Improving program slicing with dynamic points-to data
ACM SIGSOFT Software Engineering Notes
Relative Debugging of Automatically Parallelized Programs
Automated Software Engineering
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
Parallel Evaluation of Attribute Grammars
IEEE Transactions on Parallel and Distributed Systems
Interprocedural Def-Use Associations for C Systems with Single Level Pointers
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Region Analysis: A Parallel Elimination Method for Data Flow Analysis
IEEE Transactions on Software Engineering
POEMS: End-to-End Performance Design of Large Parallel Adaptive Computational Systems
IEEE Transactions on Software Engineering
Equivalence of conservative, free, linear program schemas is decidable
Theoretical Computer Science
A compact execution history for dynamic slicing
Information Processing Letters
Locating Features in Source Code
IEEE Transactions on Software Engineering
Computational Divided Differencing and Divided-Difference Arithmetics
Higher-Order and Symbolic Computation
Tool Support for Improving Test Coverage
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Compiler Synthesis of Task Graphs for Parallel Program Performance Prediction
LCPC '00 Proceedings of the 13th International Workshop on Languages and Compilers for Parallel Computing-Revised Papers
A Flexible Framework for Dynamic and Static Slicing of Logic Programs
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Dependence Analysis of Java Bytecode
COMPSAC '00 24th International Computer Software and Applications Conference
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Static Dependency Analysis for Concurrent Ada 95 Programs
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
Program Slicing of Hardware Description Languages
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Program Modeling for Fault Definition Based Static Analysis
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
Demand-Driven Construction of Call Graphs
CC '00 Proceedings of the 9th International Conference on Compiler Construction
Change impact analysis to support architectural evolution
Journal of Software Maintenance: Research and Practice - Special issue: Separation of concerns for software evolution
Proceedings of the tenth international symposium on Hardware/software codesign
Whole program Path-Based dynamic impact analysis
Proceedings of the 25th International Conference on Software Engineering
An empirical study of predicate dependence levels and trends
Proceedings of the 25th International Conference on Software Engineering
Slicing java programs that throw and catch exceptions
Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Buffer overflow and format string overflow vulnerabilities
Software—Practice & Experience - Special issue: Security software
A System Dependence Net Generator for Ada Programs
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
An Approach to Automated Program Testing and Debugging
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Incremental Slicing Based on Data-Dependences Types
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Analyzing the Impact of Changing Requirements
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Aiding Program Comprehension by Static and Dynamic Feature Analysis
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
An Implementation of and Experiment with Semantic Differencing
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Syntax-Directed Construction of Value Dependence Graphs
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Implementation Techniques for Efficient Data-Flow Analysis of Large Programs
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
RIPPLES: Tool for Change in Legacy Software
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
A New Class Generation Mechanism by Method Integration
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Tool Support for Fine-Grained Software Inspection
IEEE Software
Journal of Software Maintenance: Research and Practice
Program Execution-Based Module Cohesion Measurement
Proceedings of the 16th IEEE international conference on Automated software engineering
Business Rule Extraction from Legacy Code
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Static Slicing of Concurrent Object-Oriented Programs
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Design and Implementation of a Fine-Grained Software Inspection Tool
IEEE Transactions on Software Engineering
Context-sensitive slicing of concurrent programs
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Path Dependent Analysis of Logic Programs
Higher-Order and Symbolic Computation
Buffer overrun detection using linear programming and static analysis
Proceedings of the 10th ACM conference on Computer and communications security
Web application quality: supporting maintenance and testing
Information modeling for internet applications
Global Analysis and Transformations in Preprocessed Languages
IEEE Transactions on Software Engineering
Pointer analysis of multithreaded Java programs
Proceedings of the 2003 ACM symposium on Applied computing
Journal of Systems and Software
ACM Transactions on Software Engineering and Methodology (TOSEM)
Syntax-Directed Amorphous Slicing
Automated Software Engineering
Granularity-Driven Dynamic Predicate Slicing Algorithms for Message Passing Systems
Automated Software Engineering
Staging transformations for multimodal web interaction management
Proceedings of the 13th international conference on World Wide Web
Interprocedural slicing using dependence graphs
ACM SIGPLAN Notices - Best of PLDI 1979-1999
CONSIT: a fully automated conditioned program slicer
Software—Practice & Experience
The set constraint/CFL reachability connection in practice
Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
Using Compressed Bytecode Traces for Slicing Java Programs
Proceedings of the 26th International Conference on Software Engineering
A Fast Assembly Level Reverse Execution Method via Dynamic Slicing
Proceedings of the 26th International Conference on Software Engineering
Software validation via scalable path-sensitive value flow analysis
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Slicing, Chopping, and Path Conditions with Barriers
Software Quality Control
ACM Transactions on Software Engineering and Methodology (TOSEM)
Masking the Energy Behavior of DES Encryption
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
A Statistical Model to Locate Faults at Input Level
Proceedings of the 19th IEEE international conference on Automated software engineering
An Edge Marking Technique for Dynamic Slicing of Object-Oriented Programs
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
ACM SIGPLAN Notices
Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables
IEEE Transactions on Software Engineering
Displaying dependence graphs: a hierarchical approach
Journal of Software Maintenance and Evolution: Research and Practice
Hypertext support for the information needs of software maintainers
Journal of Software Maintenance and Evolution: Research and Practice
A Compiler Analysis of Interprocedural Data Communication
Proceedings of the 2003 ACM/IEEE conference on Supercomputing
A brief survey of program slicing
ACM SIGSOFT Software Engineering Notes
Web Application Slicing in Presence of Dynamic Code Generation
Automated Software Engineering
The Efficiency of Critical Slicing in Fault Localization
Software Quality Control
Measuring class cohesion based on dependence analysis
Journal of Computer Science and Technology
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
A Data-Driven Approach for Embedded Security
ISVLSI '05 Proceedings of the IEEE Computer Society Annual Symposium on VLSI: New Frontiers in VLSI Design
Using Dynamic Information in the Interprocedural Static Slicing of Binary Executables
Software Quality Control
Lpics: a hybrid hardware-accelerated relighting engine for computer cinematography
ACM SIGGRAPH 2005 Papers
Analysis of recursive state machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
SESS '05 Proceedings of the 2005 workshop on Software engineering for secure systems—building trustworthy applications
Program Slicing with Dynamic Points-To Sets
IEEE Transactions on Software Engineering
Automated bug isolation via program chipping
Proceedings of the sixth international symposium on Automated analysis-driven debugging
Static object trace extraction for programs with pointers
Journal of Systems and Software - Special issue: Software reverse engineering
Textual and behavioral views of function changes
TEFSE '05 Proceedings of the 3rd international workshop on Traceability in emerging forms of software engineering
Intermediate-representation recovery from low-level code
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Aristotle: a system for development of program analysis based tools
ACM-SE 33 Proceedings of the 33rd annual on Southeast regional conference
Equivalence Checking of C Programs by Locally Performing Symbolic Simulation on Dependence Graphs
ISQED '06 Proceedings of the 7th International Symposium on Quality Electronic Design
Unanticipated reuse of large-scale software features
Proceedings of the 28th international conference on Software engineering
Faster WCET flow analysis by program slicing
Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers, and tool support for embedded systems
A lightweight approach to technical risk estimation via probabilistic impact analysis
Proceedings of the 2006 international workshop on Mining software repositories
Adapting software components by structure fragmentation
Proceedings of the 2006 ACM symposium on Applied computing
ACM SIGPLAN Notices
An efficient interprocedural dynamic slicing method
Journal of Systems and Software
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)
Effects of context on program slicing
Journal of Systems and Software - Special issue: Selected papers from the 4th source code analysis and manipulation (SCAM 2004) workshop
Theoretical foundations of dynamic program slicing
Theoretical Computer Science
Efficient path conditions in dependence graphs for software safety analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Interprocedural slicing of multithreaded programs with applications to Java
ACM Transactions on Programming Languages and Systems (TOPLAS)
Subsumption of program entities for efficient coverage and monitoring
Proceedings of the 3rd international workshop on Software quality assurance
Slicing as a program transformation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed dynamic slicing of Java programs
Journal of Systems and Software
Barrier matching for programs with textually unaligned barriers
Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming
Formal specification of program slicing
ACM SIGPLAN Notices
Static analysis of executables to detect malicious patterns
SSYM'03 Proceedings of the 12th conference on USENIX Security Symposium - Volume 12
Source Code Analysis: A Road Map
FOSE '07 2007 Future of Software Engineering
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
Static type determination for C++
CTEC'94 Proceedings of the 6th conference on USENIX Sixth C++ Technical Conference - Volume 6
A new foundation for control dependence and slicing for modern program structures
ACM Transactions on Programming Languages and Systems (TOPLAS) - Special Issue ESOP'05
The lightspeed automatic interactive lighting preview system
ACM SIGGRAPH 2007 papers
Automated bug isolation via program chipping
Software—Practice & Experience
Journal of Software Maintenance and Evolution: Research and Practice - Source Code Analysis and Manipulation (SCAM 2006)
Empirical study of optimization techniques for massive slicing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Slicing obfuscations: design, correctness, and evaluation
Proceedings of the 2007 ACM workshop on Digital Rights Management
An empirical study of slice-based cohesion and coupling metrics
ACM Transactions on Software Engineering and Methodology (TOSEM)
Exploring the neighborhood with dora to expedite software maintenance
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Dynamic slicing on Java bytecode traces
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using computing-all-slices algorithm in measuring functional cohesion
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Grace: automated slicing for visual basic
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Detecting buffer overflow via automatic test input data generation
Computers and Operations Research
Journal of Systems and Software
Proceedings of the 7th international conference on Aspect-oriented software development
Assessing work for static software bug detection
Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies: held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007
A parallel algorithm for dynamic slicing of distributed Java programs in non-DSM systems
International Journal of Information and Communication Technology
Scenario oriented program slicing
Proceedings of the 2008 ACM symposium on Applied computing
An efficient algorithm for computing all program static slices
SEPADS'05 Proceedings of the 4th WSEAS International Conference on Software Engineering, Parallel & Distributed Systems
Scalable detection of semantic clones
Proceedings of the 30th international conference on Software engineering
Static path conditions for Java
Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security
Customization change impact analysis for erp professionals via program slicing
ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
Unit-level test adequacy criteria for visual dataflow languages and a testing methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Conditioned semantic slicing for abstraction; industrial experiment
Software—Practice & Experience
Locating dependence structures using search-based slicing
Information and Software Technology
Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement
WYSINWYX: What You See Is Not What You eXecute
Verified Software: Theories, Tools, Experiments
Using MPI Communication Patterns to Guide Source Code Transformations
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part III
Effective blame for information-flow violations
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
An empirical study of the relationship between the concepts expressed in source code and dependence
Journal of Systems and Software
A dependence graph-based representation for test coverage analysis of object-oriented programs
ACM SIGSOFT Software Engineering Notes
Precise slicing of concurrent programs
Automated Software Engineering
Combining preprocessor slicing with C/C++ language slicing
Science of Computer Programming
Control Dependence for Extended Finite State Machines
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
A model-based regression test selection approach for embedded applications
ACM SIGSOFT Software Engineering Notes
On PDG-based noninterference and its modular proof
Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security
Verification Techniques for System-Level Design
Verification Techniques for System-Level Design
Safe-commit analysis to facilitate team software development
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Fast and precise points-to analysis
Information and Software Technology
Dependence clusters in source code
ACM Transactions on Programming Languages and Systems (TOPLAS)
Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis
Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
The dependence condition graph: Precise conditions for dependence between program points
Computer Languages, Systems and Structures
Finding Similarities in Source Code Through Factorization
Electronic Notes in Theoretical Computer Science (ENTCS)
Slicing based code parallelization for minimizing inter-processor communication
CASES '09 Proceedings of the 2009 international conference on Compilers, architecture, and synthesis for embedded systems
Debugging from high level down to gate level
Proceedings of the 46th Annual Design Automation Conference
Test-Suite Augmentation for Evolving Software
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Program dependence graph based slicing for Java
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
3D visualization techniques to support slicing-based program comprehension
Computers and Graphics
FACT: fast communication trace collection for parallel applications through program slicing
Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis
Software debugging, testing, and verification
IBM Systems Journal
Assessing the impact of global variables on program dependence and dependence clusters
Journal of Systems and Software
Slicing-based Reductions for Rebeca
Electronic Notes in Theoretical Computer Science (ENTCS)
Computing dynamic slices of concurrent object-oriented programs
Information and Software Technology
BUGINNINGS: identifying the origins of a bug
Proceedings of the 3rd India software engineering conference
Program analysis environment for writing COBOL aspects
Proceedings of the 9th International Conference on Aspect-Oriented Software Development
Static and dynamic attribute slicing tool for object-oriented programs
Proceedings of the International Conference and Workshop on Emerging Trends in Technology
A trajectory-based strict semantics for program slicing
Theoretical Computer Science
Optimal interprocedural program optimization: a new framework and its application
Optimal interprocedural program optimization: a new framework and its application
Program transformations for information personalization
Computer Languages, Systems and Structures
Combined code motion and register allocation using the value state dependence graph
CC'03 Proceedings of the 12th international conference on Compiler construction
IDE dataflow analysis in the presence of large object-oriented libraries
CC'08/ETAPS'08 Proceedings of the Joint European Conferences on Theory and Practice of Software 17th international conference on Compiler construction
Property-aware program sampling
Proceedings of the 9th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Proceedings of the 9th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Practical fault localization for dynamic web applications
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Interval analysis of microcontroller code using abstract interpretation of hardware and software
Proceedings of the 13th International Workshop on Software & Compilers for Embedded Systems
Directed test generation for effective fault localization
Proceedings of the 19th international symposium on Software testing and analysis
OCAT: object capture-based automated testing
Proceedings of the 19th international symposium on Software testing and analysis
Actor-based slicing techniques for efficient reduction of Rebeca models
Science of Computer Programming
Constructing CDG for program with transfer statements
CAR'10 Proceedings of the 2nd international Asia conference on Informatics in control, automation and robotics - Volume 3
An alternative characterization of weak order dependence
Information Processing Letters
Comparison of different impact analysis methods and programmer's opinion: an empirical study
Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java
Model-based regression test case prioritization
ACM SIGSOFT Software Engineering Notes
Contradictory graph colouring algorithm to compute slice of concurrent object-oriented programs
International Journal of Computational Vision and Robotics
Dependence cluster visualization
Proceedings of the 5th international symposium on Software visualization
Field-sensitive program dependence analysis
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Evidence-based validation and improvement of electronic health record systems
Proceedings of the FSE/SDP workshop on Future of software engineering research
SPIN'10 Proceedings of the 17th international SPIN conference on Model checking software
An approach to analyzing the software process change impact using process slicing and simulation
Journal of Systems and Software
Parallel points-to analysis for multi-core machines
Proceedings of the 6th International Conference on High Performance and Embedded Architectures and Compilers
ConSeq: detecting concurrency bugs through sequential errors
Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems
Non-parametric statistical fault localization
Journal of Systems and Software
Advanced chopping of sequential and concurrent programs
Software Quality Control
Identifying properties of UML state machine diagrams that affect data and control dependence
Proceedings of the 2011 ACM Symposium on Applied Computing
Program slicing-based cohesion measurement: the challenges of replicating studies using metrics
Proceedings of the 2nd International Workshop on Emerging Trends in Software Metrics
From exponential to polynomial-time security typing via principal types
ESOP'11/ETAPS'11 Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software
Identification of extract method refactoring opportunities for the decomposition of methods
Journal of Systems and Software
A unifying theory of control dependence and its application to arbitrary program structures
Theoretical Computer Science
DELTA: indexing and querying multi-labeled graphs
Proceedings of the 20th ACM international conference on Information and knowledge management
A next-generation platform for analyzing executables
APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
Security framework to verify the low level implementation codes
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part II
A new approach for concurrent program slicing
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
CodeSurfer/x86—A platform for analyzing x86 executables
CC'05 Proceedings of the 14th international conference on Compiler Construction
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
A novel approach for dynamic slicing of distributed object-oriented programs
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
A modern graphic flowchart layout tool
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
Understanding the origin of alarms in ASTRÉE
SAS'05 Proceedings of the 12th international conference on Static Analysis
Experiences with PDG-Based IFC
ESSoS'10 Proceedings of the Second international conference on Engineering Secure Software and Systems
Inferred dependence coverage to support fault contextualization
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Using Formal Concept Analysis to support change analysis
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Static detection of unsafe component loadings
CC'12 Proceedings of the 21st international conference on Compiler Construction
Fine slicing: theory and applications for computation extraction
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
System dependence graphs in sequential erlang
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Slicing MATLAB simulink models
Proceedings of the 34th International Conference on Software Engineering
Making sense of healthcare benefits
Proceedings of the 34th International Conference on Software Engineering
Extending static analysis by mining project-specific rules
Proceedings of the 34th International Conference on Software Engineering
MoonBox: debugging with online slicing and dryrun
Proceedings of the Asia-Pacific Workshop on Systems
ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming
MoonBox: debugging with online slicing and dryrun
APSys'12 Proceedings of the Third ACM SIGOPS Asia-Pacific conference on Systems
Practical change impact analysis based on static program slicing for industrial software systems
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
Automating presentation changes in dynamic web applications via collaborative hybrid analysis
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
Making abstract interpretation incomplete: modeling the potency of obfuscation
SAS'12 Proceedings of the 19th international conference on Static Analysis
Jarhead analysis and detection of malicious Java applets
Proceedings of the 28th Annual Computer Security Applications Conference
Fast algorithms for Dyck-CFL-reachability with applications to alias analysis
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Abstract program slicing of database query languages
Proceedings of the 28th Annual ACM Symposium on Applied Computing
DUA-forensics: a fine-grained dependence analysis and instrumentation framework based on Soot
Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis
Finding incorrect compositions of atomicity
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Efficient Identification of Linchpin Vertices in Dependence Clusters
ACM Transactions on Programming Languages and Systems (TOPLAS)
A novel approach for slicing of object oriented programs
ACM SIGSOFT Software Engineering Notes
State-based model slicing: A survey
ACM Computing Surveys (CSUR)
CSI: crash scene investigation
Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity
ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming
A regression test selection technique for embedded software
ACM Transactions on Embedded Computing Systems (TECS)
Coherent clusters in source code
Journal of Systems and Software
Hi-index | 0.00 |
The notion of a program slice, originally introduced by Mark Weiser, is useful in program debugging, automatic parallelization, and program integration. A slice of a program is taken with respect to a program point p and a variable x; the slice consists of all statements of the program that might affect the value of x at point p. This paper concerns the problem of interprocedural slicing—generating a slice of an entire program, where the slice crosses the boundaries of procedure calls. To solve this problem, we introduce a new kind of graph to represent programs, called a system dependence graph, which extends previous dependence representations to incorporate collections of procedures (with procedure calls) rather than just monolithic programs. Our main result is an algorithm for interprocedural slicing that uses the new representation. (It should be noted that our work concerns a somewhat restricted kind of slice: rather than permitting a program to be sliced with respect to program point p and an arbitrary variable, a slice must be taken with respect to a variable that is defined or used at p.)The chief difficulty in interprocedural slicing is correctly accounting for the calling context of a called procedure. To handle this problem, system dependence graphs include some data dependence edges that represent transitive dependences due to the effects of procedure calls, in addition to the conventional direct-dependence edges. These edges are constructed with the aid of an auxiliary structure that represents calling and parameter-linkage relationships. This structure takes the form of an attribute grammar. The step of computing the required transitive-dependence edges is reduced to the construction of the subordinate characteristic graphs for the grammar's nonterminals.