- This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research
- KClone: A Proposed Approach to Fast Precise Code Clone Detection , David Binkley2
- Loop Squashing Transformations for Amorphous Slicing # Lin Hu, Mark Harman, Robert M. Hierons David Binkley
- A LargeScale Empirical Study of Forward and Backward Static Slice Size and Context Sensitivity
- An Empirical Study of Static Program Slice Size David Binkley,
- Dependence Clusters in Source Code MARK HARMAN
- Slicing in the Presence of Parameter Aliasing David Binkley
- Theory and Algorithms for Slicing Unstructured Programs
- A Longitudinal Study of Slice{Based Metrics Timothy M. Meyers and David Binkley
- Application of the Pointer State Subgraph to Static Program Slicing \Lambda
- AN ENABLING OPTIMIZATION FOR C++ VIRTUAL Bradley M. Kuhn \Lambda
- C++ in Safety Critical Systems David W. Binkley 1)
- Impact of Limited Memory Resources Dave Binkley Dawn Lawrie Steve Maex Christopher Morrell
- A new technique for performing static analysis of programs that contain unconstrained pointers is pre sented. The technique is based on the pointer state subgraph: a reduced control flow graph that takes
- RETROSPECTIVE: Interprocedural Slicing Using Dependence Graphs
- Amorphous Program Slicing Mark Harman
- Program Simpli cation as a Means of Approximating Undecidable Propositions
- Crozzle: an NPComplete Problem Bradly M. Kuhn
- PROGRAM INTEGRATION Program integration concerns the merging process that becomes necessary when a program's source code
- Normalizing Source Code Vocabulary Dawn Lawrie Dave Binkley Christopher Morrell
- Flow Insensitive Pointsto Sets Paul Anderson David Binkley + Genevieve Rosay Tim Teitelbaum
- IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Toolsupported Refactoring of Existing
- StopList Slicing Keith Gallagher David Binkley Mark Harman
- Minimal Slicing and the Relationships Between Forms of Slicing Dave Binkley 1 Sebastian Danicic 2 Tibor Gyim othy 3 Mark Harman 4
- An Investigation of Hierarchical Bit Vectors James Glenn David Binkley
- An Empirical Study of the Effect of Semantic Differences on Programmer Comprehension
- What's in a Name? A Study of Identifiers Dawn Lawrie Christopher Morrell Henry Feild David Binkley
- Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation
- Evolutionary Testing in the Presence of Loop--Assigned Flags: A Testability Transformation Approach
- Interprocedural Constant Propagation using Dependence Graphs and a DataFlow Model
- Flow Insensitive Pointsto Sets Paul Anderson David Binkley + Genevieve Rosay Tim Teitelbaum
- An Empirical Study of Computation Equivalence as Determined by Decomposition Slice Equivalence
- COMPUTING AMORPHOUS PROGRAM SLICES USING DEPENDENCE GRAPHS
- Reducing the Cost of Regression Testing by Semantics Guided Test Case Selection
- Extracting Meaning from Abbreviated Identifiers Dawn Lawrie Henry Feild David Binkley
- Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables
- Structure Field Categorization by Software Engineers David Binkley
- AN EMPIRICAL COMPARISON OF TECHNIQUES FOR EXTRACTING CONCEPT ABBREVIATIONS FROM IDENTIFIERS
- Semantics Guided Regression Test Cost Reduction David Binkley +
- Forward slices are smaller than backward slices David Binkley Mark Harman
- Effective Identifier Names for Comprehension and Memory Dawn Lawrie, Christopher Morrell, Henry Feild, David Binkley
- Issues in Clone Classification for Dataflow Languages Nicolas Gold, Jens Krinke, Mark Harman
- A Survey of Empirical Results on Program Slicing David Binkley Mark Harman
- An Empirical Study of Amorphous Slicing as a Program Comprehension Support Tool
- Syntactic Identifier Conciseness and Consistency Dawn Lawrie Henry Feild David Binkley
- UNCORRECTED 2 An empirical study of the relationship between the concepts expressed
- This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research
- Program Slicing in the Presence of Pointers James R. Lyle David Binkley#
- Locating Dependence Clusters and Dependence Pollution David Binkley Mark Harman
- An Implementation of and Experiment with Semantic Differencing David Binkley Rob Capellini L. Ross Raszewski Christopher Smith
- A Formalisation of the Relationship between Forms of Program Slicing
- An Empirical Study of Rules for Well-Formed Identifiers
- An Empirical Study of Slice-Based Cohesion and Coupling Metrics
- Frontiers of Software Maintenance
- Syntax-Directed Amorphous Slicing Sebastian Danicic
- Leveraged Quality Assessment using Information Retrieval Techniques Dawn J. Lawrie Henry Feild David Binkley
- An Empirical Study of Predicate Dependence Levels and Trends David Binkley Mark Harman
- Results from a Large--Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms
- Using Semantic Differencing to Reduce the Cost of Regression Testing David Binkley
- Precise Executable Interprocedural Slices DAVID BINKLEY
- Amorphous Procedure Extraction Mark Harman 1 David Binkley 2 Ranjit Singh 1 Robert M. Hierons 1
- The MultiProcedure Equivalence Theorem DAVID BINKLEY, SUSAN HORWITZ, and THOMAS REPS
- Formalizing Executable Dynamic and Forward Slicing Dave Binkley 1 Sebastian Danicic 2 Tibor Gyim othy 3 Mark Harman 4
- An Empirical Study of Executable Concept Slice Size Dave Binkley Nicolas Gold, Mark Harman, Zheng Li and Kiarash Mahdavi
- Theoretical Foundations of Dynamic Program Dave Binkley a Sebastian Danicic b Tibor Gyimothy c
- The Application of Program Slicing to Regression Testing David Binkley \Lambda
- Under consideration for publication in Formal Aspects of Computing A Formal Relationship Between
- Unifying program slicing and concept assignment for
- Empirical Software Engineering manuscript No. (will be inserted by the editor)
- Improving Identifier Informativeness using Part of Speech Information Dave Binkley Matthew Hearn Dawn Lawrie
- 2. Illustration To illustrate the problem, consider the simple Max patch
- Cloning and Copying between GNOME Projects Jens Krinke, Nicolas Gold, Yue Jia
- Distinguishing Copies from Originals in Software Clones Jens Krinke, Nicolas Gold, Yue Jia
- Identifying `Linchpin Vertices' that Cause Large Dependence Clusters David Binkley and Mark Harman
- Coherent Dependence Clusters Syed S Islam Jens Krinke David Binkley Mark Harman
- To CamelCase or Under score Dave Binkley
- Using Peer-Led Team Learning to Increase Participation and Success of Under-represented Groups in Introductory
- Dependence Anti Patterns David Binkley1
- Evaluating Key Statements Analysis David Binkley1
- Software Fault Prediction using Language Processing David Binkley
- Testability Transformation for Efficient Automated Test Data Search in the Presence of Nesting
- Automated Pointcut Extraction D. Binkley(1)
- SliceBased Cohesion Metrics and Software Intervention Timothy M. Meyers and David Binkley
- Code Extraction Algorithms which Unify Slicing and Concept Mark Harman 1 Nicolas Gold 2 Rob Hierons 1 Dave Binkley 3
- Program Slicing David W. Binkley
- Testability Transformation --Program Transformation to Improve Testability
- Program Slicing Keith Gallagher
- Empirical Study of Optimization Techniques for Massive Slicing
- The Impact of Identifier Style on Effort and Comprehension Dave Binkley, Marcia Davis, Dawn Lawrie,
- Information Retrieval Applications in Software Maintenance and Evolution
- Information Retrieval Applications in Software Development
- Subclass Instantiation Distribution Amy Wheeler and Dave Binkley
- Dependence Cluster Visualization Syed S Islam
- Expanding Identifiers to Normalize Source Code Vocabulary Dawn Lawrie Dave Binkley
