| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | David Binkley, Mark Harman, Kiran Lakhotia |
FlagRemover: A testability transformation for transforming loop-assigned flags.  |
ACM Trans. Softw. Eng. Methodol.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdallah Qusef, Gabriele Bavota, Rocco Oliveto, Andrea De Lucia, David Binkley |
SCOTCH: Slicing and Coupling Based Test to Code Trace Hunter. |
WCRE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dawn Lawrie, David Binkley |
Expanding identifiers to normalize source code vocabulary. |
ICSM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdallah Qusef, Gabriele Bavota, Rocco Oliveto, Andrea De Lucia, David Binkley |
SCOTCH: Test-to-code traceability using slicing and conceptual coupling. |
ICSM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | David Binkley, Matthew Hearn, Dawn Lawrie |
Improving identifier informativeness using part of speech information. |
MSR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Binkley, Dawn Lawrie |
Development: Information Retrieval Applications. |
Encyclopedia of Software Engineering |
2010 |
DBLP BibTeX RDF |
|
| 1 | David Binkley, Dawn Lawrie |
Maintenance and Evolution: Information Retrieval Applications. |
Encyclopedia of Software Engineering |
2010 |
DBLP BibTeX RDF |
|
| 1 | Syed S. Islam, Jens Krinke, David Binkley |
Dependence cluster visualization. |
SOFTVIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dawn J. Lawrie, David Binkley, Christopher Morrell |
Normalizing Source Code Vocabulary. |
WCRE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Syed S. Islam, Jens Krinke, David Binkley, Mark Harman |
Coherent dependence clusters. |
PASTE |
2010 |
DBLP DOI BibTeX RDF |
clustering, dependence, program comprehension, program slicing |
| 1 | Jens Krinke, Nicolas Gold, Yue Jia, David Binkley |
Distinguishing copies from originals in software clones. |
IWSC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Gold, Jens Krinke, Mark Harman, David Binkley |
Issues in clone classification for dataflow languages. |
IWSC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Krinke, Nicolas Gold, Yue Jia, David Binkley |
Cloning and copying between GNOME projects. |
MSR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Binkley, Dawn Lawrie, Steve Maex, Christopher Morrell |
Identifier length and limited programmer memory. |
Sci. Comput. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Binkley, Henry Feild, Dawn J. Lawrie, Maurizio Pighin |
Increasing diversity: Natural language measures for software fault prediction. |
Journal of Systems and Software |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Phil McMinn, David Binkley, Mark Harman |
Empirical evaluation of a nesting testability transformation for evolutionary testing. |
ACM Trans. Softw. Eng. Methodol. |
2009 |
DBLP DOI BibTeX RDF |
testability transformation, test data generation, Evolutionary testing, search-based software engineering |
| 1 | Mark Harman, David Binkley, Keith Gallagher, Nicolas Gold, Jens Krinke |
Dependence clusters in source code. |
ACM Trans. Program. Lang. Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Binkley, Mark Harman |
Identifying 'Linchpin Vertices' That Cause Large Dependence Clusters. |
SCAM |
2009 |
DBLP DOI BibTeX RDF |
Dependence Cluster |
| 1 | David Binkley, Marcia Davis, Dawn Lawrie, Christopher Morrell |
To camelcase or under_score. |
ICPC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
esp, introductory computer science course, peer-led team learning, pltl, inclusion, women in computer science, under-represented groups |
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi |
Evaluating Key Statements Analysis. |
SCAM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi, Joachim Wegener |
Dependence Anti Patterns. |
ASE Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Binkley, Dawn Lawrie, Steve Maex, Christopher Morrell |
Impact of Limited Memory Resources. |
ICPC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Binkley, Helmut E. Graeb, Georges G. E. Gielen, Jaijeet S. Roychowdhury |
From Transistor to PLL - Analogue Design and EDA Methods. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dawn Lawrie, Christopher Morrell, Henry Feild, David Binkley |
Effective identifier names for comprehension and memory. |
ISSE |
2007 |
DBLP DOI BibTeX RDF |
Software quality, Program comprehension, Quality assessment |
| 1 | Dawn Lawrie, Henry Feild, David Binkley |
Quantifying identifier quality: an analysis of trends. |
Empirical Software Engineering |
2007 |
DBLP DOI BibTeX RDF |
Software quality characterizations, Program analysis, Source code |
| 1 | Timothy M. Meyers, David Binkley |
An empirical study of slice-based cohesion and coupling metrics. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
software intervention, reengineering, coupling, Slicing, cohesion |
| 1 | David Binkley, Nicolas Gold, Mark Harman |
An empirical study of static program slice size. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
slice size, Program slicing |
| 1 | David Binkley, Mark Harman, Jens Krinke |
Empirical study of optimization techniques for massive slicing. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
empirical study, Slicing, performance enhancement, internal representation |
| 1 | Dawn Lawrie, Henry Feild, David Binkley |
An empirical study of rules for well-formed identifiers. |
Journal of Software Maintenance |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dawn Lawrie, Henry Feild, David Binkley |
Extracting Meaning from Abbreviated Identifiers. |
SCAM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David Binkley |
Source Code Analysis: A Road Map. |
FOSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David Binkley, Mariano Ceccato, Mark Harman, Filippo Ricca, Paolo Tonella |
Tool-Supported Refactoring of Existing Object-Oriented Code into Aspects. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
program transformation, refactoring, Aspect-oriented software development |
| 1 | Srikanth Mohan, Arun Ravindran, David Binkley, Arindam Mukherjee |
Power Optimized Design of CMOS Programmable Gain Amplifiers. |
J. Low Power Electronics |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David Binkley, Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya |
A formal relationship between program slicing and partial evaluation. |
Formal Asp. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Conditioned program slicing, Partial evaluation |
| 1 | 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. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel |
Theoretical foundations of dynamic program slicing. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Harman, Arun Lakhotia, David Binkley |
Theory and algorithms for slicing unstructured programs. |
Information & Software Technology |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David Binkley, Mark Harman, Jens Krinke |
Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation. |
SCAM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Keith Gallagher, David Binkley, Mark Harman |
Stop-List Slicing. |
SCAM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dawn Lawrie, Henry Feild, David Binkley |
Syntactic Identifier Conciseness and Consistency. |
SCAM |
2006 |
DBLP DOI BibTeX RDF |
Identifier Quality, Part-of-speech |
| 1 | Phil McMinn, Mark Harman, David Binkley, Paolo Tonella |
The species per path approach to SearchBased test data generation. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
testability transformation, evolutionary testing, search-based software engineering, automated test data generation |
| 1 | David Binkley, Mark Harman, Jens Krinke (eds.) |
Beyond Program Slicing, 06.11. - 11.11.2005 |
Beyond Program Slicing |
2006 |
DBLP BibTeX RDF |
|
| 1 | David Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi |
An Empirical Study of Executable Concept Slice Size. |
WCRE |
2006 |
DBLP DOI BibTeX RDF |
Concept Assignment, Program Slicing |
| 1 | Dawn Lawrie, Christopher Morrell, Henry Feild, David Binkley |
What's in a Name? A Study of Identifiers. |
ICPC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dawn J. Lawrie, Henry Feild, David Binkley |
Leveraged Quality Assessment using Information Retrieval Techniques. |
ICPC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Binkley, Mark Harman |
Forward slices are smaller than backward slices. |
SCAM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel |
Minimal Slicing and the Relationships Between Forms of Slicing. |
SCAM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Harman, David Binkley, Jens Krinke |
05451 Executive Summary -- Beyond Program Slicing Dagstuhl Seminar. |
Beyond Program Slicing |
2005 |
DBLP BibTeX RDF |
|
| 1 | David Binkley, Mark Harman, Jens Krinke |
05451 Abstracts Collection -- Beyond Program Slicing. |
Beyond Program Slicing |
2005 |
DBLP BibTeX RDF |
|
| 1 | David Binkley, Mark Harman |
Locating Dependence Clusters and Dependence Pollution. |
ICSM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Binkley, Mariano Ceccato, Mark Harman, Filippo Ricca, Paolo Tonella |
Automated Refactoring of Object Oriented Code into Aspects. |
ICSM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Binkley, Mark Harman |
Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
software maintenance, program comprehension, program slicing, Dependence analysis |
| 1 | Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, David Binkley, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya |
Syntax-Directed Amorphous Slicing. |
Autom. Softw. Eng. |
2004 |
DBLP DOI BibTeX RDF |
amorphous slicing, conditioned slicing, FermaT, transformation, WSL |
| 1 | David Binkley, Liz Burd, Mark Harman, Paolo Tonella |
Introduction. |
Software Quality Journal |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Binkley, Mark Harman |
A survey of empirical results on program slicing. |
Advances in Computers |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Harman, David Binkley, Ranjit Singh, Robert M. Hierons |
Amorphous Procedure Extraction. |
SCAM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Lahcen Ouarbya |
Formalizing Executable Dynamic and Forward Slicing. |
SCAM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | André Baresel, David Binkley, Mark Harman, Bogdan Korel |
Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
flags, testability transformation, empirical evaluation, evolutionary testing |
| 1 | Lin Hu, Mark Harman, Robert M. Hierons, David Binkley |
Loop Squashing Transformations for Amorphous Slicing. |
WCRE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy M. Meyers, David Binkley |
Slice-Based Cohesion Metrics and Software Intervention. |
WCRE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Harman, David Binkley, Sebastian Danicic |
Amorphous program slicing. |
Journal of Systems and Software |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Keith Gallagher, David Binkley |
An Empirical Study of Computation Equivalence as Determined by Decomposition Slice Equivalence. |
WCRE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David Binkley, Mark Harman |
A Large-Scale Empirical Study of Forward and Backward Static Slice Size and Context Sensitivity. |
ICSM |
2003 |
DBLP DOI BibTeX RDF |
Semantics-Based Tools, Empirical Study, Program Slicing |
| 1 | David Binkley, Mark Harman |
An Empirical Study of Predicate Dependence Levels and Trends. (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
Program Slicing, Dependence Analysis |
| 1 | Paul Anderson, David Binkley, Genevieve Rosay, Tim Teitelbaum |
Flow insensitive points-to sets. |
Information & Software Technology |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Harman, Nicolas Gold, Robert M. Hierons, David Binkley |
Code Extraction Algorithms which Unify Slicing and Concept Assignment. (PDF / PS) |
WCRE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David Binkley |
An Empirical Study of the Effect of Semantic Differences on Programmer Comprehension. (PDF / PS) |
IWPC |
2002 |
DBLP DOI BibTeX RDF |
semantic differencing, program comprehension, program slicing, empirical validation |
| 1 | Suriya Ashok Kumar, Rafic Z. Makki, David Binkley |
IDDT Testing of Embedded CMOS SRAMs. |
DATE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Anderson, David Binkley, Genevieve Rosay, Tim Teitelbaum |
Flow Insensitive Points-To Sets. |
SCAM |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Foty, David Binkley |
Re-Connecting MOS Modeling and Circuit Design: New Methods for Design Quality. (PDF / PS) |
ISQED |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | David Binkley, Rob Capellini, L. Ross Raszewski, Christopher Smith |
An Implementation of and Experiment with Semantic Differencing. (PDF / PS) |
ICSM |
2001 |
DBLP DOI BibTeX RDF |
semantic differencing, empirical studies, program slicing, regression testing, impact analysis |
| 1 | Daniel Foty, David Binkley |
MOSFET modeling and circuit design: re-establishing a lost connection (tutorial). |
DAC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | David Binkley, L. Ross Raszewski, Christopher Smith, Mark Harman |
An Empirical Study of Amorphous Slicing as a Program Comprehension Support Tool. (PDF / PS) |
IWPC |
2000 |
DBLP DOI BibTeX RDF |
amorphous slicing, program comprehension, slicing, arrays, empirical validation |
| 1 | David Binkley |
Computing Amorphous Program Slices Using Dependence Graphs. |
SAC |
1999 |
DBLP DOI BibTeX RDF |
testing, debugging, program transformation, slicing, dependence graphs |
| 1 | Mark Harman, Chris Fox, Robert M. Hierons, David Binkley, Sebastian Danicic |
Program Simplification as a Means of Approximating Undecidable Propositions. (PDF / PS) |
IWPC |
1999 |
DBLP DOI BibTeX RDF |
Testing, Transformation, Slicing |
| 1 | David Binkley, James R. Lyle |
Application of the pointer state subgraph to static program slicing. |
Journal of Systems and Software |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | David Binkley |
The application of program slicing to regression testing. |
Information & Software Technology |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | David Binkley, Bruce Duncan, Brennan Jubb, April Wielgosz |
The Feedback Compiler. (PDF / PS) |
IWPC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | David Binkley |
Semantics Guided Regression Test Cost Reduction. |
IEEE Trans. Software Eng. |
1997 |
DBLP DOI BibTeX RDF |
CTR Categories and Subject Descriptors: D.2.2 [Software Engineering]: tools and techniques—programmer workbench, D.2.5 [Software Enginering]: testing and debugging, D.3.3 [Programming Languages]: language constructs—control structures, functions and subroutines, E.1 [Data Structures] graphs, other keywords: slicing, regression testing, procedures |
| 1 | David Binkley |
C++ in Safety Critical Systems. |
Ann. Software Eng. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | David Binkley, Bradley M. Kuhn |
Crozzle: an NP-complete problem. |
SAC |
1997 |
DBLP DOI BibTeX RDF |
crozzle, complexity, NP-complete |
| 1 | David Binkley, Keith Brian Gallagher |
Program Slicing. |
Advances in Computers |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Bradley M. Kuhn, David Binkley |
An enabling optimization for C++ virtual functions. |
SAC |
1996 |
DBLP DOI BibTeX RDF |
dynamic finding, optimization, C++, virtual functions |
| 1 | David Binkley, Susan Horwitz, Thomas W. Reps |
Program Integration for Languages with Procedure Calls. |
ACM Trans. Softw. Eng. Methodol. |
1995 |
DBLP DOI BibTeX RDF |
flow-insensitive summary information, semantics-based program integration, program slicing, data-flow analysis, data dependence, control dependence, program dependence graph |
| 1 | David Binkley |
Reducing the cost of regression testing by semantics guided test case selection. (PDF / PS) |
ICSM |
1995 |
DBLP DOI BibTeX RDF |
semantics guided test case selection, semantic differences, common execution patterns, interprocedural slice, calling context slice, software maintenance, software maintenance, program testing, program testing, regression testing, cost, software cost estimation, language semantics |
| 1 | David Binkley |
Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | David Binkley |
Precise Executable Interprocedural Slices. |
LOPLAS |
1993 |
DBLP DOI BibTeX RDF |
program slicing, data dependence, control dependence, program dependence graph |
| 1 | Susan Horwitz, Thomas W. Reps, David Binkley |
Interprocedural Slicing Using Dependence Graphs. |
ACM Trans. Program. Lang. Syst. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Susan Horwitz, Thomas W. Reps, David Binkley |
Interprocedural slicing using dependence graphs (with retrospective) |
Best of PLDI |
1988 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")