6 citations · 6 across the 4 of their papers we have counts for
4 papers
Assessing the Impact of Execution Environment on Observation-Based Slicing
David Binkley, Leon Moonen
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…
Featherweight Assisted Vulnerability Discovery
David Binkley, Leon Moonen, Sibren Isaacman
Predicting vulnerable source code helps to focus attention on those parts of the code that need to be examined with more scrutiny. Recent work proposed the use of function names as…
Causal Program Dependence Analysis
Seongmin Lee, Dave Binkley, Robert Feldt +2
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 conti…
Sub-Turing Islands in the Wild
Earl T. Barr, David W. Binkley, Mark Harman +1
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 answ…