David Binkley

	2011
101		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
100		Dawn Lawrie, David Binkley: Expanding identifiers to normalize source code vocabulary. ICSM 2011: 113-122
99		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
98		David Binkley, Matthew Hearn, Dawn Lawrie: Improving identifier informativeness using part of speech information. MSR 2011: 203-206
97		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
96		David Binkley, Mark Harman, Kiran Lakhotia: FlagRemover: A testability transformation for transforming loop-assigned flags. ACM Trans. Softw. Eng. Methodol. 20(3): 12 (2011)
	2010
95		Jens Krinke, Nicolas Gold, Yue Jia, David Binkley: Distinguishing copies from originals in software clones. IWSC 2010: 41-48
94		Nicolas Gold, Jens Krinke, Mark Harman, David Binkley: Issues in clone classification for dataflow languages. IWSC 2010: 83-84
93		Jens Krinke, Nicolas Gold, Yue Jia, David Binkley: Cloning and copying between GNOME projects. MSR 2010: 98-101
92		Syed S. Islam, Jens Krinke, David Binkley, Mark Harman: Coherent dependence clusters. PASTE 2010: 53-60
91		Syed S. Islam, Jens Krinke, David Binkley: Dependence cluster visualization. SOFTVIS 2010: 93-102
90		Dawn J. Lawrie, David Binkley, Christopher Morrell: Normalizing Source Code Vocabulary. WCRE 2010: 3-12
89		David Binkley, Dawn Lawrie: Development: Information Retrieval Applications. Encyclopedia of Software Engineering 2010: 231-242
88		David Binkley, Dawn Lawrie: Maintenance and Evolution: Information Retrieval Applications. Encyclopedia of Software Engineering 2010: 454-463
87		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)
86		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)
	2009
85		Christian Jesús B. Fayomi, Gilson I. Wirth, David Binkley, Akira Matsuzawa: An experimental 0.6-V 57.5-fJ/conversion-step 250-kS/s 8-bit rail-to-rail successive approximation ADC in 0.18µm CMOS. ICECS 2009: 195-198
84		David Binkley, Marcia Davis, Dawn Lawrie, Christopher Morrell: To camelcase or under_score. ICPC 2009: 158-167
83		David Binkley, Mark Harman: Identifying 'Linchpin Vertices' That Cause Large Dependence Clusters. SCAM 2009: 89-98
82		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
81		Mark Harman, David Binkley, Keith Gallagher, Nicolas Gold, Jens Krinke: Dependence clusters in source code. ACM Trans. Program. Lang. Syst. 32(1): (2009)
80		Phil McMinn, David Binkley, Mark Harman: Empirical evaluation of a nesting testability transformation for evolutionary testing. ACM Trans. Softw. Eng. Methodol. 18(3): (2009)
79		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)
78		David Binkley, Dawn Lawrie, Steve Maex, Christopher Morrell: Identifier length and limited programmer memory. Sci. Comput. Program. 74(7): 430-445 (2009)
	2008
77		David Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi, Joachim Wegener: Dependence Anti Patterns. ASE Workshops 2008: 25-34
76		David Binkley, Helmut E. Graeb, Georges G. E. Gielen, Jaijeet S. Roychowdhury: From Transistor to PLL - Analogue Design and EDA Methods. DATE 2008
75		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
74		David Binkley, Dawn Lawrie, Steve Maex, Christopher Morrell: Impact of Limited Memory Resources. ICPC 2008: 83-92
73		David Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi: Evaluating Key Statements Analysis. SCAM 2008: 121-130
72		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)
	2007
71		David Binkley: Source Code Analysis: A Road Map. FOSE 2007: 104-119
70		Dawn Lawrie, Henry Feild, David Binkley: Extracting Meaning from Abbreviated Identifiers. SCAM 2007: 213-222
69		David Binkley, Mark Harman, Jens Krinke: Empirical study of optimization techniques for massive slicing. ACM Trans. Program. Lang. Syst. 30(1): (2007)
68		David Binkley, Nicolas Gold, Mark Harman: An empirical study of static program slice size. ACM Trans. Softw. Eng. Methodol. 16(2): (2007)
67		Timothy M. Meyers, David Binkley: An empirical study of slice-based cohesion and coupling metrics. ACM Trans. Softw. Eng. Methodol. 17(1): (2007)
66		Dawn Lawrie, Henry Feild, David Binkley: Quantifying identifier quality: an analysis of trends. Empirical Software Engineering 12(4): 359-388 (2007)
65		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)
64		Dawn Lawrie, Christopher Morrell, Henry Feild, David Binkley: Effective identifier names for comprehension and memory. ISSE 3(4): 303-318 (2007)
63		Dawn Lawrie, Henry Feild, David Binkley: An empirical study of rules for well-formed identifiers. Journal of Software Maintenance 19(4): 205-229 (2007)
	2006
62		David Binkley, Mark Harman, Jens Krinke: Beyond Program Slicing, 06.11. - 11.11.2005 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
61		Dawn J. Lawrie, Henry Feild, David Binkley: Leveraged Quality Assessment using Information Retrieval Techniques. ICPC 2006: 149-158
60		Dawn Lawrie, Christopher Morrell, Henry Feild, David Binkley: What's in a Name? A Study of Identifiers. ICPC 2006: 3-12
59		Phil McMinn, Mark Harman, David Binkley, Paolo Tonella: The species per path approach to SearchBased test data generation. ISSTA 2006: 13-24
58		Keith Gallagher, David Binkley, Mark Harman: Stop-List Slicing. SCAM 2006: 11-20
57		Dawn Lawrie, Henry Feild, David Binkley: Syntactic Identifier Conciseness and Consistency. SCAM 2006: 139-148
56		David Binkley, Mark Harman, Jens Krinke: Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation. SCAM 2006: 43-52
55		David Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi: An Empirical Study of Executable Concept Slice Size. WCRE 2006: 103-114
54		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)
53		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)
52		Mark Harman, Arun Lakhotia, David Binkley: Theory and algorithms for slicing unstructured programs. Information & Software Technology 48(7): 549-565 (2006)
51		Srikanth Mohan, Arun Ravindran, David Binkley, Arindam Mukherjee: Power Optimized Design of CMOS Programmable Gain Amplifiers. J. Low Power Electronics 2(2): 259-270 (2006)
50		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)
49		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)
	2005
48		David Binkley, Mark Harman, Jens Krinke: 05451 Abstracts Collection -- Beyond Program Slicing. Beyond Program Slicing 2005
47		Mark Harman, David Binkley, Jens Krinke: 05451 Executive Summary -- Beyond Program Slicing Dagstuhl Seminar. Beyond Program Slicing 2005
46		David Binkley, Mark Harman: Locating Dependence Clusters and Dependence Pollution. ICSM 2005: 177-186
45		David Binkley, Mariano Ceccato, Mark Harman, Filippo Ricca, Paolo Tonella: Automated Refactoring of Object Oriented Code into Aspects. ICSM 2005: 27-36
44		David Binkley, Mark Harman: Forward slices are smaller than backward slices. SCAM 2005: 15-24
43		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
42		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)
	2004
41		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
40		David Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Lahcen Ouarbya: Formalizing Executable Dynamic and Forward Slicing. SCAM 2004: 43-52
39		Mark Harman, David Binkley, Ranjit Singh, Robert M. Hierons: Amorphous Procedure Extraction. SCAM 2004: 85-94
38		Lin Hu, Mark Harman, Robert M. Hierons, David Binkley: Loop Squashing Transformations for Amorphous Slicing. WCRE 2004: 152-160
37		Timothy M. Meyers, David Binkley: Slice-Based Cohesion Metrics and Software Intervention. WCRE 2004: 256-265
36		David Binkley, Mark Harman: A survey of empirical results on program slicing. Advances in Computers 62: 105-178 (2004)
35		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)
34		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)
33		David Binkley, Liz Burd, Mark Harman, Paolo Tonella: Introduction. Software Quality Journal 12(4): 293-295 (2004)
	2003
32		David Binkley, Mark Harman: An Empirical Study of Predicate Dependence Levels and Trends. ICSE 2003: 330-340
31		David Binkley, Mark Harman: A Large-Scale Empirical Study of Forward and Backward Static Slice Size and Context Sensitivity. ICSM 2003: 44-53
30		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-
29		Keith Gallagher, David Binkley: An Empirical Study of Computation Equivalence as Determined by Decomposition Slice Equivalence. WCRE 2003: 316-322
28		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)
27		Mark Harman, David Binkley, Sebastian Danicic: Amorphous program slicing. Journal of Systems and Software 68(1): 45-64 (2003)
	2002
26		Suriya Ashok Kumar, Rafic Z. Makki, David Binkley: IDDT Testing of Embedded CMOS SRAMs. DATE 2002: 1117
25		David Binkley: An Empirical Study of the Effect of Semantic Differences on Programmer Comprehension. IWPC 2002: 97-106
24		Mark Harman, Nicolas Gold, Robert M. Hierons, David Binkley: Code Extraction Algorithms which Unify Slicing and Concept Assignment. WCRE 2002: 11-21
23		Paul Anderson, David Binkley, Genevieve Rosay, Tim Teitelbaum: Flow insensitive points-to sets. Information & Software Technology 44(13): 743-754 (2002)
	2001
22		David Binkley, Rob Capellini, L. Ross Raszewski, Christopher Smith: An Implementation of and Experiment with Semantic Differencing. ICSM 2001: 82-91
21		Daniel Foty, David Binkley: Re-Connecting MOS Modeling and Circuit Design: New Methods for Design Quality. ISQED 2001: 13
20		Paul Anderson, David Binkley, Genevieve Rosay, Tim Teitelbaum: Flow Insensitive Points-To Sets. SCAM 2001: 81-91
	2000
19		Daniel Foty, David Binkley: MOSFET modeling and circuit design: re-establishing a lost connection (tutorial). DAC 2000: 560
18		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
	1999
17		Mark Harman, Chris Fox, Robert M. Hierons, David Binkley, Sebastian Danicic: Program Simplification as a Means of Approximating Undecidable Propositions. IWPC 1999: 208-217
16		David Binkley: Computing Amorphous Program Slices Using Dependence Graphs. SAC 1999: 519-525
	1998
15		David Binkley, Bruce Duncan, Brennan Jubb, April Wielgosz: The Feedback Compiler. IWPC 1998: 198-
14		David Binkley: The application of program slicing to regression testing. Information & Software Technology 40(11-12): 583-594 (1998)
13		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)
	1997
12		David Binkley, Bradley M. Kuhn: Crozzle: an NP-complete problem. SAC 1997: 30-34
11		David Binkley: C++ in Safety Critical Systems. Ann. Software Eng. 4: 223-234 (1997)
10		David Binkley: Semantics Guided Regression Test Cost Reduction. IEEE Trans. Software Eng. 23(8): 498-516 (1997)
	1996
9		Bradley M. Kuhn, David Binkley: An enabling optimization for C++ virtual functions. SAC 1996: 420-428
8		David Binkley, Keith Brian Gallagher: Program Slicing. Advances in Computers 43: 1-50 (1996)
	1995
7		David Binkley: Reducing the cost of regression testing by semantics guided test case selection. ICSM 1995: 251-
6		David Binkley, Susan Horwitz, Thomas W. Reps: Program Integration for Languages with Procedure Calls. ACM Trans. Softw. Eng. Methodol. 4(1): 3-35 (1995)
	1994
5		David Binkley: Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model. CC 1994: 374-388
	1993
4		David Binkley: Precise Executable Interprocedural Slices. LOPLAS 2(1-4): 31-45 (1993)
	1990
3		Susan Horwitz, Thomas W. Reps, David Binkley: Interprocedural Slicing Using Dependence Graphs. ACM Trans. Program. Lang. Syst. 12(1): 26-60 (1990)
	1988
2		Susan Horwitz, Thomas W. Reps, David Binkley: Interprocedural slicing using dependence graphs (with retrospective) Best of PLDI 1988: 229-243
1		Susan Horwitz, Thomas W. Reps, David Binkley: Interprocedural Slicing Using Dependence Graphs. PLDI 1988: 35-46

Coauthor Index

1	Paul Anderson	[20] [23]
2	Kelly Androutsopoulos	[101]
3	André Baresel	[41] [75]
4	Richard W. Barraclough	[86]
5	Gabriele Bavota	[97] [99]
6	Maureen Biggers	[82]
7	Elizabeth Burd (Liz Burd)	[33]
8	Rob Capellini	[22]
9	Mariano Ceccato	[45] [53]
10	David Clark	[101]
11	Sebastian Danicic	[17] [27] [35] [40] [43] [49] [50] [54] [86]
12	Mohammed Daoudi	[35]
13	Marcia Davis	[84]
14	Bruce Duncan	[15]
15	Christian Jesús B. Fayomi	[85]
16	Henry Feild	[57] [60] [61] [63] [64] [66] [70] [79]
17	Daniel Foty	[19] [21] [28]
18	Chris Fox	[17]
19	C. Kolin Frantz	[82]
20	Keith Brian Gallagher (Keith Gallagher)	[8] [29] [58] [81]
21	Georges G. E. Gielen	[76]
22	Nicolas Gold (Nicolas E. Gold)	[24] [42] [55] [68] [72] [73] [77] [81] [93] [94] [95] [101]
23	Helmut E. Graeb (Helmut Gräb)	[76]
24	Dawn Gundermann	[82]
25	Tibor Gyimóthy	[40] [43] [49] [50]
26	Susanne E. Hambrusch	[82]
27	Mark Harman	[17] [18] [24] [27] [30] [31] [32] [33] [34] [35] [36] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [52] [53] [54] [55] [56] [58] [59] [62] [68] [69] [72] [73] [75] [77] [80] [81] [83] [86] [87] [92] [94] [96] [101]
28	Youssef Hassoun	[87]
29	Matthew Hearn	[98]
30	Robert M. Hierons	[17] [24] [38] [39] [42] [75] [86]
31	C. E. Hopper	[28]
32	Susan Horwitz	[1] [2] [3] [6] [82]
33	John Howroyd	[54]
34	Lin Hu	[35] [38] [75]
35	Steven Huss-Lederman	[82]
36	Syed S. Islam	[87] [91] [92]
37	Yue Jia	[93] [95]
38	Brennan Jubb	[15]
39	Ákos Kiss	[40] [43] [49] [50] [86]
40	Bogdan Korel	[41] [43] [49] [50] [75]
41	Rainer Koschke	[65]
42	Jens Krinke	[47] [48] [56] [62] [69] [81] [91] [92] [93] [94] [95]
43	Bradley M. Kuhn	[9] [12]
44	Suriya Ashok Kumar	[26]
45	Arun Lakhotia	[52]
46	Kiran Lakhotia	[96]
47	Kevin Lano	[101]
48	Mike Laurence	[86]
49	Dawn J. Lawrie (Dawn Lawrie)	[57] [60] [61] [63] [64] [66] [70] [74] [78] [79] [84] [88] [89] [90] [98] [100]
50	Zheng Li	[55] [72] [73] [77] [87] [101]
51	Andrea De Lucia	[97] [99]
52	James R. Lyle	[13]
53	Steve Maex	[74] [78]
54	Kiarash Mahdavi	[55] [72] [73] [77]
55	Rafic Z. Makki	[26]
56	Spiros Mancoridis	[65]
57	Akira Matsuzawa	[85]
58	Phil McMinn	[59] [75] [80]
59	Timothy M. Meyers	[37] [67]
60	Srikanth Mohan	[51]
61	Christopher Morrell	[60] [64] [74] [78] [84] [90]
62	Brian C. Moss	[28]
63	Arindam Mukherjee	[51]
64	Malcolm Munro	[35]
65	Ethan V. Munson	[82]
66	Rocco Oliveto	[97] [99]
67	Lahcen Ouarbya	[35] [40] [54] [86]
68	Maurizio Pighin	[79]
69	Abdallah Qusef	[97] [99]
70	L. Ross Raszewski	[18] [22]
71	Arun Ravindran	[51]
72	Thomas W. Reps	[1] [2] [3] [6]
73	Filippo Ricca	[45] [53]
74	James M. Rochelle	[28]
75	Susan H. Rodger	[82]
76	Marc Roper	[75]
77	Genevieve Rosay	[20] [23]
78	Jaijeet S. Roychowdhury	[76]
79	Barbara G. Ryder	[82]
80	Ranjit Singh	[39]
81	Christopher Smith	[18] [22]
82	Monica Sweat	[82]
83	Tim Teitelbaum	[20] [23]
84	Paolo Tonella	[33] [45] [53] [59]
85	Steve D. Tucker	[28]
86	Joachim Wegener	[77]
87	April Wielgosz	[15]
88	Gilson I. Wirth (Gilson Inacio Wirth)	[85]
89	Xingyuan Zhang	[35]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page