On merging software extensions
Acta Informatica
The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Detecting conflicts between structure accesses
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Composing recursive logic programs with clausal join
New Generation Computing - Special Issue: Selected Papers from the Workshop on Partial Evaluation and Mixed
New Generation Computing - Special Issue: Selected Papers from the Workshop on Partial Evaluation and Mixed
The synthesizer generator: a system for constructing language-based editors
The synthesizer generator: a system for constructing language-based editors
Integrating noninterfering versions of programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Illustrating interference in interfering versions of programs
SCM '89 Proceedings of the 2nd International Workshop on Software configuration management
Detecting equality of variables in programs
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Global value numbers and redundant computations
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
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
Dependence analysis for pointer variables
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
An efficient method of computing static single assignment form
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Interprocedural slicing using dependence graphs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Algebraic properties of program integration
Proceedings of the third European symposium on programming on ESOP '90
Identifying the semantic and textual differences between two versions of a program
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Using program slicing in software maintenance
Using program slicing in software maintenance
IEEE Transactions on Software Engineering
Identifying syntactic differences between two programs
Software—Practice & Experience
Efficient comparison of program slices
Acta Informatica
A program integration algorithm that accommodates semantics-preserving transformations
ACM Transactions on Software Engineering and Methodology (TOSEM)
Algebraic properties of program integration
ESOP '90 Selected papers from the symposium on 3rd European symposium on programming
Multi-procedure program integration
Multi-procedure program integration
Dependence graphs and compiler optimizations
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
Speedup of ordinary programs
Dependence analysis for subscripted variables and its application to program transformations
Dependence analysis for subscripted variables and its application to program transformations
Optimizing supercompilers for supercomputers
Optimizing supercompilers for supercomputers
A new algorithm for semantics-based program integration
A new algorithm for semantics-based program integration
Developing and integrating ProDAG in the Arcadia environment
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
A Logic-Based Approach to Reverse Engineering Tools Production
IEEE Transactions on Software Engineering - Special issue on software maintenance
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
Attribute grammar paradigms—a high-level methodology in language implementation
ACM Computing Surveys (CSUR)
Program analysis for software engineering: new applications, new requirements, new tools
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
A framework for implementing hypothetical queries
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Semantics Guided Regression Test Cost Reduction
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
Automatically closing open reactive programs
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Call-mark slicing: an efficient and economical way of reducing slice
Proceedings of the 21st international conference on Software engineering
A State-of-the-Art Survey on Software Merging
IEEE Transactions on Software Engineering
Static and Dynamic Slicing of Constraint Logic Programs
Automated Software Engineering
An overview of methods for dependence analysis of concurrent programs
ACM SIGPLAN Notices
From relational program dependencies to hypertextual access structures
Nordic Journal of Computing
A PDG-based Tool and its Use in Analyzing Program Control Dependences
PACT '94 Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques
Detecting Manipulated Remote Call Streams
Proceedings of the 11th USENIX Security Symposium
Proceedings of the 25th International Conference on Software Engineering
Slicing Methods Using Static and Dynamic Analysis Information
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
RIPPLES: Tool for Change in Legacy Software
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
A dynamic protocol conformance test method
Journal of Systems and Software
Design and Implementation of a Fine-Grained Software Inspection Tool
IEEE Transactions on Software Engineering
Granularity-Driven Dynamic Predicate Slicing Algorithms for Message Passing Systems
Automated Software Engineering
Explaining abstract counterexamples
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
A model for slicing JAVA programs hierarchically
Journal of Computer Science and Technology
Locating causes of program failures
Proceedings of the 27th international conference on Software engineering
Jungloid mining: helping to navigate the API jungle
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Bridging the gap between technical and social dependencies with Ariadne
eclipse '05 Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange
A theory for execution-time derivation in real-time programs
Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
JunGL: a scripting language for refactoring
Proceedings of the 28th international conference on Software engineering
Slicing techniques for verification re-use
Theoretical Computer Science - Formal methods for components and objects
Tools and libraries to model and manipulate circular programs
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Source Code Analysis: A Road Map
FOSE '07 2007 Future of Software Engineering
Grace: automated slicing for visual basic
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
View-based maintenance of graphical user interfaces
Proceedings of the 7th international conference on Aspect-oriented software development
jPredictor: a predictive runtime analysis tool for java
Proceedings of the 30th international conference on Software engineering
Remote attestation on program execution
Proceedings of the 3rd ACM workshop on Scalable trusted computing
GUI Change Method according to Roles of Widgets and Change Patterns
IEICE - Transactions on Information and Systems
A generic library for GUI reasoning and testing
Proceedings of the 2009 ACM symposium on Applied Computing
Integrating hardware and software information flow analyses
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Support Method for Source Code Modification in Changing GUI Widgets
Proceedings of the 2006 conference on Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering
Identifying semantic differences in AspectJ programs
Proceedings of the eighteenth international symposium on Software testing and analysis
The dependence condition graph: Precise conditions for dependence between program points
Computer Languages, Systems and Structures
3D visualization techniques to support slicing-based program comprehension
Computers and Graphics
Parametric and sliced causality
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Immediate multi-threaded dynamic software updates using stack reconstruction
USENIX'09 Proceedings of the 2009 conference on USENIX Annual technical conference
Software evolution via reusable architecture
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Verification of software via integration of design and implementation
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Inferring meta-models for runtime system data from the clients of management APIs
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Analysis and visualization of behavioral dependencies among distributed objects based on UML models
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Parametric and termination-sensitive control dependence
SAS'06 Proceedings of the 13th international conference on Static Analysis
Automatic generation of hints for symbolic traversal
CHARME'05 Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods
Security model oriented attestation on dynamically reconfigurable component-based systems
Journal of Network and Computer Applications
Software verification and graph similarity for automated evaluation of students' assignments
Information and Software Technology
Fast condensation of the program dependence graph
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Hi-index | 0.00 |