David W. Binkley

140 papers A* 8A 18B 1C 19Misc 3Journal 52Unranked 35

Year	Rank	Type	Title / Venue / Authors
2024	A	`conf`	The Impact of Program Reduction on Automated Program Repair. ICSME Linas Vidziunas, David W. Binkley, Leon Moonen
2024	J	`jnl`	The Impact of Program Reduction on Automated Program Repair. CoRR Linas Vidziunas, David W. Binkley, Leon Moonen
2023	A	`conf`	Dynamic Slicing of WebAssembly Binaries. ICSME Quentin Stiévenart, David W. Binkley, Coen De Roover
2022	J	`jnl`	Assessing the Impact of Execution Environment on Observation-Based Slicing. CoRR David W. Binkley, Leon Moonen
2022	J	`jnl`	Featherweight Assisted Vulnerability Discovery. CoRR David W. Binkley, Leon Moonen, Sibren Isaacman
2022	A*	`conf`	Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries. ICSE Quentin Stiévenart, David W. Binkley, Coen De Roover
2021	C	`conf`	QSES: Quasi-Static Executable Slices. SCAM Quentin Stiévenart, David W. Binkley, Coen De Roover
2020	J	`jnl`	On Adaptive Change Recommendation. J. Syst. Softw. Leon Moonen, David W. Binkley, Sydney Pugh
2019	J	`jnl`	A comparison of tree- and line-oriented observational slicing. Empir. Softw. Eng. David W. Binkley, Nicolas Gold, Syed S. Islam, Jens Krinke, Shin Yoo
2019	C	`conf`	MOAD: Modeling Observation-Based Approximate Dependency. SCAM Seongmin Lee, David W. Binkley, Robert Feldt, Nicolas Gold, Shin Yoo
2019	J	`jnl`	Sub-Turing Islands in the Wild. CoRR Earl T. Barr, David W. Binkley, Mark Harman, Mohamed Nassim Seghir
2019	A	`conf`	To CamelCase or under_score. ICPC David W. Binkley, Marcia Davis, Dawn J. Lawrie, Christopher Morrell
2018	A	`conf`	Change Impact using Dynamic History Analysis: (Abstract Only). SIGCSE Sydney Pugh, David W. Binkley
2018	—	`conf`	MOBS: multi-operator observation-based slicing using lexical approximation of program dependence. ICSE (Companion Volume) Seongmin Lee, David W. Binkley, Nicolas Gold, Syed S. Islam, Jens Krinke, Shin Yoo
2018	—	`conf`	Modeling for Stakeholder Engagement. ICSA Companion Tom Lusco, David W. Binkley, Ron Ice
2018	C	`conf`	[Research Paper] The Case for Adaptive Change Recommendation. SCAM Sydney Pugh, David W. Binkley, Leon Moonen
2017	—	`conf`	Generalized observational slicing for tree-represented modelling languages. ESEC/SIGSOFT FSE Nicolas E. Gold, David W. Binkley, Mark Harman, Syed S. Islam, Jens Krinke, Shin Yoo
2017	J	`jnl`	Observational slicing based on visual semantics. J. Syst. Softw. Shin Yoo, David W. Binkley, Roger D. Eastman
2017	A*	`conf`	Predicting relevance of change recommendations. ASE Thomas Rolfsnes, Leon Moonen, David W. Binkley
2017	C	`conf`	Tree-Oriented vs. Line-Oriented Observation-Based Slicing. SCAM David W. Binkley, Nicolas Gold, Syed S. Islam, Jens Krinke, Shin Yoo
2016	C	`conf`	A Case for Software Specific Natural Language Techniques. SCAM David W. Binkley, Dawn J. Lawrie
2016	A*	`conf`	An empirical study on dependence clusters for effort-aware fault-proneness prediction. ASE Yibiao Yang, Mark Harman, Jens Krinke, Syed S. Islam, David W. Binkley, Yuming Zhou, Baowen Xu
2016	A	`conf`	PORBS: A parallel observation-based slicer. ICPC Syed S. Islam, David W. Binkley
2016	A*	`conf`	Practical guidelines for change recommendation using association rule mining. ASE Leon Moonen, Stefano Di Alesio, David W. Binkley, Thomas Rolfsnes
2016	J	`jnl`	Source code analysis with LDA. J. Softw. Evol. Process. David W. Binkley, Daniel Heinz, Dawn J. Lawrie, Justin Overfelt
2015	J	`jnl`	Editorial of special section from Software Evolution Week 2014. Inf. Softw. Technol. David W. Binkley, Filippo Ricca, Serge Demeyer
2015	J	`jnl`	Enabling improved IR-based feature location. J. Syst. Softw. David W. Binkley, Dawn J. Lawrie, Christopher Uehlinger, Daniel Heinz
2015	C	`conf`	ORBS and the limits of static slicing. SCAM David W. Binkley, Nicolas E. Gold, Mark Harman, Syed S. Islam, Jens Krinke, Shin Yoo
2015	J	`jnl`	The impact of vocabulary normalization. J. Softw. Evol. Process. David W. Binkley, Dawn J. Lawrie
2015	A	`conf`	Uncovering dependence clusters and linchpin functions. ICSME David W. Binkley, Árpád Beszédes, Syed S. Islam, Judit Jász, Béla Vancsics
2014	J	`jnl`	An empirical study of identifier splitting techniques. Empir. Softw. Eng. Emily Hill, David W. Binkley, Dawn J. Lawrie, Lori L. Pollock, K. Vijay-Shanker
2014	J	`jnl`	Coherent clusters in source code. J. Syst. Softw. Syed S. Islam, Jens Krinke, David W. Binkley, Mark Harman
2014	A	`conf`	Learning to Rank Improves IR in SE. ICSME David W. Binkley, Dawn J. Lawrie
2014	—	`conf`	ORBS: language-independent program slicing. SIGSOFT FSE David W. Binkley, Nicolas Gold, Mark Harman, Syed S. Islam, Jens Krinke, Shin Yoo
2014	C	`conf`	Seeing Is Slicing: Observation Based Slicing of Picture Description Languages. SCAM Shin Yoo, David W. Binkley, Roger D. Eastman
2014	A	`conf`	Understanding LDA in source code analysis. ICPC David W. Binkley, Daniel Heinz, Dawn J. Lawrie, Justin Overfelt
2013	A*	`conf`	1st international workshop on natural language analysis in software engineering (NaturaLiSE 2013). ICSE Lori L. Pollock, David W. Binkley, Dawn J. Lawrie, Emily Hill, Rocco Oliveto, Gabriele Bavota, Alberto Bacchelli
2013	A	`conf`	A dataset for evaluating identifier splitters. MSR David W. Binkley, Dawn J. Lawrie, Lori L. Pollock, Emily Hill, K. Vijay-Shanker
2013	J	`jnl`	Efficient Identification of Linchpin Vertices in Dependence Clusters. ACM Trans. Program. Lang. Syst. David W. Binkley, Nicolas Gold, Mark Harman, Syed S. Islam, Jens Krinke, Zheng Li
2013	J	`jnl`	Evaluating test-to-code traceability recovery methods through controlled experiments. J. Softw. Evol. Process. Abdallah Qusef, Gabriele Bavota, Rocco Oliveto, Andrea De Lucia, David W. Binkley
2012	—	`conf`	An empirical analysis of the distribution of unit test smells and their impact on software maintenance. ICSM Gabriele Bavota, Abdallah Qusef, Rocco Oliveto, Andrea De Lucia, David W. Binkley
2011	—	`conf`	Cloning in Max/MSP Patches. ICMC Nicolas Gold, Jens Krinke, Mark Harman, David W. Binkley
2011	—	`conf`	Expanding identifiers to normalize source code vocabulary. ICSM Dawn J. Lawrie, David W. Binkley
2011	J	`jnl`	FlagRemover: A testability transformation for transforming loop-assigned flags. ACM Trans. Softw. Eng. Methodol. David W. Binkley, Mark Harman, Kiran Lakhotia
2011	A	`conf`	Improving identifier informativeness using part of speech information. MSR David W. Binkley, Matthew Hearn, Dawn J. Lawrie
2011	A*	`conf`	Model projection: simplifying models in response to restricting the environment. ICSE Kelly Androutsopoulos, David W. Binkley, David Clark, Nicolas Gold, Mark Harman, Kevin Lano, Zheng Li
2011	—	`conf`	SCOTCH: Slicing and Coupling Based Test to Code Trace Hunter. WCRE Abdallah Qusef, Gabriele Bavota, Rocco Oliveto, Andrea De Lucia, David W. Binkley
2011	—	`conf`	SCOTCH: Test-to-code traceability using slicing and conceptual coupling. ICSM Abdallah Qusef, Gabriele Bavota, Rocco Oliveto, Andrea De Lucia, David W. Binkley
2010	J	`jnl`	A trajectory-based strict semantics for program slicing. Theor. Comput. Sci. Richard W. Barraclough, David W. Binkley, Sebastian Danicic, Mark Harman, Robert M. Hierons, Ákos Kiss, Mike Laurence, Lahcen Ouarbya
2010	J	`jnl`	Assessing the impact of global variables on program dependence and dependence clusters. J. Syst. Softw. David W. Binkley, Mark Harman, Youssef Hassoun, Syed S. Islam, Zheng Li
2010	A	`conf`	Cloning and copying between GNOME projects. MSR Jens Krinke, Nicolas Gold, Yue Jia, David W. Binkley
2010	—	`conf`	Coherent dependence clusters. PASTE Syed S. Islam, Jens Krinke, David W. Binkley, Mark Harman
2010	—	`conf`	Dependence cluster visualization. SOFTVIS Syed S. Islam, Jens Krinke, David W. Binkley
2010	—	`ch.`	Development: Information Retrieval Applications. Encyclopedia of Software Engineering David W. Binkley, Dawn J. Lawrie
2010	—	`conf`	Distinguishing copies from originals in software clones. IWSC Jens Krinke, Nicolas Gold, Yue Jia, David W. Binkley
2010	—	`conf`	Issues in clone classification for dataflow languages. IWSC Nicolas Gold, Jens Krinke, Mark Harman, David W. Binkley
2010	—	`ch.`	Maintenance and Evolution: Information Retrieval Applications. Encyclopedia of Software Engineering David W. Binkley, Dawn J. Lawrie
2010	—	`conf`	Normalizing Source Code Vocabulary. WCRE Dawn J. Lawrie, David W. Binkley, Christopher Morrell
2009	J	`jnl`	Dependence clusters in source code. ACM Trans. Program. Lang. Syst. Mark Harman, David W. Binkley, Keith B. Gallagher, Nicolas Gold, Jens Krinke
2009	J	`jnl`	Empirical evaluation of a nesting testability transformation for evolutionary testing. ACM Trans. Softw. Eng. Methodol. Phil McMinn, David W. Binkley, Mark Harman
2009	J	`jnl`	Identifier length and limited programmer memory. Sci. Comput. Program. David W. Binkley, Dawn J. Lawrie, Steve Maex, Christopher Morrell
2009	C	`conf`	Identifying 'Linchpin Vertices' That Cause Large Dependence Clusters. SCAM David W. Binkley, Mark Harman
2009	J	`jnl`	Increasing diversity: Natural language measures for software fault prediction. J. Syst. Softw. David W. Binkley, Henry Feild, Dawn J. Lawrie, Maurizio Pighin
2009	A	`conf`	To camelcase or under_score. ICPC David W. Binkley, Marcia Davis, Dawn J. Lawrie, Christopher Morrell
2009	A	`conf`	Using peer-led team learning to increase participation and success of under-represented groups in introductory computer science. SIGCSE Susan Horwitz, Susan H. Rodger, Maureen Biggers, David W. Binkley, C. Kolin Frantz, Dawn Gundermann, Susanne E. Hambrusch, Steven Huss-Lederman, Ethan V. Munson, Barbara G. Ryder, Monica Sweat
2008	J	`jnl`	An empirical study of the relationship between the concepts expressed in source code and dependence. J. Syst. Softw. David W. Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi
2008	—	`conf`	Dependence Anti Patterns. ASE Workshops David W. Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi, Joachim Wegener
2008	C	`conf`	Evaluating Key Statements Analysis. SCAM David W. Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi
2008	A	`conf`	Impact of Limited Memory Resources. ICPC David W. Binkley, Dawn J. Lawrie, Steve Maex, Christopher Morrell
2008	—	`conf`	Testability Transformation - Program Transformation to Improve Testability. Formal Methods and Testing Mark Harman, André Baresel, David W. Binkley, Robert M. Hierons, Lin Hu, Bogdan Korel, Phil McMinn, Marc Roper
2007	J	`jnl`	An empirical study of rules for well-formed identifiers. J. Softw. Maintenance Res. Pract. Dawn J. Lawrie, Henry Feild, David W. Binkley
2007	J	`jnl`	An empirical study of slice-based cohesion and coupling metrics. ACM Trans. Softw. Eng. Methodol. Timothy M. Meyers, David W. Binkley
2007	J	`jnl`	An empirical study of static program slice size. ACM Trans. Softw. Eng. Methodol. David W. Binkley, Nicolas Gold, Mark Harman
2007	J	`jnl`	Effective identifier names for comprehension and memory. Innov. Syst. Softw. Eng. Dawn J. Lawrie, Christopher Morrell, Henry Feild, David W. Binkley
2007	J	`jnl`	Empirical study of optimization techniques for massive slicing. ACM Trans. Program. Lang. Syst. David W. Binkley, Mark Harman, Jens Krinke
2007	C	`conf`	Extracting Meaning from Abbreviated Identifiers. SCAM Dawn J. Lawrie, Henry Feild, David W. Binkley
2007	J	`jnl`	Guest Editors' Introduction to the Special Section from the International Conference on Software Maintenance and Evolution. IEEE Trans. Software Eng. David W. Binkley, Rainer Koschke, Spiros Mancoridis
2007	J	`jnl`	Quantifying identifier quality: an analysis of trends. Empir. Softw. Eng. Dawn J. Lawrie, Henry Feild, David W. Binkley
2007	—	`conf`	Source Code Analysis: A Road Map. FOSE David W. Binkley
2006	J	`jnl`	A formal relationship between program slicing and partial evaluation. Formal Aspects Comput. David W. Binkley, Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya
2006	J	`jnl`	A formalisation of the relationship between forms of program slicing. Sci. Comput. Program. David W. Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel
2006	—	`conf`	An Empirical Study of Executable Concept Slice Size. WCRE David W. Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi
2006	—	`ed.`	Beyond Program Slicing, 06.11. - 11.11.2005 Beyond Program Slicing David W. Binkley, Mark Harman, Jens Krinke
2006	C	`conf`	Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation. SCAM David W. Binkley, Mark Harman, Jens Krinke
2006	A	`conf`	Leveraged Quality Assessment using Information Retrieval Techniques. ICPC Dawn J. Lawrie, Henry Feild, David W. Binkley
2006	C	`conf`	Stop-List Slicing. SCAM Keith B. Gallagher, David W. Binkley, Mark Harman
2006	C	`conf`	Syntactic Identifier Conciseness and Consistency. SCAM Dawn J. Lawrie, Henry Feild, David W. Binkley
2006	A	`conf`	The species per path approach to SearchBased test data generation. ISSTA Phil McMinn, Mark Harman, David W. Binkley, Paolo Tonella
2006	J	`jnl`	Theoretical foundations of dynamic program slicing. Theor. Comput. Sci. David W. Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel
2006	J	`jnl`	Theory and algorithms for slicing unstructured programs. Inf. Softw. Technol. Mark Harman, Arun Lakhotia, David W. Binkley
2006	J	`jnl`	Tool-Supported Refactoring of Existing Object-Oriented Code into Aspects. IEEE Trans. Software Eng. David W. Binkley, Mariano Ceccato, Mark Harman, Filippo Ricca, Paolo Tonella
2006	A	`conf`	What's in a Name? A Study of Identifiers. ICPC Dawn J. Lawrie, Christopher Morrell, Henry Feild, David W. Binkley
2005	—	`conf`	05451 Abstracts Collection -- Beyond Program Slicing. Beyond Program Slicing David W. Binkley, Mark Harman, Jens Krinke
2005	—	`conf`	05451 Executive Summary -- Beyond Program Slicing Dagstuhl Seminar. Beyond Program Slicing Mark Harman, David W. Binkley, Jens Krinke
2005	—	`conf`	Automated Refactoring of Object Oriented Code into Aspects. ICSM David W. Binkley, Mariano Ceccato, Mark Harman, Filippo Ricca, Paolo Tonella
2005	C	`conf`	Forward slices are smaller than backward slices. SCAM David W. Binkley, Mark Harman
2005	—	`conf`	Locating Dependence Clusters and Dependence Pollution. ICSM David W. Binkley, Mark Harman
2005	C	`conf`	Minimal Slicing and the Relationships Between Forms of Slicing. SCAM David W. Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel
2005	J	`jnl`	Unifying program slicing and concept assignment for higher-level executable source code extraction. Softw. Pract. Exp. Nicolas E. Gold, Mark Harman, David W. Binkley, Robert M. Hierons
2004	J	`jnl`	A survey of empirical results on program slicing. Adv. Comput. David W. Binkley, Mark Harman
2004	C	`conf`	Amorphous Procedure Extraction. SCAM Mark Harman, David W. Binkley, Ranjit Singh, Robert M. Hierons
2004	J	`jnl`	Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables. IEEE Trans. Software Eng. David W. Binkley, Mark Harman
2004	A	`conf`	Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach. ISSTA André Baresel, David W. Binkley, Mark Harman, Bogdan Korel
2004	C	`conf`	Formalizing Executable Dynamic and Forward Slicing. SCAM David W. Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Lahcen Ouarbya
2004	J	`jnl`	Introduction. Softw. Qual. J. David W. Binkley, Liz Burd, Mark Harman, Paolo Tonella
2004	—	`conf`	Loop Squashing Transformations for Amorphous Slicing. WCRE Lin Hu, Mark Harman, Robert M. Hierons, David W. Binkley
2004	—	`conf`	Slice-Based Cohesion Metrics and Software Intervention. WCRE Timothy M. Meyers, David W. Binkley
2004	J	`jnl`	Syntax-Directed Amorphous Slicing. Autom. Softw. Eng. Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, David W. Binkley, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya
2003	—	`conf`	A Large-Scale Empirical Study of Forward and Backward Static Slice Size and Context Sensitivity. ICSM David W. Binkley, Mark Harman
2003	J	`jnl`	Amorphous program slicing. J. Syst. Softw. Mark Harman, David W. Binkley, Sebastian Danicic
2003	—	`conf`	An Empirical Study of Computation Equivalence as Determined by Decomposition Slice Equivalence. WCRE Keith B. Gallagher, David W. Binkley
2003	A*	`conf`	An Empirical Study of Predicate Dependence Levels and Trends. ICSE David W. Binkley, Mark Harman
2003	—	`ch.`	Experimental Validation of New Software Technology. Lecture Notes on Empirical Software Engineering Marvin V. Zelkowitz, Dolores R. Wallace, David W. Binkley
2003	C	`conf`	Results from a Large-Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms. SCAM David W. Binkley, Mark Harman
2002	—	`conf`	An Empirical Study of the Effect of Semantic Differences on Programmer Comprehension. IWPC David W. Binkley
2002	—	`conf`	Code Extraction Algorithms which Unify Slicing and Concept Assignment. WCRE Mark Harman, Nicolas Gold, Robert M. Hierons, David W. Binkley
2002	J	`jnl`	Flow insensitive points-to sets. Inf. Softw. Technol. Paul Anderson, David W. Binkley, Genevieve Rosay, Tim Teitelbaum
2001	—	`conf`	An Implementation of and Experiment with Semantic Differencing. ICSM David W. Binkley, Rob Capellini, L. Ross Raszewski, Christopher Smith
2001	C	`conf`	Flow Insensitive Points-To Sets. SCAM Paul Anderson, David W. Binkley, Genevieve Rosay, Tim Teitelbaum
2000	—	`conf`	An Empirical Study of Amorphous Slicing as a Program Comprehension Support Tool. IWPC David W. Binkley, L. Ross Raszewski, Christopher Smith, Mark Harman
2000	J	`jnl`	Reducing the cost of regression testing. ACM SIGSOFT Softw. Eng. Notes David W. Binkley
1999	Misc	`conf`	Computing Amorphous Program Slices Using Dependence Graphs. SAC David W. Binkley
1999	—	`conf`	Program Simplification as a Means of Approximating Undecidable Propositions. IWPC Mark Harman, Chris Fox, Robert M. Hierons, David W. Binkley, Sebastian Danicic
1998	J	`jnl`	Application of the pointer state subgraph to static program slicing. J. Syst. Softw. David W. Binkley, James R. Lyle
1998	—	`conf`	The Feedback Compiler. IWPC David W. Binkley, Bruce Duncan, Brennan Jubb, April Wielgosz
1998	J	`jnl`	The application of program slicing to regression testing. Inf. Softw. Technol. David W. Binkley
1997	J	`jnl`	C++ in Safety Critical Systems. Ann. Softw. Eng. David W. Binkley
1997	Misc	`conf`	Crozzle: an NP-complete problem. SAC David W. Binkley, Bradley M. Kuhn
1997	J	`jnl`	Semantics Guided Regression Test Cost Reduction. IEEE Trans. Software Eng. David W. Binkley
1996	Misc	`conf`	An enabling optimization for C++ virtual functions. SAC Bradley M. Kuhn, David W. Binkley
1996	J	`jnl`	Program Slicing. Adv. Comput. David W. Binkley, Keith Brian Gallagher
1995	J	`jnl`	Program Integration for Languages with Procedure Calls. ACM Trans. Softw. Eng. Methodol. David W. Binkley, Susan Horwitz, Thomas W. Reps
1995	—	`conf`	Reducing the cost of regression testing by semantics guided test case selection. ICSM David W. Binkley
1994	J	`jnl`	In search of a customizable and uniform user interface. XRDS Bradley M. Kuhn, David W. Binkley
1994	B	`conf`	Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model. CC David W. Binkley
1993	J	`jnl`	Precise Executable Interprocedural Slices. LOPLAS David W. Binkley
1992	—	`conf`	Using semantic differencing to reduce the cost of regression testing. ICSM David W. Binkley
1990	J	`jnl`	Interprocedural Slicing Using Dependence Graphs. ACM Trans. Program. Lang. Syst. Susan Horwitz, Thomas W. Reps, David W. Binkley
1988	A*	`conf`	Interprocedural Slicing Using Dependence Graphs. PLDI Susan Horwitz, Thomas W. Reps, David W. Binkley
1988	—	`conf`	Interprocedural slicing using dependence graphs (with retrospective) Best of PLDI Susan Horwitz, Thomas W. Reps, David W. Binkley