Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
David Binkley
Dave Binkley
Author information
- affiliation: Loyola University Maryland, Baltimore, MD, USA
2010 – today
- 2013
[j39]Dave Binkley, Marcia Davis, Dawn Lawrie, Jonathan I. Maletic, Christopher Morrell, Bonita Sharif: The impact of identifier style on effort and comprehension. Empirical Software Engineering 18(2): 219-276 (2013)- [j38]David Binkley, Nicolas Gold, Mark Harman, Syed S. Islam, Jens Krinke, Zheng Li: Efficient Identification of Linchpin Vertices in Dependence Clusters. ACM Trans. Program. Lang. Syst. 35(2): 7 (2013)
- [c64]Lori L. Pollock, David Binkley, Dawn Lawrie, Emily Hill, Rocco Oliveto, Gabriele Bavota, Alberto Bacchelli: 1st international workshop on natural language analysis in software engineering (NaturaLiSE 2013). ICSE 2013: 1537-1538
- [c63]David Binkley, Dawn Lawrie, Lori L. Pollock, Emily Hill, K. Vijay-Shanker: A dataset for evaluating identifier splitters. MSR 2013: 401-404
- 2012
- [c62]Gabriele Bavota, Abdallah Qusef, Rocco Oliveto, Andrea De Lucia, David Binkley: An empirical analysis of the distribution of unit test smells and their impact on software maintenance. ICSM 2012: 56-65
- [c61]Dave Binkley, Dawn Lawrie, Christopher Uehlinger: Vocabulary normalization improves IR-based concept location. ICSM 2012: 588-591
- 2011
- [j37]David Binkley, Mark Harman, Kiran Lakhotia: FlagRemover: A testability transformation for transforming loop-assigned flags. ACM Trans. Softw. Eng. Methodol. 20(3): 12 (2011)
- [c60]Kelly Androutsopoulos, David Binkley, David Clark, Nicolas Gold, Mark Harman, Kevin Lano, Zheng Li: Model projection: simplifying models in response to restricting the environment. ICSE 2011: 291-300
- [c59]Abdallah Qusef, Gabriele Bavota, Rocco Oliveto, Andrea De Lucia, David Binkley: SCOTCH: Test-to-code traceability using slicing and conceptual coupling. ICSM 2011: 63-72
- [c58]Dawn Lawrie, David Binkley: Expanding identifiers to normalize source code vocabulary. ICSM 2011: 113-122
- [c57]David Binkley, Matthew Hearn, Dawn Lawrie: Improving identifier informativeness using part of speech information. MSR 2011: 203-206
- [c56]Abdallah Qusef, Gabriele Bavota, Rocco Oliveto, Andrea De Lucia, David Binkley: SCOTCH: Slicing and Coupling Based Test to Code Trace Hunter. WCRE 2011: 443-444
- 2010
- [j36]David Binkley, Mark Harman, Youssef Hassoun, Syed S. Islam, Zheng Li: Assessing the impact of global variables on program dependence and dependence clusters. Journal of Systems and Software 83(1): 96-107 (2010)
- [j35]Richard W. Barraclough, David Binkley, Sebastian Danicic, Mark Harman, Robert M. Hierons, Ákos Kiss, Mike Laurence, Lahcen Ouarbya: A trajectory-based strict semantics for program slicing. Theor. Comput. Sci. 411(11-13): 1372-1386 (2010)
- [c55]Jens Krinke, Nicolas Gold, Yue Jia, David Binkley: Distinguishing copies from originals in software clones. IWSC 2010: 41-48
- [c54]Nicolas Gold, Jens Krinke, Mark Harman, David Binkley: Issues in clone classification for dataflow languages. IWSC 2010: 83-84
- [c53]Jens Krinke, Nicolas Gold, Yue Jia, David Binkley: Cloning and copying between GNOME projects. MSR 2010: 98-101
- [c52]Syed S. Islam, Jens Krinke, David Binkley, Mark Harman: Coherent dependence clusters. PASTE 2010: 53-60
- [c51]
- [c50]
- [c49]Dawn J. Lawrie, David Binkley, Christopher Morrell: Normalizing Source Code Vocabulary. WCRE 2010: 3-12
- [r2]David Binkley, Dawn Lawrie: Development: Information Retrieval Applications. Encyclopedia of Software Engineering 2010: 231-242
- [r1]David Binkley, Dawn Lawrie: Maintenance and Evolution: Information Retrieval Applications. Encyclopedia of Software Engineering 2010: 454-463
2000 – 2009
- 2009
- [j34]David Binkley, Henry Feild, Dawn J. Lawrie, Maurizio Pighin: Increasing diversity: Natural language measures for software fault prediction. Journal of Systems and Software 82(11): 1793-1803 (2009)
- [j33]David Binkley, Dawn Lawrie, Steve Maex, Christopher Morrell: Identifier length and limited programmer memory. Sci. Comput. Program. 74(7): 430-445 (2009)
- [j32]Mark Harman, David Binkley, Keith Gallagher, Nicolas Gold, Jens Krinke: Dependence clusters in source code. ACM Trans. Program. Lang. Syst. 32(1) (2009)
- [j31]Phil McMinn, David Binkley, Mark Harman: Empirical evaluation of a nesting testability transformation for evolutionary testing. ACM Trans. Softw. Eng. Methodol. 18(3) (2009)
- [c48]David Binkley, Marcia Davis, Dawn Lawrie, Christopher Morrell: To camelcase or under_score. ICPC 2009: 158-167
- [c47]David Binkley, Mark Harman: Identifying 'Linchpin Vertices' That Cause Large Dependence Clusters. SCAM 2009: 89-98
- [c46]Susan Horwitz, Susan H. Rodger, Maureen Biggers, David Binkley, C. Kolin Frantz, Dawn Gundermann, Susanne E. Hambrusch, Steven Huss-Lederman, Ethan V. Munson, Barbara G. Ryder, Monica Sweat: Using peer-led team learning to increase participation and success of under-represented groups in introductory computer science. SIGCSE 2009: 163-167
- 2008
- [j30]David Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi: An empirical study of the relationship between the concepts expressed in source code and dependence. Journal of Systems and Software 81(12): 2287-2298 (2008)
- [c45]David Binkley, Helmut E. Graeb, Georges G. E. Gielen, Jaijeet S. Roychowdhury: From Transistor to PLL - Analogue Design and EDA Methods. DATE 2008
- [c44]Mark Harman, André Baresel, David Binkley, Robert M. Hierons, Lin Hu, Bogdan Korel, Phil McMinn, Marc Roper: Testability Transformation - Program Transformation to Improve Testability. Formal Methods and Testing 2008: 320-344
- [c43]David Binkley, Dawn Lawrie, Steve Maex, Christopher Morrell: Impact of Limited Memory Resources. ICPC 2008: 83-92
- [c42]David Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi, Joachim Wegener: Dependence Anti Patterns. ASE Workshops 2008: 25-34
- [c41]David Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi: Evaluating Key Statements Analysis. SCAM 2008: 121-130
- 2007
- [j29]Dawn Lawrie, Henry Feild, David Binkley: Quantifying identifier quality: an analysis of trends. Empirical Software Engineering 12(4): 359-388 (2007)
- [j28]Dawn Lawrie, Christopher Morrell, Henry Feild, David Binkley: Effective identifier names for comprehension and memory. ISSE 3(4): 303-318 (2007)
- [j27]Dawn Lawrie, Henry Feild, David Binkley: An empirical study of rules for well-formed identifiers. Journal of Software Maintenance 19(4): 205-229 (2007)
- [j26]David Binkley, Mark Harman, Jens Krinke: Empirical study of optimization techniques for massive slicing. ACM Trans. Program. Lang. Syst. 30(1) (2007)
- [j25]David Binkley, Nicolas Gold, Mark Harman: An empirical study of static program slice size. ACM Trans. Softw. Eng. Methodol. 16(2) (2007)
- [j24]Timothy M. Meyers, David Binkley: An empirical study of slice-based cohesion and coupling metrics. ACM Trans. Softw. Eng. Methodol. 17(1) (2007)
- [j23]David Binkley, Rainer Koschke, Spiros Mancoridis: Guest Editors' Introduction to the Special Section from the International Conference on Software Maintenance and Evolution. IEEE Trans. Software Eng. 33(12): 797-798 (2007)
- [c40]
- [c39]Dawn Lawrie, Henry Feild, David Binkley: Extracting Meaning from Abbreviated Identifiers. SCAM 2007: 213-222
- 2006
- [j22]David Binkley, Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya: A formal relationship between program slicing and partial evaluation. Formal Asp. Comput. 18(2): 103-119 (2006)
- [j21]Mark Harman, Arun Lakhotia, David Binkley: Theory and algorithms for slicing unstructured programs. Information & Software Technology 48(7): 549-565 (2006)
- [j20]David Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel: A formalisation of the relationship between forms of program slicing. Sci. Comput. Program. 62(3): 228-252 (2006)
- [j19]David Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel: Theoretical foundations of dynamic program slicing. Theor. Comput. Sci. 360(1-3): 23-41 (2006)
- [j18]David Binkley, Mariano Ceccato, Mark Harman, Filippo Ricca, Paolo Tonella: Tool-Supported Refactoring of Existing Object-Oriented Code into Aspects. IEEE Trans. Software Eng. 32(9): 698-717 (2006)
- [c38]Phil McMinn, Mark Harman, David Binkley, Paolo Tonella: The species per path approach to SearchBased test data generation. ISSTA 2006: 13-24
- [c37]Dawn Lawrie, Christopher Morrell, Henry Feild, David Binkley: What's in a Name? A Study of Identifiers. ICPC 2006: 3-12
- [c36]Dawn J. Lawrie, Henry Feild, David Binkley: Leveraged Quality Assessment using Information Retrieval Techniques. ICPC 2006: 149-158
- [c35]
- [c34]David Binkley, Mark Harman, Jens Krinke: Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation. SCAM 2006: 43-52
- [c33]Dawn Lawrie, Henry Feild, David Binkley: Syntactic Identifier Conciseness and Consistency. SCAM 2006: 139-148
- [c32]David Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi: An Empirical Study of Executable Concept Slice Size. WCRE 2006: 103-114
- [e1]David Binkley, Mark Harman, Jens Krinke (Eds.): Beyond Program Slicing, 06.11. - 11.11.2005. Dagstuhl Seminar Proceedings 05451, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
- 2005
- [j17]Nicolas E. Gold, Mark Harman, David Binkley, Robert M. Hierons: Unifying program slicing and concept assignment for higher-level executable source code extraction. Softw., Pract. Exper. 35(10): 977-1006 (2005)
- [c31]David Binkley, Mark Harman, Jens Krinke: 05451 Abstracts Collection -- Beyond Program Slicing. Beyond Program Slicing 2005
- [c30]Mark Harman, David Binkley, Jens Krinke: 05451 Executive Summary -- Beyond Program Slicing Dagstuhl Seminar. Beyond Program Slicing 2005
- [c29]David Binkley, Mariano Ceccato, Mark Harman, Filippo Ricca, Paolo Tonella: Automated Refactoring of Object Oriented Code into Aspects. ICSM 2005: 27-36
- [c28]David Binkley, Mark Harman: Locating Dependence Clusters and Dependence Pollution. ICSM 2005: 177-186
- [c27]
- [c26]David Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel: Minimal Slicing and the Relationships Between Forms of Slicing. SCAM 2005: 45-56
- 2004
- [j16]David Binkley, Mark Harman: A survey of empirical results on program slicing. Advances in Computers 62: 105-178 (2004)
- [j15]Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, David Binkley, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya: Syntax-Directed Amorphous Slicing. Autom. Softw. Eng. 11(1): 27-61 (2004)
- [j14]David Binkley, Liz Burd, Mark Harman, Paolo Tonella: Introduction. Software Quality Journal 12(4): 293-295 (2004)
- [j13]David Binkley, Mark Harman: Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables. IEEE Trans. Software Eng. 30(11): 715-735 (2004)
- [c25]André Baresel, David Binkley, Mark Harman, Bogdan Korel: Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach. ISSTA 2004: 108-118
- [c24]David Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Lahcen Ouarbya: Formalizing Executable Dynamic and Forward Slicing. SCAM 2004: 43-52
- [c23]Mark Harman, David Binkley, Ranjit Singh, Robert M. Hierons: Amorphous Procedure Extraction. SCAM 2004: 85-94
- [c22]Lin Hu, Mark Harman, Robert M. Hierons, David Binkley: Loop Squashing Transformations for Amorphous Slicing. WCRE 2004: 152-160
- [c21]Timothy M. Meyers, David Binkley: Slice-Based Cohesion Metrics and Software Intervention. WCRE 2004: 256-265
- 2003
- [j12]Mark Harman, David Binkley, Sebastian Danicic: Amorphous program slicing. Journal of Systems and Software 68(1): 45-64 (2003)
- [j11]David Binkley, C. E. Hopper, Steve D. Tucker, Brian C. Moss, James M. Rochelle, Daniel Foty: A CAD methodology for optimizing transistor current and sizing in analog CMOS design. IEEE Trans. on CAD of Integrated Circuits and Systems 22(2): 225-237 (2003)
- [c20]David Binkley, Mark Harman: An Empirical Study of Predicate Dependence Levels and Trends. ICSE 2003: 330-340
- [c19]David Binkley, Mark Harman: A Large-Scale Empirical Study of Forward and Backward Static Slice Size and Context Sensitivity. ICSM 2003: 44-53
- [c18]David Binkley, Mark Harman: Results from a Large-Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms. SCAM 2003: 203-
- [c17]Keith Gallagher, David Binkley: An Empirical Study of Computation Equivalence as Determined by Decomposition Slice Equivalence. WCRE 2003: 316-322
- 2002
- [j10]Paul Anderson, David Binkley, Genevieve Rosay, Tim Teitelbaum: Flow insensitive points-to sets. Information & Software Technology 44(13): 743-754 (2002)
- [c16]David Binkley: An Empirical Study of the Effect of Semantic Differences on Programmer Comprehension. IWPC 2002: 97-106
- [c15]Mark Harman, Nicolas Gold, Robert M. Hierons, David Binkley: Code Extraction Algorithms which Unify Slicing and Concept Assignment. WCRE 2002: 11-21
- 2001
- [c14]David Binkley, Rob Capellini, L. Ross Raszewski, Christopher Smith: An Implementation of and Experiment with Semantic Differencing. ICSM 2001: 82-91
- [c13]Daniel Foty, David Binkley: Re-Connecting MOS Modeling and Circuit Design: New Methods for Design Quality. ISQED 2001: 13
- [c12]Paul Anderson, David Binkley, Genevieve Rosay, Tim Teitelbaum: Flow Insensitive Points-To Sets. SCAM 2001: 81-91
- 2000
- [j9]David Binkley: Reducing the cost of regression testing. ACM SIGSOFT Software Engineering Notes 25(1): 35-36 (2000)
- [c11]Daniel Foty, David Binkley: MOSFET modeling and circuit design: re-establishing a lost connection (tutorial). DAC 2000: 560
- [c10]David Binkley, L. Ross Raszewski, Christopher Smith, Mark Harman: An Empirical Study of Amorphous Slicing as a Program Comprehension Support Tool. IWPC 2000: 161-170
1990 – 1999
- 1999
- [c9]Mark Harman, Chris Fox, Robert M. Hierons, David Binkley, Sebastian Danicic: Program Simplification as a Means of Approximating Undecidable Propositions. IWPC 1999: 208-217
- [c8]
- 1998
- [j8]David Binkley: The application of program slicing to regression testing. Information & Software Technology 40(11-12): 583-594 (1998)
- [j7]David Binkley, James R. Lyle: Application of the pointer state subgraph to static program slicing. Journal of Systems and Software 40(1): 17-27 (1998)
- [c7]
- 1997
- [j6]
- [j5]David Binkley: Semantics Guided Regression Test Cost Reduction. IEEE Trans. Software Eng. 23(8): 498-516 (1997)
- [c6]
- 1996
- [j4]
- [c5]Bradley M. Kuhn, David Binkley: An enabling optimization for C++ virtual functions. SAC 1996: 420-428
- 1995
- [j3]David Binkley, Susan Horwitz, Thomas W. Reps: Program Integration for Languages with Procedure Calls. ACM Trans. Softw. Eng. Methodol. 4(1): 3-35 (1995)
- [c4]David Binkley: Reducing the cost of regression testing by semantics guided test case selection. ICSM 1995: 251-
- 1994
- [c3]David Binkley: Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model. CC 1994: 374-388
- 1993
- [j2]
- 1990
- [j1]Susan Horwitz, Thomas W. Reps, David Binkley: Interprocedural Slicing Using Dependence Graphs. ACM Trans. Program. Lang. Syst. 12(1): 26-60 (1990)
1980 – 1989
- 1988
- [c2]Susan Horwitz, Thomas W. Reps, David Binkley: Interprocedural Slicing Using Dependence Graphs. PLDI 1988: 35-46
- [c1]Susan Horwitz, Thomas W. Reps, David Binkley: Interprocedural slicing using dependence graphs (with retrospective). Best of PLDI 1988: 229-243
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:02 CEST by the dblp team