Identifying the semantic and textual differences between two versions of a program

No abstract is available for this paper.

• Publication year

  1990

• Venue

  ACM-SIGPLAN Symposium on Programming Language Design and Implementation

• Publication date

  1990-06-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/93542.93574
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Identifying the semantic and textual differences between two versions of a program

  1990influential reference
• Integrating noninterfering versions of programs

  1989cited by this paper
• An efficient method of computing static single assignment form

  1989cited by this paper
• Detecting Program Components With Equivalent Behaviors

  1989cited by this paper
• Simple Fast Algorithms for the Editing Distance Between Trees and Related Problems

  1989cited by this paper
• Global value numbers and redundant computations

  1988cited by this paper
• Detecting equality of variables in programs

  1988cited by this paper
• A file comparison program

  1985cited by this paper
• The program dependence graph in a software development environment

  1984cited by this paper
• The string-to-string correction problem with block moves

  1984cited by this paper
• The program dependence graph and its use in optimization

  1984cited by this paper
• Dependence graphs and compiler optimizations

  1981cited by this paper
• A Tree-to-Tree Distance and Its Application to Cluster Analysis

  1979cited by this paper
• The Tree-to-Tree Correction Problem

  1979cited by this paper
• The Tree-to-Tree Editing Problem

  1977cited by this paper
• The Design and Analysis of Computer Algorithms

  1974cited by this paper
• The String-to-String Correction Problem

  1974cited by this paper
• Matching sequences under deletion-insertion constraints.

  1972cited by this paper
• An n log n algorithm for minimizing states in a finite automaton

  1971cited by this paper
• THE REPRESENTATION OF ALGORITHMS

  1969cited by this paper

• Towards Verified Code Reasoning by LLMs

  2025cites this paper
• Unified and Split Symbolic Execution for Exposing Semantic Differences

  2025cites this paper
• Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks

  2024cites this paper
• Advanced Detection of Source Code Clones via an Ensemble of Unsupervised Similarity Measures

  2024cites this paper
• Source Code Clone Detection Using Unsupervised Similarity Measures

  2024cites this paper
• Regression test selection in test-driven development

  2023influential citation
• Multiversion Hindsight Logging for Continuous Training

  2023cites this paper
• Aardvark: Comparative Visualization of Data Analysis Scripts

  2023cites this paper
• Detecting Malicious JavaScript Using Structure-Based Analysis of Graph Representation

  2023cites this paper
• Ppt4j: Patch Presence Test for Java Binaries

  2023cites this paper
• VulSlicer: Vulnerability detection through code slicing

  2022cites this paper
• An Experimental Comparison of Clone Detection Techniques using Java Bytecode

  2022cites this paper
• Software Evolution Understanding: Automatic Extraction of Software Identifiers Map for Object-Oriented Software Systems

  2021cites this paper
• What is Your Code Clone Detection and Evolution Research Made Of?

  2021cites this paper
• Semantic code search via equational reasoning

  2020cites this paper
• DesignDiff: Continuously Modeling Software Design Difference from Code Revisions

  2020cites this paper
• Modeling Functional Similarity in Source Code With Graph-Based Siamese Networks

  2020cites this paper
• Towards Semantic Clone Detection via Probabilistic Software Modeling

  2020cites this paper
• One λ at a Time: What Do We Know About Presenting Human-friendly Output from Program Analysis Tools?

  2020cites this paper
• Semantic Clone Detection via Probabilistic Software Modeling

  2020cites this paper
• Structural Diagnosis Method for Computer Programs Developed by Trainees

  2019cites this paper
• Evaluating Automatic Fault Localization Using Markov Processes

  2019cites this paper
• Exploring Regular Expression Evolution

  2019cites this paper
• Software Evolution

  2019cites this paper
• A Diversified Feature Extraction Approach for Program Similarity Analysis

  2019cites this paper
• Differential program semantics

  2018cites this paper
• Locating Clone-and-Own Relationships in Model-Based Industrial Families of Software Products to Encourage Reuse

  2018cites this paper
• ClDiff: Generating Concise Linked Code Differences

  2018cites this paper
• Efficient static checking of library updates

  2018cites this paper
• How to Evaluate Statistical Fault Localization

  2018influential citation
• A study on the changes of dynamic feature code when fixing bugs: towards the benefits and costs of Python dynamic features

  2017cites this paper
• Computing change of invariants to support software evolution

  2017cites this paper
• Differential Program Analysis

  2017cites this paper
• Interaction-Based Tracking of Program Entities for Test Case Evolution

  2017cites this paper
• Graph Data Management of Evolving Dependency Graphs for Multi-versioned Codebases

  2017cites this paper
• Program Repair Using Code Repositories

  2016cites this paper
• Tracking Down Dynamic Feature Code Changes against Python Software Evolution

  2016cites this paper
• Leveraging a corpus of natural language descriptions for program similarity

  2016cites this paper
• Semantic similarity based evaluation for C programs through the use of symbolic execution

  2016cites this paper
• Delta Refactoring for Merge Conflict Avoidance

  2016cites this paper
• Sampling code clones from program dependence graphs with GRAPLE

  2016cites this paper
• Recommending Code Changes for Automatic Backporting of Linux Device Drivers

  2016cites this paper
• Cloned product variants: from ad-hoc to managed software product lines

  2015cites this paper
• Formal Representation and Comparative Analysis of Software Runtime Process

  2015cites this paper
• Programming with "Big Code"

  2015cites this paper
• Grand Timely Topics in Software Engineering

  2015influential citation
• A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic Differences

  2015cites this paper
• Software Clone Detection Using Cosine Distance Similarity

  2015cites this paper
• Executables from Program Slices for Java Programs

  2015cites this paper
• Reverse engineering of web applications

  2015cites this paper
• Exploration of Metadata Change in a Digital Repository [Presentation]

  2015cites this paper
• Computation of Program Source Code Similarity by Composition of Parse Tree and Call Graph

  2015cites this paper
• UvA-DARE ( Digital Academic Repository ) Detecting Refactorable Clones by Slicing Program Dependence Graphs

  2015cites this paper
• Symbolic automata for representing big code

  2015cites this paper
• Design and Development of an Efficient Software Clone Detection Technique

  2015influential citation
• Building a Framework of Metadata Change to Support Knowledge Management

  2015cites this paper
• To Merge or Not to Merge: Managing Software Product Families

  2015cites this paper
• Static Differential Program Analysis for Software-Defined Networks

  2015cites this paper
• Tracelet-based code search in executables

  2014cites this paper
• Root Cause Detector: Tool for Detecting Root Cause of Regression Bugs

  2014cites this paper
• Towards a Difference Detection Algorithm Aware of Refactoring-Related Changes

  2014cites this paper
• Patch verification via multiversion interprocedural control flow graphs

  2014cites this paper
• Effective Program Analyses for Automated Software Testing and Error Diagnosis

  2014cites this paper
• Code Similarity via Natural Language Descriptions

  2014cites this paper
• Abstract semantic differencing via speculative correlation

  2014cites this paper
• Software Defects Classification Prediction Based On Mining Software Repository

  2014cites this paper
• Detecting and investigating the source code changes using logical rules

  2014cites this paper
• Specialization Slicing

  2014influential citation
• Automating program transformations based on examples of systematic edits

  2014cites this paper
• Which configuration option should I change?

  2014influential citation
• Software clone detection: A systematic review

  2013cites this paper
• Identification and analysis of chunks in software projects

  2013cites this paper
• A framework for managing cloned product variants

  2013cites this paper
• Automated static data flow analysis

  2013cites this paper
• Efficient and flexible GUI test execution via test merging

  2013cites this paper
• Automated Failure Explanation Through Execution Comparison

  2013cites this paper
• Profmig: A framework for flexible migration of program profiles across software versions

  2013cites this paper
• Semantic deltas for live DSL environments

  2013cites this paper
• Identifying and Summarizing Systematic Code Changes via Rule Inference

  2013cites this paper
• SEMANTIC ANALYSES TO DETECT AND LOCALIZE SOFTWARE REGRESSION ERRORS

  2013cites this paper
• Detecting inconsistencies in wrappers: A case study

  2013cites this paper
• Regression Testing of Evolving Programs

  2013cites this paper
• Abstract Semantic Differencing for Numerical Programs

  2013cites this paper
• Defusing the debugging scandal - dedicated debugging technologies for advanced dispatching languages

  2013cites this paper
• On automatic, constraint-based test-case generation for Mercury and its application to imperative languages

  2013cites this paper
• Semantic deltas for live DSL environments

  2013cites this paper
• Detecting semantic changes in Makefile build code

  2012cites this paper
• Evaluating the Branch Merging Effort in Version Control Systems

  2012cites this paper
• How much does unused code matter for maintenance?

  2012cites this paper
• globale des logiciels

  2012cites this paper
• Extracting client-side web application code

  2012cites this paper
• DARWIN: An approach to debugging evolving programs

  2012cites this paper
• State-Model-Based Regression Test Reduction for Component-Based Software

  2012cites this paper
• Firewall policy change-impact analysis

  2012cites this paper
• Lowering the Barrier to Applying Machine Learning

  2012cites this paper
• A general strategy for differential forensic analysis

  2012cites this paper
• Executable Slicing via Procedure Specialization

  2012cites this paper
• A Survey of Regression Testing Techniques

  2012cites this paper
• Systematic editing: generating program transformations from an example

  2011cites this paper
• A method of version merging for computer-aided design files based on feature extraction

  2011cites this paper