| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | David Notkin |
Editorial.  |
ACM Trans. Softw. Eng. Methodol.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Reid Holmes, David Notkin |
Identifying opaque behavioural changes. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Reid Holmes, David Notkin |
Identifying program, test, and environmental changes that affect behaviour. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Judith Bishop, David Notkin, Karin Breitman |
First workshop on developing tools as plug-ins: (TOPI 2011). |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin |
Crystal: precise and unobtrusive conflict warnings. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin |
Proactive detection of collaboration conflicts. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Notkin |
Editorial. |
ACM Trans. Softw. Eng. Methodol. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Notkin |
ACM TOSEM: FAQs and Figures. |
ACM SIGSOFT Software Engineering Notes |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Notkin |
Exposing unforeseen consequences of software change. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Nita, David Notkin |
Using twinning to adapt programs to alternative APIs. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
API mapping, source-to-source translation, twinning |
| 1 | Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin |
Speculative analysis: exploring future development states of software. |
FoSER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael W. Godfrey, Ahmed E. Hassan, James D. Herbsleb, Gail C. Murphy, Martin P. Robillard, Premkumar T. Devanbu, Audris Mockus, Dewayne E. Perry, David Notkin |
Future of Mining Software Archives: A Roundtable. |
IEEE Software |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Notkin |
Editorial. |
ACM Trans. Softw. Eng. Methodol. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Notkin |
Software, Software Engineering and Software Engineering Research: Some Unconventional Thoughts. |
J. Comput. Sci. Technol. |
2009 |
DBLP DOI BibTeX RDF |
software engineering/general, software engineering process/life cycle |
| 1 | David Notkin |
FAQs and figures. |
ACM SIGSOFT Software Engineering Notes |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Miryung Kim, David Notkin |
Discovering and representing systematic code changes. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Nita, David Notkin |
White-box approaches for improved testing and analysis of configurable software systems. |
ICSE Companion |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Notkin, Mauro Pezzè |
Introduction to the special section from the ACM international symposium on software testing and analysis (ISSTA 2006). |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Notkin |
Editorial. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Notkin |
Editorial. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Notkin |
ACM TOSEM FAQs and figures. |
ACM SIGSOFT Software Engineering Notes |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Notkin |
ACM TOSEM: FAQs and figures. |
ACM SIGSOFT Software Engineering Notes |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Notkin |
Dessert Island. |
Autom. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David Notkin |
Editorial. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David Notkin |
Editorial. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David Notkin |
Editorial. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David Notkin |
ACM TOSEM: FAQs and figures. |
ACM SIGSOFT Software Engineering Notes |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David Notkin |
ACM TOSEM: FAQs and figures. |
ACM SIGSOFT Software Engineering Notes |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David Notkin |
FAQs and figures. |
ACM SIGSOFT Software Engineering Notes |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David Notkin |
FAQs and figures. |
ACM SIGSOFT Software Engineering Notes |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David Notkin |
ACM TOSEM: FAQs and figures. |
ACM SIGSOFT Software Engineering Notes |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Miryung Kim, David Notkin, Dan Grossman |
Automatic Inference of Structural Changes for Matching across Program Versions. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tao Xie, David Notkin |
Tool-assisted unit-test generation and selection based on operational abstractions. |
Autom. Softw. Eng. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller (eds.) |
Multi-Version Program Analysis, 26. June - 1. July 2005 |
Multi-Version Program Analysis |
2006 |
DBLP BibTeX RDF |
|
| 1 | David Notkin |
Unconventional Views on Conventional Wisdom about Software Engineering Research. |
ICSM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tao Xie, Jianjun Zhao, Darko Marinov, David Notkin |
Detecting Redundant Unit Tests for AspectJ Programs. |
ISSRE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Miryung Kim, David Notkin |
Program element matching for multi-version program analyses. |
MSR |
2006 |
DBLP DOI BibTeX RDF |
multi-version analysis, software evolution, matching |
| 1 | Tao Xie, David Notkin |
Checking Inside the Black Box: Regression Testing by Comparing Value Spectra. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
software testing, empirical studies, software maintenance, regression testing, Program spectra |
| 1 | Miryung Kim, David Notkin |
Using a clone genealogy extractor for understanding and supporting evolution of code clones. |
ACM SIGSOFT Software Engineering Notes |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin |
Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller |
05261 Abstracts Collection - Multi-Version Program Analysis. |
Multi-Version Program Analysis |
2005 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller |
05261 Summary - Multi-Version Program Analysis. |
Multi-Version Program Analysis |
2005 |
DBLP BibTeX RDF |
|
| 1 | Tao Xie, David Notkin |
Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs. |
ISSRE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Miryung Kim, Vibha Sazawal, David Notkin, Gail C. Murphy |
An empirical study of code clone genealogies. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
empirical study, software maintenance, refactoring, software evolution, code clone |
| 1 | Miryung Kim, David Notkin |
Using a clone genealogy extractor for understanding and supporting evolution of code clones. |
MSR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tao Xie, David Notkin |
Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Vibha Sazawal, Miryung Kim, David Notkin |
A Study of Evolution in the Presence of Source-Derived Partial Design Representations. |
IWPSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tao Xie, Darko Marinov, David Notkin |
Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests. |
ASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tao Xie, David Notkin |
Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences. |
ICSM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Vibha Sazawal, David Notkin |
Design snippets: partial design representations extracted from source code. |
OOPSLA Companion |
2004 |
DBLP DOI BibTeX RDF |
ease of change, software evolution |
| 1 | Miryung Kim, Lawrence D. Bergman, Tessa A. Lau, David Notkin |
An Ethnographic Study of Copy and Paste Programming Practices in OOPL. |
ISESE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tao Xie, David Notkin |
Tool-Assisted Unit Test Selection Based on Operational Violations. |
ASE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Tao Xie, David Notkin |
Mutually Enhancing Test Generation and Specification Inference. |
FATES |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin |
Language Support for Connector Abstractions. |
ECOOP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert J. Walker, Lionel C. Briand, David Notkin, Carolyn B. Seaman, Walter F. Tichy |
Panel: Empirical Validation-What, Why, When, and How. (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael D. Ernst, Greg J. Badros, David Notkin |
An Empirical Analysis of C Preprocessor Use. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
C preprocessor, macro substitution, file inclusion, C++, empirical study, C, program understanding, macro, conditional compilation, Cpp |
| 1 | Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin |
Architecture-centric programming for adaptive systems. |
WOSS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David Notkin |
Longitudinal program analysis. |
PASTE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Aldrich, Craig Chambers, David Notkin |
Architectural Reasoning in ArchJava. |
ECOOP |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jonathan Aldrich, Craig Chambers, David Notkin |
ArchJava: connecting software architecture to implementation. |
ICSE |
2002 |
DBLP DOI BibTeX RDF |
Java |
| 1 | William Chan, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner |
Optimizing Symbolic Model Checking for Statecharts. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
TCAS II, partitioned transition relation, automatic abstraction, fault tolerance, Formal verification, binary decision diagrams, statecharts, requirements specifications, symbolic model checking, RSML, avionic systems |
| 1 | Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin |
Dynamically Discovering Likely Program Invariants to Support Program Evolution. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
pattern recognition, formal specification, software evolution, dynamic analysis, execution traces, logical inference, Program invariants |
| 1 | Gail C. Murphy, David Notkin, Kevin J. Sullivan |
Software Reflexion Models: Bridging the Gap between Design and Implementation. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
model differencing, Reverse engineering, program understanding, program representation, software structure |
| 1 | Yoshio Kataoka, Michael D. Ernst, William G. Griswold, David Notkin |
Automated Support for Program Refactoring Using Invariants. (PDF / PS) |
ICSM |
2001 |
DBLP DOI BibTeX RDF |
static analysis, refactoring, dynamic analysis, invariant, program understanding, maintainability, readability |
| 1 | Kevin J. Sullivan, Mary M. Shaw, Barry W. Boehm, David Notkin, Warren Harrison |
Third International Workshop on Economics-Driven Software Engineering Research. |
ICSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | David Notkin, Marc Donner, Michael D. Ernst, Michael M. Gorlick, E. James Whitehead Jr. |
Panel: Perspectives on Software Engineering. |
ICSE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Greg J. Badros, David Notkin |
A framework for preprocessor-aware C source code analyses. |
Softw., Pract. Exper. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | David Notkin |
Dynamically Detecting Relevant Program Invariants. (PDF / PS) |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael D. Ernst, Adam Czeisler, William G. Griswold, David Notkin |
Quickly detecting relevant program invariants. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard J. Anderson, Paul Beame, William Chan, David Notkin |
Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications. |
Ershov Memorial Conference |
1999 |
DBLP DOI BibTeX RDF |
finite state representations, Formal methods, formal verification, binary decision diagrams, symbolic model checking, software specification |
| 1 | Amir Michail, David Notkin |
Assessing Software Libraries by Browsing Similar Classes, Functions and Relationships. |
ICSE |
1999 |
DBLP BibTeX RDF |
information retrieval, reuse, assessment, software libraries |
| 1 | Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin |
Dynamically Discovering Likely Program Invariants to Support Program Evolution. |
ICSE |
1999 |
DBLP BibTeX RDF |
pattern recognition, formal specification, software evolution, dynamic analysis, execution traces, logical inference, program invariants |
| 1 | David Notkin, Gregory J. Kirsch, Yannis Skulikaris |
Panel: Intellectual Property Issues in Software. |
ICSE |
1999 |
DBLP BibTeX RDF |
|
| 1 | William Chan, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner |
Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts. |
ICSE |
1999 |
DBLP BibTeX RDF |
fault tolerance, formal methods, formal verification, binary decision diagrams, statecharts, symbolic model checking, software specification |
| 1 | Kevin J. Sullivan, David Notkin, Alfonso Fuggetta, John M. Favaro |
First Workshop on Economics-Driven Software Engineering Research. |
ICSE |
1999 |
DBLP BibTeX RDF |
software engineering, economics, decision theory, finance |
| 1 | William Chan, Richard J. Anderson, Paul Beame, Steve Burns, Francesmary Modugno, David Notkin, Jon Damon Reese |
Model Checking Large Software Specifications. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
state-based specifications, Formal methods, requirements, binary decision diagrams, statecharts, software verification, symbolic model checking |
| 1 | Jürgen Dingel, David Garlan, Somesh Jha, David Notkin |
Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning. |
Formal Asp. Comput. |
1998 |
DBLP DOI BibTeX RDF |
Rely/guarantee, Assumption/commitment, Implicit invocation |
| 1 | Mary Lou Soffa, David Notkin |
SIGPLAN and SIGSOFT Joint Efforts. |
SIGPLAN Notices |
1998 |
DBLP BibTeX RDF |
|
| 1 | Gail A. Alverson, William G. Griswold, Calvin Lin, David Notkin, Lawrence Snyder |
Abstractions for Portable, Scalable Parallel Programming. |
IEEE Trans. Parallel Distrib. Syst. |
1998 |
DBLP DOI BibTeX RDF |
scalable, parallel, portable, programming model, MIMD |
| 1 | Gail C. Murphy, David Notkin, William G. Griswold, Erica S.-C. Lan |
An Empirical Study of Static Call Graph Extractors. |
ACM Trans. Softw. Eng. Methodol. |
1998 |
DBLP DOI BibTeX RDF |
software system analysis, static analysis, empirical study, design space, call graphs |
| 1 | David Notkin |
The Lifeblood of Our Field. |
IEEE Computer |
1998 |
DBLP BibTeX RDF |
|
| 1 | William Chan, Richard J. Anderson, Paul Beame, David Notkin |
Improving Efficiency of Symbolic Model Checking for State-Based System Requirements. |
ISSTA |
1998 |
DBLP DOI BibTeX RDF |
TCAS II, partitioned transition relation, system requirements specification, formal verification, abstraction, binary decision diagrams, statecharts, reachability analysis, symbolic model checking, RSML |
| 1 | Amir Michail, David Notkin |
Illustrating Object-Oriented Library Reuse by Example: A Tool-based Approach. (PDF / PS) |
ASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | David Garlan, Somesh Jha, David Notkin |
Reasoning about Implicit Invocation. |
SIGSOFT FSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Gail C. Murphy, David Notkin |
Reengineering with Reflection Models: A Case Study. |
IEEE Computer |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | William Chan, Richard J. Anderson, Paul Beame, David Notkin |
Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints. |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin J. Sullivan, Ira Kalet, David Notkin |
Evaluating The Mediator Method: Prism as a Case Study. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
abstract behavioral type, radiation treatment, Software engineering, integration, object-oriented, software evolution, design methodology, mediator, implicit invocation, component-based |
| 1 | David Notkin, D. Ross Jeffery |
Guest Editorial: Introduction to the Special Section Best Papers of the 17th International Conference on Software Engineering (ICSE-17). (PDF / PS) |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Gail C. Murphy, David Notkin |
Lightweight Lexical Source Model Extraction. |
ACM Trans. Softw. Eng. Methodol. |
1996 |
DBLP DOI BibTeX RDF |
scanner generation, source model, reverse engineering, static analysis, software maintenance, scanning, source code analysis, lexical analysis, lexing |
| 1 | Gail C. Murphy, David Notkin |
On the use of static typing to support operations on frameworks. |
Object Oriented Systems |
1996 |
DBLP BibTeX RDF |
|
| 1 | Carl A. Gunter, John C. Mitchell, David Notkin |
Strategic Directions in Software Engineering and Programming Languages. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael VanHilst, David Notkin |
Using C++ Templates to Implement Role-Based Designs. |
ISOTAS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Kingsum Chow, David Notkin |
Semi-automatic update of applications in response to library changes. (PDF / PS) |
ICSM |
1996 |
DBLP DOI BibTeX RDF |
semi-automatic application update, library changes, library syntax, library semantics, updated libraries, toolset, library maintainer, changed functions, rules, costs, software libraries, software libraries, programmers |
| 1 | Michael VanHilst, David Notkin |
Using Role Components to Implement Collaboration-Based Designs. |
OOPSLA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Gail C. Murphy, David Notkin, Erica S.-C. Lan |
An Empirical Study of Static Call Graph Extractors. |
ICSE |
1996 |
DBLP BibTeX RDF |
C call graphs, CIA, cflow, extraction tools, gee, mapmaker, mk-functmap, rigiparse, static call graph extractors, understanding task, optimization, software engineers, compilers, graph theory, software tools, program understanding, program compilers, mosaic, software systems, program diagnostics, quantitative analysis, Field, qualitative analysis, software engineering tools, false negatives |
| 1 | Richard J. Anderson, Paul Beame, Steve Burns, William Chan, Francesmary Modugno, David Notkin, Jon Damon Reese |
Model Checking Large Software Specifications. |
SIGSOFT FSE |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael VanHilst, David Notkin |
Decoupling Change from Design. |
SIGSOFT FSE |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | William G. Griswold, David Notkin |
Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
layered systems, Software architecture, modularization, evolution, software design, program representation, program restructuring |
| 1 | William G. Griswold, David Notkin |
Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool. (PDF / PS) |
IEEE Trans. Software Eng. |
1995 |
DBLP BibTeX RDF |
|
| 1 | Dewayne E. Perry, Ross Jeffrey, David Notkin (eds.) |
17th International Conference on Software Engineering, Seattle, Washington, USA, April 23-30, 1995, Proceedings. |
ICSE |
1995 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")