David Notkin

发表

Using a clone genealogy extractor for understanding and supporting evolution of code clones

Miryung Kim, David Notkin, D. Notkin, 2005, MSR.

An Assessment of Software Engineering Body of Knowledge Efforts

Mary Shaw, Michael M. Gorlick, David Notkin, 2000 .

Connecting software design principles to source code for improved ease of change

David Notkin, Vibha Sazawal, Gaetano Borriello, 2005 .

Future of Mining Software Archives: A Roundtable

Audris Mockus, James D. Herbsleb, Michael W. Godfrey, 2009, IEEE Software.

Electronic "How Things Work" Articles: Two Early Prototypes

David Salesin, Tony DeRose, Adam Finkelstein, 1993, IEEE Trans. Knowl. Data Eng..

ALOE Users' and Implementors' Guide,

David Notkin, Raul Medina-mora, 1981 .

Software Reflexion Models: Bridging the Gap between Design and Implementation

David Notkin, Gail C. Murphy, Kevin J. Sullivan, 2001, IEEE Trans. Software Eng..

Longitudinal program analysis

David Notkin, 2002, PASTE '02.

White-box approaches for improved testing and analysis of configurable software systems

David Notkin, Marius Nita, 2009, 2009 31st International Conference on Software Engineering - Companion Volume.

Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions

David Notkin, Tao Xie, D. Notkin, 2004, ICFEM.

Speculative analysis of integrated development environment recommendations

Yuriy Brun, Michael D. Ernst, David Notkin, 2012, OOPSLA '12.

A study of evolution in the presence of source-derived partial design representations

Miryung Kim, David Notkin, Vibha Sazawal, 2004 .

Intellectual property issues in software (panel)

David Notkin, Gregory J. Kirsch, Yannis Skulikaris, 1999, ICSE '99.

Automatic Extraction of Sliced Object State Machines for Component Interfaces

Tao Xie, David Notkin, D. Notkin, 2004 .

Proxies: A software structure for accommodating heterogeneity

David Notkin, 1990, Softw. Pract. Exp..

Parallel Debugging Using Graphical Views

David Notkin, Mary L. Bailey, David Socha, 1988 .

FAQs and figures

David Notkin, 2007, SOEN.

Accommodating Heterogeneity

David Notkin, Henry M. Levy, Edward D. Lazowska, 1987, Experiences with Distributed Systems.

Improving IDE recommendations by considering global implications of existing recommendations

Yuriy Brun, Michael D. Ernst, David Notkin, 2012, 2012 34th International Conference on Software Engineering (ICSE).

Unconventional Views on Conventional Wisdom about Software Engineering Research

David Notkin, 2006, 2006 22nd IEEE International Conference on Software Maintenance.

Detecting Unforeseen Program Behaviours

David Notkin, Reid Holmes, 2010 .

Cheating Policy in a Computer Science Department

Mary Shaw, David Notkin, Philip Miller, 1980, SGCS.

Lightweight lexical source model extraction

David Notkin, Gail C. Murphy, G. Murphy, 1996, TSEM.

Correction to "Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool"

William G. Griswold, David Notkin, 1995, IEEE Trans. Software Eng..

Abstractions for effectively portable shared memory parallel programs

David Notkin, G. A. Alverson, 1990 .

Decoupling change from design

David Notkin, Michael VanHilst, 1996, SIGSOFT '96.

SIGSOFT '93, Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering, Los Angeles, California, USA, December 7-10, 1993

David Notkin, Acm Sigsoft, 1993, SIGSOFT FSE.

Extension and software development

William G. Griswold, David Notkin, W. Griswold, 1988, Proceedings. [1989] 11th International Conference on Software Engineering.

Interactive structure-oriented computing

David Notkin, 1984 .

Computer science in Japanese universities

David Notkin, Richard D. Schlichting, R. Schlichting, 1993, Computer.

The Lifeblood of Our Field

David Notkin, 1998, Computer.

How Port Ensembles Aid the Efficient Retargeting of Reduction Algorithms

William G. Griswold, David Notkin, Lawrence Snyder, 1990, ICPP.

Nico Habermann's research: a brief retrospective

David Garlan, David Notkin, J. Frits Habermann, 1994, Proceedings of 16th International Conference on Software Engineering.

Using twinning to adapt programs to alternative APIs

David Notkin, Marius Nita, D. Notkin, 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.

Experiences with poker

David Notkin, Lawrence Snyder, Mary L. Bailey, 1988, PPoPP 1988.

Panel: empirical alidation-what, why, when, and how

Walter F. Tichy, David Notkin, Robert J. Walker, 2003, International Conference on Software Engineering.

Language Support for Connector Abstractions

David Notkin, Vibha Sazawal, Craig Chambers, 2003, ECOOP.

Improving efficiency of symbolic model checking for state-based system requirements

David Notkin, Richard J. Anderson, Paul Beame, 1998, ISSTA '98.

Automatic Inference of Structural Changes for Matching across Program Versions

Miryung Kim, David Notkin, Dan Grossman, 2007, 29th International Conference on Software Engineering (ICSE'07).

Reducing Feedback Delay of Software Development Tools via Continuous Analysis

Yuriy Brun, Michael D. Ernst, David Notkin, 2015, IEEE Transactions on Software Engineering.

Interconnecting heterogeneous computer systems

Andrew P. Black, David Notkin, Henry M. Levy, 1988, CACM.

Reasoning about implicit invocation

David Garlan, Somesh Jha, David Notkin, 1998, SIGSOFT '98/FSE-6.

Automatically identifying special and common unit tests for object-oriented programs

David Notkin, Tao Xie, D. Notkin, 2005, 16th IEEE International Symposium on Software Reliability Engineering (ISSRE'05).

Panel: Intellectual Property Issues in Software.

David Notkin, Gregory J. Kirsch, Yannis Skulikaris, 1999, ICSE 1999.

Program Structuring for Effective Parallel Portability

David Notkin, Gail A. Alverson, D. Notkin, 1993, IEEE Trans. Parallel Distributed Syst..

Automated assistance for program restructuring

William G. Griswold, David Notkin, W. Griswold, 1993, TSEM.

Letter from the executive committee

David Notkin, 1996, SOEN.

Illustrating object-oriented library reuse by example: a tool-based approach

Amir Michail, David Notkin, 1998, Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239).

Design snippets: partial design representations extracted from source code

David Notkin, Vibha Sazawal, 2004, OOPSLA '04.

Session details: Columns

David Notkin, 2000 .

First workshop on developing tools as plug-ins: (TOPI 2011)

David Notkin, Karin K. Breitman, Judith Bishop, 2011, 2011 33rd International Conference on Software Engineering (ICSE).

Improving Generation of Object-Oriented Test Suites by Avoiding Redundant Tests

Tao Xie, David Notkin, Darko Marinov, 2004 .

Detecting Redundant Unit Tests for AspectJ Programs

David Notkin, Tao Xie, Jianjun Zhao, 2006, 2006 17th International Symposium on Software Reliability Engineering.

Dynamically Discovering Program Invariants Involving Collections

William G. Griswold, Michael D. Ernst, David Notkin, 2000 .

Quickly detecting relevant program invariants

William G. Griswold, Michael D. Ernst, David Notkin, 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

Software reflexion models: bridging the gap between source and high-level models

David Notkin, Gail C. Murphy, Kevin J. Sullivan, 1995, SIGSOFT FSE.

TOSEM news

David Notkin, 2012, SOEN.

Difficulties with Object-Oriented Frameworks

David Notkin, Gail C. Murphy, 1993, ICSE Workshop on Studies of Software Design.

ACM TOSEM: FAQs and figures

David Notkin, 2007, SOEN.

Rostra: a framework for detecting redundant object-oriented unit tests

David Notkin, Tao Xie, Darko Marinov, 2004, Proceedings. 19th International Conference on Automated Software Engineering, 2004..

ArchJava: connecting software architecture to implementation

David Notkin, Craig Chambers, Jonathan Aldrich, 2002, ICSE '02.

The Interaction Between Static Typing and Frameworks

David Notkin, Gail C. Murphy, G. Murphy, 2007 .

High Performance Computer Programming Environments

David Notkin, Lawrence Snyder, 1988 .

An empirical study of code clone genealogies

Miryung Kim, David Notkin, Vibha Sazawal, 2005, ESEC/FSE-13.

Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering

David Notkin, 1993 .

Extending and Managing Software Reflexion Models

David Notkin, Gail C. Murphy, Kevin Sullivan, 1997 .

Computer-aided vs. manual program restructuring

William G. Griswold, David Notkin, 1992, SOEN.

Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications

David Notkin, Richard J. Anderson, Paul Beame, 1999, Ershov Memorial Conference.

Using C++ Templates to Implement Role-Based Designs

David Notkin, Michael VanHilst, D. Notkin, 1996, ISOTAS.

Distributable defect localization using markov models

David Notkin, William Portnoy, 2005 .

Assessing software libraries by browsing similar classes, functions and relationships

Amir Michail, David Notkin, 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

技術解説 IEEE Computer 大規模システムの分析にリフレクション法を適用

David Notkin, Gail C. Murphy, Gail C. Murphy, 1998 .

Tool-assisted unit-test generation and selection based on operational abstractions

David Notkin, Tao Xie, D. Notkin, 2006, Automated Software Engineering.

Formalizing Design Spaces: Implicit Invocation Mechanisms

David Garlan, David Notkin, 1991, VDM Europe.

Using role components in implement collaboration-based designs

David Notkin, Michael VanHilst, D. Notkin, 1996, OOPSLA '96.

Error reporting with graduated color

David Notkin, Bruce Oberg, 1992, IEEE Software.

Checking inside the black box: regression testing by comparing value spectra

David Notkin, Tao Xie, 2005, IEEE Transactions on Software Engineering.

Enhancement through extension: the extension interpreter

William G. Griswold, David Notkin, 1987, PLDI 1987.

Editorial—looking back

David Notkin, D. Notkin, 2013, TSEM.

Panel: empirical validation: what, why, when, and how

Walter F. Tichy, David Notkin, Robert J. Walker, 2003, ICSE.

Proactive detection of collaboration conflicts

Yuriy Brun, Michael D. Ernst, David Notkin, 2011, ESEC/FSE '11.

Using tool abstraction to compose systems

David Garlan, Gail E. Kaiser, David Notkin, 1992, Computer.

Multi-Version Program Analysis

Andreas Zeller, David Notkin, Stephan Diehl, 2006 .

Communication patterns of agile requirements engineering

Bashar Nuseibeh, David Notkin, Helen Sharp, 2011 .

7th international workshop on economics-driven software engineering research

Mary Shaw, Barry W. Boehm, Warren Harrison, 2001, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

An exploratory approach to software reuse

Amir Michail, David Notkin, 2000 .

Reconciling environment integration and component independence

David Notkin, Kevin Sullivan, 1990 .

Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints

David Notkin, Richard J. Anderson, Paul Beame, 1997, CAV.

Discovering and representing systematic code changes

Miryung Kim, David Notkin, D. Notkin, 2009, 2009 IEEE 31st International Conference on Software Engineering.

Using a clone genealogy extractor for understanding and supporting evolution of code clones

Miryung Kim, David Notkin, D. Notkin, 2005, ACM SIGSOFT Softw. Eng. Notes.

Guest Editorial: Introduction to the Special Section Best Papers of the 17th International Conference on Software Engineering (ICSE-17)

David Notkin, D. Ross Jeffery, D. R. Jeffery, 1996, IEEE Trans. Software Eng..

Proceedings of the 1st Workshop on Developing Tools as Plug-ins

David Notkin, Judith Bishop, Karin Koogan Breitman, 2011, ICSE 2011.

Reconciling environment integration and component independence

David Notkin, Kevin J. Sullivan, K. Sullivan, 1990, SDE 4.

Architectural Reasoning in ArchJava

David Notkin, Craig Chambers, Jonathan Aldrich, 2002, ECOOP.

Performance implications of design alternatives for remote procedure call stubs

David Notkin, Edward D. Lazowska, John Zahorjan, 1989, [1989] Proceedings. The 9th International Conference on Distributed Computing Systems.

Developing tools as plug‐ins: TOPI 2011 special issue editorial

David Notkin, Judith Bishop, 2013, Softw. Pract. Exp..

Exposing unforeseen consequences of software change

David Notkin, 2010, ISEC.

A flexible communication abstraction for nonshared memory parallel computing

William G. Griswold, David Notkin, Lawrence Snyder, 1990, Proceedings SUPERCOMPUTING '90.

Macro and Micro Perspectives on Strategic Software Quality Assurance in Resource Constrained Environments

Tao Xie, David Notkin, 2002 .

ACM TOSEM: FAQs and figures

David Notkin, 2007, ACM SIGSOFT Softw. Eng. Notes.

First workshop on economics-driven software engineering research

David Notkin, Kevin J. Sullivan, Alfonso Fuggetta, 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

Supporting library interface changes in open system software evolution

David Notkin, Kingsum Chow, 1996 .

The relationship between software development environments and the software process

David Notkin, 1988, SDE 3.

Parallel debugging using graphical views. Technical report

David Notkin, Mary L. Bailey, David Socha, 1988 .

Abstractions for Portable, Scalable Parallel Programming

William G. Griswold, David Notkin, Lawrence Snyder, 1998, IEEE Trans. Parallel Distributed Syst..

Strategic directions in software engineering and programming languages

David Notkin, John C. Mitchell, Carl A. Gunter, 1996, CSUR.

Speculative analysis: exploring future development states of software

Yuriy Brun, Michael D. Ernst, David Notkin, 2010, FoSER '10.

Checking Inside the Black Box: Regression Fault Exposure and Localization Based on Value Spectra Differences

Tao Xie, David Notkin, 2002 .

Mutually Enhancing Test Generation and Specification Inference

David Notkin, Tao Xie, D. Notkin, 2003, FATES.

Predicting Development Trajectories to Prevent Collaboration Conflicts

Yuriy Brun, Michael D. Ernst, David Notkin, 2012 .

Dynamically discovering likely program invariants to support program evolution

William G. Griswold, Michael D. Ernst, David Notkin, 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

Analyzing and inferring the structure of code change

Miryung Kim, David Notkin, D. Notkin, 2008 .

Role-oriented programming for software evolution

David Notkin, Michael VanHilst, 1997 .

Introduction to the special section from the ACM international symposium on software testing and analysis (ISSTA 2006)

David Notkin, Mauro Pezzè, 2008, TSEM.

Reengineering Reflexion Models: A Case Study

David Notkin, C Gail, D. Notkin, 1997 .

Dynamically discovering likely program invariants

Michael D. Ernst, David Notkin, D. Notkin, 2000 .

ACM TOSEM: FAQs and figures

David Notkin, 2008, ACM SIGSOFT Softw. Eng. Notes.

Dynamically detecting relevant program invariants

David Notkin, 2000, Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000.

An ethnographic study of copy and paste programming practices in OOPL

Miryung Kim, David Notkin, Tessa A. Lau, 2004, Proceedings. 2004 International Symposium on Empirical Software Engineering, 2004. ISESE '04..

Lightweight source model extraction

David Notkin, Gail C. Murphy, 1995, SIGSOFT '95.

Towards a Formal Treatment of Implicit Invocation

David Garlan, Somesh Jha, David Notkin, 1997 .

Voyeur: graphical views of parallel programs

David Notkin, Mary L. Bailey, David Socha, 1988, PADD '88.

A study of evolution in the presence of source-derived partial design representations

Miryung Kim, David Notkin, Vibha Sazawal, 2004, Proceedings. 7th International Workshop on Principles of Software Evolution, 2004..

Enhancement through extension: the extension interpreter

William G. Griswold, David Notkin, W. Griswold, 1987, SIGPLAN '87.

Identifying and Summarizing Systematic Code Changes via Rule Inference

Miryung Kim, David Notkin, Dan Grossman, 2013, IEEE Transactions on Software Engineering.

Panel: perspectives on software engineering

Michael D. Ernst, Michael M. Gorlick, David Notkin, 2001, ICSE.

Industrially validating longitudinal static and dynamic analyses

David Notkin, Mark S. Hancock, Reid Holmes, 2012, 2012 First International Workshop on User Evaluation for Software Engineering Researchers (USER).

Optimizing Symbolic Model Checking for Statecharts

David Notkin, Richard J. Anderson, Paul Beame, 2001, IEEE Trans. Software Eng..

Exploiting Synergy Between Testing and Inferred Partial Specifications

David Notkin, Tao Xie, 2003 .

Rostra: a framework for detecting redundant object-oriented unit tests

David Notkin, Darko Marinov, Tao Xie, 2004 .

Scalable Abstractions for Parallel Programming

William G. Griswold, David Notkin, Lawrence Snyder, 1990, Proceedings of the Fifth Distributed Memory Computing Conference, 1990..

05261 Summary - Multi-Version Program Analysis

Andreas Zeller, David Notkin, Stephan Diehl, 2005, Multi-Version Program Analysis.

Model checking large software specifications

David Notkin, Richard J. Anderson, Paul Beame, 1996, SIGSOFT '96.

Gandalf: Software development environments

David Notkin, A. Nico Habermann, D. Notkin, 1986, IEEE Transactions on Software Engineering.

Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning

Jürgen Dingel, David Garlan, Somesh Jha, 1998, Formal Aspects of Computing.

Dynamically discovering likely program invariants to support program evolution

William G. Griswold, Michael D. Ernst, David Notkin, 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

A heterogeneous distributed file system

David Notkin, Edward D. Lazowska, John Zahorjan, 1990, Proceedings.,10th International Conference on Distributed Computing Systems.

Programming Solutions to the Algorithm Contraction Problem

David Notkin, Lawrence Snyder, L. Snyder, 1986, ICPP.

Automated support for program refactoring using invariants

William G. Griswold, Michael D. Ernst, David Notkin, 2001, Proceedings IEEE International Conference on Software Maintenance. ICSM 2001.

An empirical study of static call graph extractors

David Notkin, Gail C. Murphy, Erica S.-C. Lan, 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

The GANDALF project

David Notkin, 1985, J. Syst. Softw..

Architecture-centric programming for adaptive systems

David Notkin, Vibha Sazawal, Craig Chambers, 2002, WOSS '02.

Checking inside the black box: regression testing based on value spectra differences

David Notkin, Tao Xie, 2004, 20th IEEE International Conference on Software Maintenance, 2004. Proceedings..

Applying software process models to the full lifecycle is premature

David Notkin, 1988, ISPW '88.

A framework for preprocessor-aware C source code analyses

David Notkin, Greg J. Badros, D. Notkin, 2000, Softw. Pract. Exp..

Identifying program, test, and environmental changes that affect behaviour

David Notkin, Reid Holmes, 2011, 2011 33rd International Conference on Software Engineering (ICSE).

Reconciling environment integration and software evolution

David Notkin, Kevin J. Sullivan, K. Sullivan, 1992, TSEM.

Enhancing static source code search with dynamic data

David Notkin, Reid Holmes, 2010, SUITE '10.

An Empirical Analysis of C Preprocessor Use

Michael D. Ernst, David Notkin, Greg J. Badros, 2002, IEEE Trans. Software Eng..

Experiences with poker

William G. Griswold, David Notkin, Lawrence Snyder, 1988, PPEALS '88.

SIGPLAN and SIGSOFT Joint Efforts

David Notkin, Mary Lou Soffa, D. Notkin, 1998, ACM SIGPLAN Notices.

05261 Abstracts Collection - Multi-Version Program Analysis

Andreas Zeller, David Notkin, Stephan Diehl, 2005, Multi-Version Program Analysis.

Scalable Abstractions for Para rogramming

William G. Griswold, David Notkin, Lawrence Snyder, 1990 .

Identifying opaque behavioural changes

David Notkin, Reid Holmes, 2011, 2011 33rd International Conference on Software Engineering (ICSE).

A framework for preprocessor-aware C source code analyses

David Notkin, Greg J. Badros, 2000 .

Reengineering with Reflection Models: A Case Study

David Notkin, Gail C. Murphy, 1997, Computer.

Early Detection of Collaboration Conflicts and Risks

Yuriy Brun, Michael D. Ernst, David Notkin, 2013, IEEE Transactions on Software Engineering.

Evaluating The Mediator Method: Prism as a Case Study

David Notkin, Ira J. Kalet, Kevin J. Sullivan, 1996, IEEE Trans. Software Eng..

Decoupling synchronization from local control for efficient symbolic model checking of statecharts

David Notkin, Richard J. Anderson, Paul Beame, 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

Program element matching for multi-version program analyses

Miryung Kim, David Notkin, D. Notkin, 2006, MSR '06.

Semi-automatic update of applications in response to library changes

David Notkin, Kingsum Chow, D. Notkin, 1996, 1996 Proceedings of International Conference on Software Maintenance.

Dessert Island

David Notkin, 2006, Automated Software Engineering.

Empirically revisiting the test independence assumption

Michael D. Ernst, David Notkin, Wing Lam, 2014, ISSTA 2014.

Crystal: precise and unobtrusive conflict warnings

Yuriy Brun, Michael D. Ernst, David Notkin, 2011, ESEC/FSE '11.

Tool-assisted unit test selection based on operational violations

David Notkin, Tao Xie, D. Notkin, 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..