| 2008 |
|---|
| 117 | EE | David Notkin:
ACM TOSEM FAQs and figures.
ACM SIGSOFT Software Engineering Notes 33(2): 5-6 (2008) |
| 116 | EE | David Notkin:
ACM TOSEM: FAQs and figures.
ACM SIGSOFT Software Engineering Notes 33(4): 6 (2008) |
| 115 | EE | David Notkin:
Editorial.
ACM Trans. Softw. Eng. Methodol. 17(2): (2008) |
| 114 | EE | 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. 17(2): (2008) |
| 113 | EE | David Notkin:
Editorial.
ACM Trans. Softw. Eng. Methodol. 17(3): (2008) |
| 2007 |
|---|
| 112 | EE | Miryung Kim,
David Notkin,
Dan Grossman:
Automatic Inference of Structural Changes for Matching across Program Versions.
ICSE 2007: 333-343 |
| 111 | EE | David Notkin:
FAQs and figures.
ACM SIGSOFT Software Engineering Notes 32(1): 3 (2007) |
| 110 | EE | David Notkin:
FAQs and figures.
ACM SIGSOFT Software Engineering Notes 32(2): 6-7 (2007) |
| 109 | EE | David Notkin:
ACM TOSEM: FAQs and figures.
ACM SIGSOFT Software Engineering Notes 32(3): 6 (2007) |
| 108 | EE | David Notkin:
ACM TOSEM: FAQs and figures.
ACM SIGSOFT Software Engineering Notes 32(4): 8 (2007) |
| 107 | EE | David Notkin:
ACM TOSEM: FAQs and figures.
ACM SIGSOFT Software Engineering Notes 32(5): 5-6 (2007) |
| 106 | EE | David Notkin:
Editorial.
ACM Trans. Softw. Eng. Methodol. 16(1): (2007) |
| 105 | EE | David Notkin:
Editorial.
ACM Trans. Softw. Eng. Methodol. 16(2): (2007) |
| 104 | EE | David Notkin:
Editorial.
ACM Trans. Softw. Eng. Methodol. 17(1): (2007) |
| 103 | EE | David Notkin:
Dessert Island.
Autom. Softw. Eng. 14(1): 123-125 (2007) |
| 2006 |
|---|
| 102 | | Thomas Ball,
Stephan Diehl,
David Notkin,
Andreas Zeller:
Multi-Version Program Analysis, 26. June - 1. July 2005
Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 |
| 101 | EE | David Notkin:
Unconventional Views on Conventional Wisdom about Software Engineering Research.
ICSM 2006: 201 |
| 100 | EE | Tao Xie,
Jianjun Zhao,
Darko Marinov,
David Notkin:
Detecting Redundant Unit Tests for AspectJ Programs.
ISSRE 2006: 179-190 |
| 99 | EE | Miryung Kim,
David Notkin:
Program element matching for multi-version program analyses.
MSR 2006: 58-64 |
| 98 | EE | Tao Xie,
David Notkin:
Tool-assisted unit-test generation and selection based on operational abstractions.
Autom. Softw. Eng. 13(3): 345-371 (2006) |
| 2005 |
|---|
| 97 | EE | Miryung Kim,
Vibha Sazawal,
David Notkin,
Gail C. Murphy:
An empirical study of code clone genealogies.
ESEC/SIGSOFT FSE 2005: 187-196 |
| 96 | EE | Tao Xie,
David Notkin:
Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs.
ISSRE 2005: 277-287 |
| 95 | EE | Miryung Kim,
David Notkin:
Using a clone genealogy extractor for understanding and supporting evolution of code clones.
MSR 2005 |
| 94 | EE | Thomas Ball,
Stephan Diehl,
David Notkin,
Andreas Zeller:
05261 Abstracts Collection - Multi-Version Program Analysis.
Multi-Version Program Analysis 2005 |
| 93 | EE | Thomas Ball,
Stephan Diehl,
David Notkin,
Andreas Zeller:
05261 Summary - Multi-Version Program Analysis.
Multi-Version Program Analysis 2005 |
| 92 | EE | Tao Xie,
Darko Marinov,
Wolfram Schulte,
David Notkin:
Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution.
TACAS 2005: 365-381 |
| 91 | EE | Miryung Kim,
David Notkin:
Using a clone genealogy extractor for understanding and supporting evolution of code clones.
ACM SIGSOFT Software Engineering Notes 30(4): 1-5 (2005) |
| 90 | EE | Tao Xie,
David Notkin:
Checking Inside the Black Box: Regression Testing by Comparing Value Spectra.
IEEE Trans. Software Eng. 31(10): 869-883 (2005) |
| 2004 |
|---|
| 89 | EE | Tao Xie,
Darko Marinov,
David Notkin:
Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests.
ASE 2004: 196-205 |
| 88 | EE | Tao Xie,
David Notkin:
Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions.
ICFEM 2004: 290-305 |
| 87 | EE | Tao Xie,
David Notkin:
Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences.
ICSM 2004: 28-37 |
| 86 | EE | Miryung Kim,
Lawrence D. Bergman,
Tessa A. Lau,
David Notkin:
An Ethnographic Study of Copy and Paste Programming Practices in OOPL.
ISESE 2004: 83-92 |
| 85 | EE | Vibha Sazawal,
Miryung Kim,
David Notkin:
A Study of Evolution in the Presence of Source-Derived Partial Design Representations.
IWPSE 2004: 21-30 |
| 84 | EE | Vibha Sazawal,
David Notkin:
Design snippets: partial design representations extracted from source code.
OOPSLA Companion 2004: 13-14 |
| 2003 |
|---|
| 83 | EE | Tao Xie,
David Notkin:
Tool-Assisted Unit Test Selection Based on Operational Violations.
ASE 2003: 40-48 |
| 82 | EE | Jonathan Aldrich,
Vibha Sazawal,
Craig Chambers,
David Notkin:
Language Support for Connector Abstractions.
ECOOP 2003: 74-102 |
| 81 | EE | Tao Xie,
David Notkin:
Mutually Enhancing Test Generation and Specification Inference.
FATES 2003: 60-69 |
| 80 | EE | Robert J. Walker,
Lionel C. Briand,
David Notkin,
Carolyn B. Seaman,
Walter F. Tichy:
Panel: Empirical Validation-What, Why, When, and How.
ICSE 2003: 721-722 |
| 2002 |
|---|
| 79 | EE | Jonathan Aldrich,
Craig Chambers,
David Notkin:
Architectural Reasoning in ArchJava.
ECOOP 2002: 334-367 |
| 78 | EE | Jonathan Aldrich,
Craig Chambers,
David Notkin:
ArchJava: connecting software architecture to implementation.
ICSE 2002: 187-197 |
| 77 | EE | David Notkin:
Longitudinal program analysis.
PASTE 2002: 1 |
| 76 | EE | Jonathan Aldrich,
Vibha Sazawal,
Craig Chambers,
David Notkin:
Architecture-centric programming for adaptive systems.
WOSS 2002: 93-95 |
| 75 | EE | Michael D. Ernst,
Greg J. Badros,
David Notkin:
An Empirical Analysis of C Preprocessor Use.
IEEE Trans. Software Eng. 28(12): 1146-1170 (2002) |
| 2001 |
|---|
| 74 | | David Notkin,
Marc Donner,
Michael D. Ernst,
Michael M. Gorlick,
E. James Whitehead Jr.:
Panel: Perspectives on Software Engineering.
ICSE 2001: 699-702 |
| 73 | | Kevin J. Sullivan,
Mary M. Shaw,
Barry W. Boehm,
David Notkin,
Warren Harrison:
Third International Workshop on Economics-Driven Software Engineering Research.
ICSE 2001: 770-770 |
| 72 | EE | Yoshio Kataoka,
Michael D. Ernst,
William G. Griswold,
David Notkin:
Automated Support for Program Refactoring Using Invariants.
ICSM 2001: 736-743 |
| 71 | EE | 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. 27(2): 170-190 (2001) |
| 70 | EE | Michael D. Ernst,
Jake Cockrell,
William G. Griswold,
David Notkin:
Dynamically Discovering Likely Program Invariants to Support Program Evolution.
IEEE Trans. Software Eng. 27(2): 99-123 (2001) |
| 69 | EE | Gail C. Murphy,
David Notkin,
Kevin J. Sullivan:
Software Reflexion Models: Bridging the Gap between Design and Implementation.
IEEE Trans. Software Eng. 27(4): 364-380 (2001) |
| 2000 |
|---|
| 68 | EE | David Notkin:
Dynamically Detecting Relevant Program Invariants.
ICECCS 2000: 162- |
| 67 | EE | Michael D. Ernst,
Adam Czeisler,
William G. Griswold,
David Notkin:
Quickly detecting relevant program invariants.
ICSE 2000: 449-458 |
| 66 | | Greg J. Badros,
David Notkin:
A framework for preprocessor-aware C source code analyses.
Softw., Pract. Exper. 30(8): 907-924 (2000) |
| 1999 |
|---|
| 65 | EE | 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: 460-469 |
| 64 | EE | 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: 142-151 |
| 63 | EE | Michael D. Ernst,
Jake Cockrell,
William G. Griswold,
David Notkin:
Dynamically Discovering Likely Program Invariants to Support Program Evolution.
ICSE 1999: 213-224 |
| 62 | EE | Amir Michail,
David Notkin:
Assessing Software Libraries by Browsing Similar Classes, Functions and Relationships.
ICSE 1999: 463-472 |
| 61 | EE | David Notkin,
Gregory J. Kirsch,
Yannis Skulikaris:
Panel: Intellectual Property Issues in Software.
ICSE 1999: 594-595 |
| 60 | EE | Kevin J. Sullivan,
David Notkin,
Alfonso Fuggetta,
John M. Favaro:
First Workshop on Economics-Driven Software Engineering Research.
ICSE 1999: 699-700 |
| 1998 |
|---|
| 59 | EE | Amir Michail,
David Notkin:
Illustrating Object-Oriented Library Reuse by Example: A Tool-based Approach.
ASE 1998: 200-203 |
| 58 | EE | William Chan,
Richard J. Anderson,
Paul Beame,
David Notkin:
Improving Efficiency of Symbolic Model Checking for State-Based System Requirements.
ISSTA 1998: 102-112 |
| 57 | EE | David Garlan,
Somesh Jha,
David Notkin:
Reasoning about Implicit Invocation.
SIGSOFT FSE 1998: 209-221 |
| 56 | EE | 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. 7(2): 158-191 (1998) |
| 55 | EE | Jürgen Dingel,
David Garlan,
Somesh Jha,
David Notkin:
Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning.
Formal Asp. Comput. 10(3): 193-213 (1998) |
| 54 | | David Notkin:
The Lifeblood of Our Field.
IEEE Computer 31(10): 123 (1998) |
| 53 | EE | Gail A. Alverson,
William G. Griswold,
Calvin Lin,
David Notkin,
Lawrence Snyder:
Abstractions for Portable, Scalable Parallel Programming.
IEEE Trans. Parallel Distrib. Syst. 9(1): 71-86 (1998) |
| 52 | EE | 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. 24(7): 498-520 (1998) |
| 51 | | Mary Lou Soffa,
David Notkin:
SIGPLAN and SIGSOFT Joint Efforts.
SIGPLAN Notices 33(12): 1 (1998) |
| 1997 |
|---|
| 50 | | 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: 316-327 |
| 49 | | Gail C. Murphy,
David Notkin:
Reengineering with Reflection Models: A Case Study.
IEEE Computer 30(8): 29-36 (1997) |
| 1996 |
|---|
| 48 | EE | Gail C. Murphy,
David Notkin,
Erica S.-C. Lan:
An Empirical Study of Static Call Graph Extractors.
ICSE 1996: 90-99 |
| 47 | EE | Kingsum Chow,
David Notkin:
Semi-automatic update of applications in response to library changes.
ICSM 1996: 359- |
| 46 | | Michael VanHilst,
David Notkin:
Using C++ Templates to Implement Role-Based Designs.
ISOTAS 1996: 22-37 |
| 45 | | Michael VanHilst,
David Notkin:
Using Role Components to Implement Collaboration-Based Designs.
OOPSLA 1996: 359-369 |
| 44 | EE | Richard J. Anderson,
Paul Beame,
Steve Burns,
William Chan,
Francesmary Modugno,
David Notkin,
Jon Damon Reese:
Model Checking Large Software Specifications.
SIGSOFT FSE 1996: 156-166 |
| 43 | EE | Michael VanHilst,
David Notkin:
Decoupling Change from Design.
SIGSOFT FSE 1996: 58-69 |
| 42 | | Carl A. Gunter,
John C. Mitchell,
David Notkin:
Strategic Directions in Software Engineering and Programming Languages.
ACM Comput. Surv. 28(4): 727-737 (1996) |
| 41 | EE | Gail C. Murphy,
David Notkin:
Lightweight Lexical Source Model Extraction.
ACM Trans. Softw. Eng. Methodol. 5(3): 262-292 (1996) |
| 40 | EE | David Notkin,
D. Ross Jeffery:
Guest Editorial: Introduction to the Special Section Best Papers of the 17th International Conference on Software Engineering (ICSE-17).
IEEE Trans. Software Eng. 22(6): 361-362 (1996) |
| 39 | EE | Kevin J. Sullivan,
Ira Kalet,
David Notkin:
Evaluating The Mediator Method: Prism as a Case Study.
IEEE Trans. Software Eng. 22(8): 563-579 (1996) |
| 38 | EE | Gail C. Murphy,
David Notkin:
On the use of static typing to support operations on frameworks.
Object Oriented Systems 3: 197-213 (1996) |
| 1995 |
|---|
| 37 | EE | Gail C. Murphy,
David Notkin:
Lightweight Source Model Extraction.
SIGSOFT FSE 1995: 116-127 |
| 36 | EE | Gail C. Murphy,
David Notkin,
Kevin J. Sullivan:
Software Reflexion Models: Bridging the Gap Between Source and High-Level Models.
SIGSOFT FSE 1995: 18-28 |
| 35 | EE | William G. Griswold,
David Notkin:
Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool.
IEEE Trans. Software Eng. 21(4): 275-287 (1995) |
| 34 | EE | William G. Griswold,
David Notkin:
Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool.
IEEE Trans. Software Eng. 21(6): 576 (1995) |
| 1994 |
|---|
| 33 | EE | David Garlan,
J. Frits Habermann,
David Notkin:
Nico Habermann's Research: A Brief Retrospective.
ICSE 1994: 149-153 |
| 1993 |
|---|
| 32 | | Gail C. Murphy,
David Notkin:
Difficulties with Object-Oriented Frameworks.
ICSE Workshop on Studies of Software Design 1993: 77-87 |
| 31 | | David Notkin,
David Garlan,
William G. Griswold,
Kevin J. Sullivan:
Adding Implicit Invocation to Languages: Three Approaches.
ISOTAS 1993: 489-510 |
| 30 | EE | William G. Griswold,
David Notkin:
Automated Assistance for Program Restructuring.
ACM Trans. Softw. Eng. Methodol. 2(3): 228-269 (1993) |
| 29 | | David Notkin,
Richard D. Schlichting:
Computer Science in Japanese Universities.
IEEE Computer 26(5): 62-70 (1993) |
| 28 | EE | Franz G. Amador,
Deborah Berman,
Alan Borning,
Tony DeRose,
Adam Finkelstein,
Dorothy Neville,
David Notkin,
David Salesin,
Michael Salisbury,
Joe Sherman,
Ying Sun,
Daniel S. Weld,
Georges Winkenbach:
Electronic "How Things Work" Articles: Two Early Prototypes.
IEEE Trans. Knowl. Data Eng. 5(4): 611-618 (1993) |
| 27 | EE | Gail A. Alverson,
David Notkin:
Program Structuring for Effective Parallel Portability.
IEEE Trans. Parallel Distrib. Syst. 4(9): 1041-1059 (1993) |
| 1992 |
|---|
| 26 | EE | Kevin J. Sullivan,
David Notkin:
Reconciling Environment Integration and Software Evolution.
ACM Trans. Softw. Eng. Methodol. 1(3): 229-268 (1992) |
| 25 | | David Garlan,
Gail E. Kaiser,
David Notkin:
Using Tool Abstraction to Compose Systems.
IEEE Computer 25(6): 30-38 (1992) |
| 24 | | Bruce Oberg,
David Notkin:
Error Reporting with Graduated Color.
IEEE Software 9(6): 33-38 (1992) |
| 1991 |
|---|
| 23 | | David Garlan,
David Notkin:
Formalizing Design Spaces: Implicit Invocation Mechanisms.
VDM Europe (1) 1991: 31-44 |
| 1990 |
|---|
| 22 | | C. Brian Pinkerton,
Edward D. Lazowska,
David Notkin,
John Zahorjan:
A Heterogeneous Distributed File System.
ICDCS 1990: 424-431 |
| 21 | | William G. Griswold,
Gail A. Harrison,
David Notkin,
Lawrence Snyder:
How Port Ensembles Aid the Efficient Retargeting of Reduction Algorithms.
ICPP (2) 1990: 286-287 |
| 20 | EE | Gail A. Alverson,
William G. Griswold,
David Notkin,
Lawrence Snyder:
A flexible communication abstraction for nonshared memory parallel computing.
SC 1990: 584-593 |
| 19 | | David Notkin:
Proxies: A Software Structure for Accommodating Heterogeneity.
Softw., Pract. Exper. 20(4): 357-364 (1990) |
| 1989 |
|---|
| 18 | | S. K. Chung,
Edward D. Lazowska,
David Notkin,
John Zahorjan:
Performance Implications of Design Alternatives for Remote Procedure Call Stubs.
ICDCS 1989: 36-43 |
| 17 | | Mark S. Squillante,
David Notkin:
Integrating Heterogeneous Local Mail Systems.
IEEE Software 6(6): 59-67 (1989) |
| 1988 |
|---|
| 16 | | Mary L. Bailey,
David Socha,
David Notkin:
Debugging Parallel Programs using Graphical Views.
ICPP (2) 1988: 46-49 |
| 15 | | David Notkin,
William G. Griswold:
Extension and Software Development.
ICSE 1988: 274-285 |
| 14 | | David Notkin:
Applying software process models to the full lifecycle is premature.
ISPW 1988: 116-117 |
| 13 | | David Notkin,
Lawrence Snyder,
David Socha,
Mary L. Bailey,
Bruce Forstall,
Kevin Gates,
Raymond Greenlaw,
William G. Griswold,
Thomas J. Holman,
Richard Korry,
Gemini Lasswell,
Robert Mitchell,
Philip A. Nelson:
Experiences with Poker.
PPOPP/PPEALS 1988: 10-20 |
| 12 | | David Notkin:
The Relationship Between Software Development Environments and the Software Process (Panel Session Introduction).
Software Development Environments (SDE) 1988: 107-109 |
| 11 | | David Socha,
Mary L. Bailey,
David Notkin:
Voyeur: Graphical Views of Parallel Programs.
Workshop on Parallel and Distributed Debugging 1988: 206-216 |
| 10 | | David Notkin,
Andrew P. Black,
Edward D. Lazowska,
Henry M. Levy,
Jan Sanislo,
John Zahorjan:
Interconnecting Heterogeneous Computer Systems.
Commun. ACM 31(3): 258-273 (1988) |
| 9 | EE | Vincenzo Ambriola,
David Notkin:
Reasoning About Interactive Systems.
IEEE Trans. Software Eng. 14(2): 272-276 (1988) |
| 1987 |
|---|
| 8 | | John Zahorjan,
Edward D. Lazowska,
Henry M. Levy,
David Notkin,
Jan Sanislo:
Accommodating Heterogeneity.
Experiences with Distributed Systems 1987: 89-103 |
| 7 | EE | David Notkin,
William G. Griswold:
Enhancement through extension: the extension interpreter.
PLDI 1987: 45-55 |
| 6 | | Michael F. Schwartz,
John Zahorjan,
David Notkin:
A Name Service for Evolving, Heterogeneous Systems.
SOSP 1987: 52-62 |
| 5 | | David Notkin,
Norman C. Hutchinson,
Jan Sanislo,
Michael F. Schwartz:
Heterogeneous Computing Environments: Report on the ACM SIGOPS Workshop on Accommodating Heterogeneity.
Commun. ACM 30(2): 132-140 (1987) |
| 1986 |
|---|
| 4 | | David Notkin,
Lawrence Snyder:
Programming Solutions to the Algorithm Contraction Problem.
ICPP 1986: 258-261 |
| 3 | | A. Nico Habermann,
David Notkin:
Gandalf: Software Development Environments.
IEEE Trans. Software Eng. 12(12): 1117-1127 (1986) |
| 2 | | David Notkin,
Norman C. Hutchinson,
Jan Sanislo,
Michael F. Schwartz:
Report on the ACM SIGOPS Workshop on Accommodating Heterogeneity.
Operating Systems Review 20(2): 9-24 (1986) |
| 1985 |
|---|
| 1 | EE | David Notkin:
The GANDALF project.
Journal of Systems and Software 5(2): 91-105 (1985) |
