David Binkley
YOU?
Author Swipe
View article: Causal program dependence analysis
Causal program dependence analysis Open
Discovering how program components affect one another plays a fundamental role in aiding engineers comprehend and maintain a software system. Despite the fact that the degree to which one program component depends upon another can vary in …
View article: The Impact of Program Reduction on Automated Program Repair
The Impact of Program Reduction on Automated Program Repair Open
Correcting bugs using modern Automated Program Repair (APR) can be both time-consuming and resource-expensive. We describe a program repair approach that aims to improve the scalability of modern APR tools. The approach leverages program r…
View article: Undergraduate Research in Quantum Computing: Lessons Learned from Developing Student Researchers
Undergraduate Research in Quantum Computing: Lessons Learned from Developing Student Researchers Open
Numerous studies have established several positive outcomes associated with meaningful research experiences undertaken by students as undergraduates. These benefits include enhanced critical thinking skills, improved learning abilities in …
View article: Work‐in‐Progress: Undergraduate Courses in Quantum Computing: A Proposal based on our Experience Building a Python-based Quantum Computer Simulator
Work‐in‐Progress: Undergraduate Courses in Quantum Computing: A Proposal based on our Experience Building a Python-based Quantum Computer Simulator Open
There is a growing need for scientists and engineers with Quantum Information Science and Technology (QIST) skills. To address this need for 'quantum aware' graduates we describe a two course sequence in quantum computing suitable for unde…
View article: Dynamic Slicing of WebAssembly Binaries
Dynamic Slicing of WebAssembly Binaries Open
This is the replication package that accompanies the paper titled: "Dynamic Slicing of WebAssembly Binaries". # Slices dataset ## Generating the dataset The dynamic slices have been generated with [P-ORBS](https://syed-islam.github.io/rese…
View article: An Empirical Evaluation of Quasi-Static Executable Slices
An Empirical Evaluation of Quasi-Static Executable Slices Open
This artifact contains the dataset and scripts used to reproduce the experiments of the article "An Empirical Evaluation of Quasi-Static Executable Slices"
View article: An Empirical Evaluation of Quasi-Static Executable Slices
An Empirical Evaluation of Quasi-Static Executable Slices Open
This artifact contains the dataset and scripts used to reproduce the experiments of the article "An Empirical Evaluation of Quasi-Static Executable Slices"
View article: Assessing the Impact of Execution Environment on Observation-Based Slicing
Assessing the Impact of Execution Environment on Observation-Based Slicing Open
Program slicing reduces a program to a smaller version that retains a chosen computation, referred to as a slicing criterion. One recent multi-lingual slicing approach, observation-based slicing (ORBS), speculatively deletes parts of the p…
View article: Featherweight assisted vulnerability discovery
Featherweight assisted vulnerability discovery Open
Predicting vulnerable source code helps to focus attention on those parts of\nthe code that need to be examined with more scrutiny. Recent work proposed the\nuse of function names as semantic cues that can be learned by a deep neural\nnetw…
View article: Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries
Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries Open
# About this artifact This artifact contains the implementation and the results of the evaluation of a static slicer for WebAssembly described in the ICSE 2022 paper titled "Static Stack-Preserving Intra-Procedural Slicing of WebAssembly B…
View article: Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries
Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries Open
# About this artifact This artifact contains the implementation and the results of the evaluation of a static slicer for WebAssembly described in the ICSE 2022 paper titled "Static Stack-Preserving Intra-Procedural Slicing of WebAssembly B…
View article: From Neuron Coverage to Steering Angle: Testing Autonomous Vehicles Effectively
From Neuron Coverage to Steering Angle: Testing Autonomous Vehicles Effectively Open
A Deep Neural Network (DNN) based system, such as the one used for autonomous vehicle operations, is a "black box" of complex interactions resulting in a classification or prediction. An important question for any such system is how to inc…
View article: Causal Program Dependence Analysis
Causal Program Dependence Analysis Open
We introduce Causal Program Dependence Analysis (CPDA), a dynamic dependence analysis that applies causal inference to model the strength of program dependence relations in a continuous space. CPDA observes the association between program …
View article: On Adaptive Change Recommendation
On Adaptive Change Recommendation Open
As the complexity of a software system grows, it becomes harder for developers to be aware of all the dependencies between its artifacts (e.g., files or methods). Change impact analysis helps to overcome this challenge, by recommending rel…
View article: Sub-Turing Islands in the Wild
Sub-Turing Islands in the Wild Open
Recently, there has been growing debate as to whether or not static analysis can be truly sound. In spite of this concern, research on techniques seeking to at least partially answer undecidable questions has a long history. However, littl…
View article: An Exploratory Study of the Relationship Between Software Test Smells and Fault-Proneness
An Exploratory Study of the Relationship Between Software Test Smells and Fault-Proneness Open
Test smells have been defined as indicators of poorly designed tests. Their presence negatively affects the maintainability of a test suite as well as the production code. Despite the many studies that address the negative impacts of vario…
View article: Data set for the paper "What are the Effects of History Length and Age on Mining Software Change Impact?"
Data set for the paper "What are the Effects of History Length and Age on Mining Software Change Impact?" Open
Data set for the paper What are the Effects of History Length and Age on Mining Software Change Impact? by Leon Moonen, Thomas Rolfsnes, David Binkley and Stefano di Alesio. In Journal of Empirical Software Engineering (EMSE), 2018, Spring…
View article: Data set for the paper "What are the Effects of History Length and Age on Mining Software Change Impact?"
Data set for the paper "What are the Effects of History Length and Age on Mining Software Change Impact?" Open
Data set for the paper What are the Effects of History Length and Age on Mining Software Change Impact? by Leon Moonen, Thomas Rolfsnes, David Binkley and Stefano di Alesio. In Journal of Empirical Software Engineering (EMSE), 2018, Spring…
View article: Data set for the paper "Predicting Relevance of Change Recommendations"
Data set for the paper "Predicting Relevance of Change Recommendations" Open
Data set for the paper Predicting Relevance of Change Recommendations by Thomas Rolfsnes, Leon Moonen, and David Binkley, In International Conference on Automated Software Engineering (ASE), pp. 694–705. 2017, IEEE. Please cite this work b…
View article: Data Set For The Paper Predicting Relevance Of Change Recommendations
Data Set For The Paper Predicting Relevance Of Change Recommendations Open
Data set for the paper Predicting Relevance of Change Recommendations by Thomas Rolfsnes, Leon Moonen, and David Binkley, In International Conference on Automated Software Engineering (ASE), pp. 694–705. 2017, IEEE. Please cite this work b…
View article: Data set for the paper "Predicting Relevance of Change Recommendations"
Data set for the paper "Predicting Relevance of Change Recommendations" Open
Data set for the paper Predicting Relevance of Change Recommendations by Thomas Rolfsnes, Leon Moonen, and David Binkley, In International Conference on Automated Software Engineering (ASE), pp. 694–705. 2017, IEEE. Please cite this work b…
View article: Practical guidelines for change recommendation using association rule mining
Practical guidelines for change recommendation using association rule mining Open
Association rule mining is an unsupervised learning technique that infers relationships among items in a data set. This technique has been successfully used to analyze a system's change history and uncover evolutionary coupling between sys…
View article: Identifier Splitters
Identifier Splitters Open
The oracle, found in the file loyola-udelaware-identifier-splitting-oracle (ludiso) consists of 2663 identifiers. These identifiers were split by volunteers using a web interface. In all 8522 splitting judgements were collected for 2731 id…