Dave W. Binkley

Orcid: 0000-0003-0059-4024

Affiliations:
  • Loyola University Maryland, Department of Computer Science, Baltimore, MD, USA


According to our database1, Dave W. Binkley authored at least 159 papers between 1988 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
An empirical evaluation of quasi-static executable slices.
J. Syst. Softw., June, 2023

Dynamic Slicing of WebAssembly Binaries.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2023

2022
Featherweight assisted vulnerability discovery.
Inf. Softw. Technol., 2022

Assessing the Impact of Execution Environment on Observation-Based Slicing.
Proceedings of the 22nd IEEE International Working Conference on Source Code Analysis and Manipulation, 2022

Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021
Web Service Slicing: Intra and Inter-Operational Analysis to Test Changes.
IEEE Trans. Serv. Comput., 2021

Service Evolution Analytics: Change and Evolution Mining of a Distributed System.
IEEE Trans. Engineering Management, 2021

Observation-based approximate dependency modeling and its use for program slicing.
J. Syst. Softw., 2021

Causal Program Dependence Analysis.
CoRR, 2021

From Neuron Coverage to Steering Angle: Testing Autonomous Vehicles Effectively.
Computer, 2021

QSES: Quasi-Static Executable Slices.
Proceedings of the 21st IEEE International Working Conference on Source Code Analysis and Manipulation, 2021

2020
On Adaptive Change Recommendation.
J. Syst. Softw., 2020

Evaluating lexical approximation of program dependence.
J. Syst. Softw., 2020

An Investigation into the Effect of Control and Data Dependence Paths on Predicate Testability.
Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation, 2020

2019
A comparison of tree- and line-oriented observational slicing.
Empir. Softw. Eng., 2019

Sub-Turing Islands in the Wild.
CoRR, 2019

An Exploratory Study of the Relationship Between Software Test Smells and Fault-Proneness.
IEEE Access, 2019

MOAD: Modeling Observation-Based Approximate Dependency.
Proceedings of the 19th International Working Conference on Source Code Analysis and Manipulation, 2019

To CamelCase or under_score.
Proceedings of the 27th International Conference on Program Comprehension, 2019

2018
Aggregating Association Rules to Improve Change Recommendation.
Empir. Softw. Eng., 2018

What are the effects of history length and age on mining software change impact?
Empir. Softw. Eng., 2018

The need for software specific natural language techniques.
Empir. Softw. Eng., 2018

Change Impact using Dynamic History Analysis: (Abstract Only).
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

[Research Paper] The Case for Adaptive Change Recommendation.
Proceedings of the 18th IEEE International Working Conference on Source Code Analysis and Manipulation, 2018

On the Value of Bug Reports for Retrieval-Based Bug Localization.
Proceedings of the 2018 IEEE International Conference on Software Maintenance and Evolution, 2018

MOBS: multi-operator observation-based slicing using lexical approximation of program dependence.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Modeling for Stakeholder Engagement.
Proceedings of the 2018 IEEE International Conference on Software Architecture Companion, 2018

2017
Observational slicing based on visual semantics.
J. Syst. Softw., 2017

Generalized observational slicing for tree-represented modelling languages.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Tree-Oriented vs. Line-Oriented Observation-Based Slicing.
Proceedings of the 17th IEEE International Working Conference on Source Code Analysis and Manipulation, 2017

Predicting relevance of change recommendations.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016
Source code analysis with LDA.
J. Softw. Evol. Process., 2016

Generalizing the Analysis of Evolutionary Coupling for Software Change Impact Analysis.
Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Exploring the Effects of History Length and Age on Mining Software Change Impact.
Proceedings of the 16th IEEE International Working Conference on Source Code Analysis and Manipulation, 2016

A Case for Software Specific Natural Language Techniques.
Proceedings of the 16th IEEE International Working Conference on Source Code Analysis and Manipulation, 2016

Improving change recommendation using aggregated association rules.
Proceedings of the 13th International Conference on Mining Software Repositories, 2016

An empirical study on dependence clusters for effort-aware fault-proneness prediction.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Practical guidelines for change recommendation using association rule mining.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

PORBS: A parallel observation-based slicer.
Proceedings of the 24th IEEE International Conference on Program Comprehension, 2016

2015
The impact of vocabulary normalization.
J. Softw. Evol. Process., 2015

Enabling improved IR-based feature location.
J. Syst. Softw., 2015

Editorial of special section from Software Evolution Week 2014.
Inf. Softw. Technol., 2015

Are test smells really harmful? An empirical study.
Empir. Softw. Eng., 2015

Navigating source code with words.
Proceedings of the 15th IEEE International Working Conference on Source Code Analysis and Manipulation, 2015

ORBS and the limits of static slicing.
Proceedings of the 15th IEEE International Working Conference on Source Code Analysis and Manipulation, 2015

Uncovering dependence clusters and linchpin functions.
Proceedings of the 2015 IEEE International Conference on Software Maintenance and Evolution, 2015

2014
Recovering test-to-code traceability using slicing and textual analysis.
J. Syst. Softw., 2014

Coherent clusters in source code.
J. Syst. Softw., 2014

An empirical study of identifier splitting techniques.
Empir. Softw. Eng., 2014

ORBS: language-independent program slicing.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Seeing Is Slicing: Observation Based Slicing of Picture Description Languages.
Proceedings of the 14th IEEE International Working Conference on Source Code Analysis and Manipulation, 2014

Understanding LDA in source code analysis.
Proceedings of the 22nd International Conference on Program Comprehension, 2014

Learning to Rank Improves IR in SE.
Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

2013
Efficient Identification of Linchpin Vertices in Dependence Clusters.
ACM Trans. Program. Lang. Syst., 2013

Evaluating test-to-code traceability recovery methods through controlled experiments.
J. Softw. Evol. Process., 2013

The impact of identifier style on effort and comprehension.
Empir. Softw. Eng., 2013

A dataset for evaluating identifier splitters.
Proceedings of the 10th Working Conference on Mining Software Repositories, 2013

Which Feature Location Technique is Better?
Proceedings of the 2013 IEEE International Conference on Software Maintenance, 2013

Task-Driven Software Summarization.
Proceedings of the 2013 IEEE International Conference on Software Maintenance, 2013

1st international workshop on natural language analysis in software engineering (NaturaLiSE 2013).
Proceedings of the 35th International Conference on Software Engineering, 2013

2012
Vocabulary normalization improves IR-based concept location.
Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

An empirical analysis of the distribution of unit test smells and their impact on software maintenance.
Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

2011
FlagRemover: A testability transformation for transforming loop-assigned flags.
ACM Trans. Softw. Eng. Methodol., 2011

SCOTCH: Slicing and Coupling Based Test to Code Trace Hunter.
Proceedings of the 18th Working Conference on Reverse Engineering, 2011

Improving identifier informativeness using part of speech information.
Proceedings of the 8th International Working Conference on Mining Software Repositories, 2011

SCOTCH: Test-to-code traceability using slicing and conceptual coupling.
Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

Expanding identifiers to normalize source code vocabulary.
Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

Model projection: simplifying models in response to restricting the environment.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Cloning in Max/MSP Patches.
Proceedings of the 2011 International Computer Music Conference, 2011

2010
Maintenance and Evolution: Information Retrieval Applications.
Proceedings of the Encyclopedia of Software Engineering, 2010

Development: Information Retrieval Applications.
Proceedings of the Encyclopedia of Software Engineering, 2010

A trajectory-based strict semantics for program slicing.
Theor. Comput. Sci., 2010

Assessing the impact of global variables on program dependence and dependence clusters.
J. Syst. Softw., 2010

Normalizing Source Code Vocabulary.
Proceedings of the 17th Working Conference on Reverse Engineering, 2010

Dependence cluster visualization.
Proceedings of the ACM 2010 Symposium on Software Visualization, 2010

Subclass Instantiation Distribution.
Proceedings of the Tenth IEEE International Working Conference on Source Code Analysis and Manipulation, 2010

Coherent dependence clusters.
Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2010

Cloning and copying between GNOME projects.
Proceedings of the 7th International Working Conference on Mining Software Repositories, 2010

Distinguishing copies from originals in software clones.
Proceedings of the Proceeding of the 4th ICSE International Workshop on Software Clones, 2010

Issues in clone classification for dataflow languages.
Proceedings of the Proceeding of the 4th ICSE International Workshop on Software Clones, 2010

2009
Empirical evaluation of a nesting testability transformation for evolutionary testing.
ACM Trans. Softw. Eng. Methodol., 2009

Dependence clusters in source code.
ACM Trans. Program. Lang. Syst., 2009

Identifier length and limited programmer memory.
Sci. Comput. Program., 2009

Increasing diversity: Natural language measures for software fault prediction.
J. Syst. Softw., 2009

Using peer-led team learning to increase participation and success of under-represented groups in introductory computer science.
Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, 2009

Identifying 'Linchpin Vertices' That Cause Large Dependence Clusters.
Proceedings of the Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, 2009

2008
An empirical study of the relationship between the concepts expressed in source code and dependence.
J. Syst. Softw., 2008

Evaluating Key Statements Analysis.
Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 2008

Dependence Anti Patterns.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008

Impact of Limited Memory Resources.
Proceedings of the 16th IEEE International Conference on Program Comprehension, 2008

Testability Transformation - Program Transformation to Improve Testability.
Proceedings of the Formal Methods and Testing, 2008

Dependence Cluster Causes.
Proceedings of the Scalable Program Analysis, 13.04. - 18.04.2008, 2008

2007
Guest Editors' Introduction to the Special Section from the International Conference on Software Maintenance and Evolution.
IEEE Trans. Software Eng., 2007

An empirical study of slice-based cohesion and coupling metrics.
ACM Trans. Softw. Eng. Methodol., 2007

An empirical study of static program slice size.
ACM Trans. Softw. Eng. Methodol., 2007

Empirical study of optimization techniques for massive slicing.
ACM Trans. Program. Lang. Syst., 2007

An empirical study of rules for well-formed identifiers.
J. Softw. Maintenance Res. Pract., 2007

Effective identifier names for comprehension and memory.
Innov. Syst. Softw. Eng., 2007

Quantifying identifier quality: an analysis of trends.
Empir. Softw. Eng., 2007

Extracting Meaning from Abbreviated Identifiers.
Proceedings of the Seventh IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2007), September 30, 2007

Source Code Analysis: A Road Map.
Proceedings of the International Conference on Software Engineering, 2007

2006
Tool-Supported Refactoring of Existing Object-Oriented Code into Aspects.
IEEE Trans. Software Eng., 2006

Theoretical foundations of dynamic program slicing.
Theor. Comput. Sci., 2006

A formalisation of the relationship between forms of program slicing.
Sci. Comput. Program., 2006

Theory and algorithms for slicing unstructured programs.
Inf. Softw. Technol., 2006

A formal relationship between program slicing and partial evaluation.
Formal Aspects Comput., 2006

An Empirical Study of Executable Concept Slice Size.
Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), 2006

Syntactic Identifier Conciseness and Consistency.
Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), 2006

Stop-List Slicing.
Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), 2006

Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation.
Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), 2006

What's in a Name? A Study of Identifiers.
Proceedings of the 14th International Conference on Program Comprehension (ICPC 2006), 2006

Leveraged Quality Assessment using Information Retrieval Techniques.
Proceedings of the 14th International Conference on Program Comprehension (ICPC 2006), 2006

The species per path approach to SearchBased test data generation.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

2005
Unifying program slicing and concept assignment for higher-level executable source code extraction.
Softw. Pract. Exp., 2005

Forward slices are smaller than backward slices.
Proceedings of the 5th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2005), 30 September, 2005

Minimal Slicing and the Relationships Between Forms of Slicing.
Proceedings of the 5th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2005), 30 September, 2005

Locating Dependence Clusters and Dependence Pollution.
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

Automated Refactoring of Object Oriented Code into Aspects.
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

05451 Executive Summary -- Beyond Program Slicing Dagstuhl Seminar.
Proceedings of the Beyond Program Slicing, 06.11. - 11.11.2005, 2005

05451 Abstracts Collection -- Beyond Program Slicing.
Proceedings of the Beyond Program Slicing, 06.11. - 11.11.2005, 2005

2004
Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables.
IEEE Trans. Software Eng., 2004

Introduction.
Softw. Qual. J., 2004

Syntax-Directed Amorphous Slicing.
Autom. Softw. Eng., 2004

A survey of empirical results on program slicing.
Adv. Comput., 2004

Slice-Based Cohesion Metrics and Software Intervention.
Proceedings of the 11th Working Conference on Reverse Engineering, 2004

Loop Squashing Transformations for Amorphous Slicing.
Proceedings of the 11th Working Conference on Reverse Engineering, 2004

Amorphous Procedure Extraction.
Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 2004

Formalizing Executable Dynamic and Forward Slicing.
Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 2004

Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

2003
Amorphous program slicing.
J. Syst. Softw., 2003

An Empirical Study of Computation Equivalence as Determined by Decomposition Slice Equivalence.
Proceedings of the 10th Working Conference on Reverse Engineering, 2003

Results from a Large-Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms.
Proceedings of the 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), 2003

A Large-Scale Empirical Study of Forward and Backward Static Slice Size and Context Sensitivity.
Proceedings of the 19th International Conference on Software Maintenance (ICSM 2003), 2003

An Empirical Study of Predicate Dependence Levels and Trends.
Proceedings of the 25th International Conference on Software Engineering, 2003

Experimental Validation of New Software Technology.
Proceedings of the Lecture Notes on Empirical Software Engineering, 2003

2002
Flow insensitive points-to sets.
Inf. Softw. Technol., 2002

Code Extraction Algorithms which Unify Slicing and Concept Assignment.
Proceedings of the 9th Working Conference on Reverse Engineering (WCRE 2002), 28 October, 2002

An Empirical Study of the Effect of Semantic Differences on Programmer Comprehension.
Proceedings of the 10th International Workshop on Program Comprehension (IWPC 2002), 2002

2001
An Implementation of and Experiment with Semantic Differencing.
Proceedings of the 2001 International Conference on Software Maintenance, 2001

2000
Reducing the cost of regression testing.
ACM SIGSOFT Softw. Eng. Notes, 2000

An Empirical Study of Amorphous Slicing as a Program Comprehension Support Tool.
Proceedings of the 8th International Workshop on Program Comprehension (IWPC 2000), 2000

1999
Computing Amorphous Program Slices Using Dependence Graphs.
Proceedings of the 1999 ACM Symposium on Applied Computing, 1999

Program Simplification as a Means of Approximating Undecidable Propositions.
Proceedings of the 7th International Workshop on Program Comprehension (IWPC '99), May 5-7, 1999, 1999

1998
Application of the pointer state subgraph to static program slicing.
J. Syst. Softw., 1998

The application of program slicing to regression testing.
Inf. Softw. Technol., 1998

The Feedback Compiler.
Proceedings of the 6th International Workshop on Program Comprehension (IWPC '98), 1998

1997
Semantics Guided Regression Test Cost Reduction.
IEEE Trans. Software Eng., 1997

C++ in Safety Critical Systems.
Ann. Softw. Eng., 1997

Crozzle: an NP-complete problem.
Proceedings of the 1997 ACM symposium on Applied Computing, 1997

1996
Program Slicing.
Adv. Comput., 1996

An enabling optimization for C++ virtual functions.
Proceedings of the 1996 ACM Symposium on Applied Computing, 1996

1995
Program Integration for Languages with Procedure Calls.
ACM Trans. Softw. Eng. Methodol., 1995

Reducing the cost of regression testing by semantics guided test case selection.
Proceedings of the International Conference on Software Maintenance, 1995

1994
In search of a customizable and uniform user interface.
XRDS, 1994

Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model.
Proceedings of the Compiler Construction, 5th International Conference, 1994

1993
Precise Executable Interprocedural Slices.
LOPLAS, 1993

1992
Using semantic differencing to reduce the cost of regression testing.
Proceedings of the Conference on Software Maintenance, 1992

1990
Interprocedural Slicing Using Dependence Graphs.
ACM Trans. Program. Lang. Syst., 1990

1988
Interprocedural slicing using dependence graphs (with retrospective)
Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1988


  Loading...