default search action
David Notkin
Person information
- affiliation: University of Washington, Seattle, Washington, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2015
- [j72]Kivanç Muslu, Yuriy Brun, Michael D. Ernst, David Notkin:
Reducing Feedback Delay of Software Development Tools via Continuous Analysis. IEEE Trans. Software Eng. 41(8): 745-763 (2015) - 2014
- [c81]Sai Zhang, Darioush Jalali, Jochen Wuttke, Kivanç Muslu, Wing Lam, Michael D. Ernst, David Notkin:
Empirically revisiting the test independence assumption. ISSTA 2014: 385-396 - 2013
- [j71]Judith Bishop, David Notkin:
Developing tools as plug-ins: TOPI 2011 special issue editorial. Softw. Pract. Exp. 43(4): 389-390 (2013) - [j70]David Notkin:
Editorial - looking back. ACM Trans. Softw. Eng. Methodol. 22(1): 1:1-1:2 (2013) - [j69]Miryung Kim, David Notkin, Dan Grossman, Gary Wilson Jr.:
Identifying and Summarizing Systematic Code Changes via Rule Inference. IEEE Trans. Software Eng. 39(1): 45-62 (2013) - [j68]Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin:
Early Detection of Collaboration Conflicts and Risks. IEEE Trans. Software Eng. 39(10): 1358-1375 (2013) - [c80]Kivanç Muslu, Yuriy Brun, Michael D. Ernst, David Notkin:
Making offline analyses continuous. ESEC/SIGSOFT FSE 2013: 323-333 - [e5]David Notkin, Betty H. C. Cheng, Klaus Pohl:
35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. IEEE Computer Society 2013, ISBN 978-1-4673-3076-3 [contents] - 2012
- [j67]David Notkin:
TOSEM news. ACM SIGSOFT Softw. Eng. Notes 37(4): 7-8 (2012) - [j66]David Notkin:
Editorial. ACM Trans. Softw. Eng. Methodol. 21(2): 7:1-7:2 (2012) - [c79]Reid Holmes, David Notkin, Mark S. Hancock:
Industrially validating longitudinal static and dynamic analyses. USER@ICSE 2012: 43-44 - [c78]Kivanç Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin:
Improving IDE recommendations by considering global implications of existing recommendations. ICSE 2012: 1349-1352 - [c77]Kivanç Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin:
Speculative analysis of integrated development environment recommendations. OOPSLA 2012: 669-682 - 2011
- [c76]Reid Holmes, David Notkin:
Identifying program, test, and environmental changes that affect behaviour. ICSE 2011: 371-380 - [c75]Reid Holmes, David Notkin:
Identifying opaque behavioural changes. ICSE 2011: 995-997 - [c74]Judith Bishop, David Notkin, Karin K. Breitman:
First workshop on developing tools as plug-ins: (TOPI 2011). ICSE 2011: 1230-1231 - [c73]Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin:
Proactive detection of collaboration conflicts. SIGSOFT FSE 2011: 168-178 - [c72]Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin:
Crystal: precise and unobtrusive conflict warnings. SIGSOFT FSE 2011: 444-447 - [e4]Judith Bishop, Karin K. Breitman, David Notkin:
Proceedings of the 1st Workshop on Developing Tools as Plug-ins, TOPI 2011, Waikiki, Honolulu, HI, USA, May 28, 2011. ACM 2011, ISBN 978-1-4503-0599-0 [contents] - 2010
- [j65]David Notkin:
ACM TOSEM: FAQs and Figures. ACM SIGSOFT Softw. Eng. Notes 35(3): 5-6 (2010) - [j64]David Notkin:
Editorial. ACM Trans. Softw. Eng. Methodol. 19(3): 7:1-7:2 (2010) - [c71]Marius Nita, David Notkin:
Using twinning to adapt programs to alternative APIs. ICSE (1) 2010: 205-214 - [c70]Reid Holmes, David Notkin:
Enhancing static source code search with dynamic data. SUITE@ICSE 2010: 13-16 - [c69]David Notkin:
Exposing unforeseen consequences of software change. ISEC 2010: 1-2 - [c68]Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin:
Speculative analysis: exploring future development states of software. FoSER 2010: 59-64
2000 – 2009
- 2009
- [j63]David Notkin:
Software, Software Engineering and Software Engineering Research: Some Unconventional Thoughts. J. Comput. Sci. Technol. 24(2): 189-197 (2009) - [j62]David Notkin:
FAQs and figures. ACM SIGSOFT Softw. Eng. Notes 34(4): 6 (2009) - [j61]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 Softw. 26(1): 67-70 (2009) - [j60]David Notkin:
Editorial. ACM Trans. Softw. Eng. Methodol. 18(3): 8:1-8:2 (2009) - [c67]Marius Nita, David Notkin:
White-box approaches for improved testing and analysis of configurable software systems. ICSE Companion 2009: 307-310 - [c66]Miryung Kim, David Notkin:
Discovering and representing systematic code changes. ICSE 2009: 309-319 - 2008
- [j59]David Notkin:
ACM TOSEM FAQs and figures. ACM SIGSOFT Softw. Eng. Notes 33(2): 5-6 (2008) - [j58]David Notkin:
ACM TOSEM: FAQs and figures. ACM SIGSOFT Softw. Eng. Notes 33(4): 6 (2008) - [j57]David Notkin:
Editorial. ACM Trans. Softw. Eng. Methodol. 17(2): 5:1 (2008) - [j56]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): 6:1-6:2 (2008) - [j55]David Notkin:
Editorial. ACM Trans. Softw. Eng. Methodol. 17(3): 12:1-12:2 (2008) - 2007
- [j54]David Notkin:
Dessert Island. Autom. Softw. Eng. 14(1): 123-125 (2007) - [j53]David Notkin:
FAQs and figures. ACM SIGSOFT Softw. Eng. Notes 32(1): 3 (2007) - [j52]David Notkin:
FAQs and figures. ACM SIGSOFT Softw. Eng. Notes 32(2): 6-7 (2007) - [j51]David Notkin:
ACM TOSEM: FAQs and figures. ACM SIGSOFT Softw. Eng. Notes 32(3): 6 (2007) - [j50]David Notkin:
ACM TOSEM: FAQs and figures. ACM SIGSOFT Softw. Eng. Notes 32(4): 8 (2007) - [j49]David Notkin:
ACM TOSEM: FAQs and figures. ACM SIGSOFT Softw. Eng. Notes 32(5): 5-6 (2007) - [j48]David Notkin:
Editorial. ACM Trans. Softw. Eng. Methodol. 16(1): 1 (2007) - [j47]David Notkin:
Editorial. ACM Trans. Softw. Eng. Methodol. 16(2): 6 (2007) - [j46]David Notkin:
Editorial. ACM Trans. Softw. Eng. Methodol. 17(1): 1:1-1:2 (2007) - [c65]Miryung Kim, David Notkin, Dan Grossman:
Automatic Inference of Structural Changes for Matching across Program Versions. ICSE 2007: 333-343 - 2006
- [j45]Tao Xie, David Notkin:
Tool-assisted unit-test generation and selection based on operational abstractions. Autom. Softw. Eng. 13(3): 345-371 (2006) - [c64]David Notkin:
Unconventional Views on Conventional Wisdom about Software Engineering Research. ICSM 2006: 201 - [c63]Tao Xie, Jianjun Zhao, Darko Marinov, David Notkin:
Detecting Redundant Unit Tests for AspectJ Programs. ISSRE 2006: 179-190 - [c62]Miryung Kim, David Notkin:
Program element matching for multi-version program analyses. MSR 2006: 58-64 - [e3]Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller:
Multi-Version Program Analysis, 26. June - 1. July 2005. Dagstuhl Seminar Proceedings 05261, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 2005
- [j44]Miryung Kim, David Notkin:
Using a clone genealogy extractor for understanding and supporting evolution of code clones. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-5 (2005) - [j43]Tao Xie, David Notkin:
Checking Inside the Black Box: Regression Testing by Comparing Value Spectra. IEEE Trans. Software Eng. 31(10): 869-883 (2005) - [c61]Tao Xie, David Notkin:
Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs. ISSRE 2005: 277-287 - [c60]Miryung Kim, David Notkin:
Using a clone genealogy extractor for understanding and supporting evolution of code clones. MSR 2005 - [c59]Miryung Kim, Vibha Sazawal, David Notkin, Gail C. Murphy:
An empirical study of code clone genealogies. ESEC/SIGSOFT FSE 2005: 187-196 - [c58]Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin:
Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. TACAS 2005: 365-381 - [i2]Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller:
05261 Summary - Multi-Version Program Analysis. Multi-Version Program Analysis 2005 - [i1]Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller:
05261 Abstracts Collection - Multi-Version Program Analysis. Multi-Version Program Analysis 2005 - 2004
- [c57]Tao Xie, David Notkin:
Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions. ICFEM 2004: 290-305 - [c56]Tao Xie, David Notkin:
Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences. ICSM 2004: 28-37 - [c55]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 - [c54]Vibha Sazawal, Miryung Kim, David Notkin:
A Study of Evolution in the Presence of Source-Derived Partial Design Representations. IWPSE 2004: 21-30 - [c53]Tao Xie, Darko Marinov, David Notkin:
Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests. ASE 2004: 196-205 - [c52]Vibha Sazawal, David Notkin:
Design snippets: partial design representations extracted from source code. OOPSLA Companion 2004: 13-14 - 2003
- [c51]Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin:
Language Support for Connector Abstractions. ECOOP 2003: 74-102 - [c50]Tao Xie, David Notkin:
Mutually Enhancing Test Generation and Specification Inference. FATES 2003: 60-69 - [c49]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 - [c48]Tao Xie, David Notkin:
Tool-Assisted Unit Test Selection Based on Operational Violations. ASE 2003: 40-48 - 2002
- [j42]Michael D. Ernst, Greg J. Badros, David Notkin:
An Empirical Analysis of C Preprocessor Use. IEEE Trans. Software Eng. 28(12): 1146-1170 (2002) - [c47]Jonathan Aldrich, Craig Chambers, David Notkin:
Architectural Reasoning in ArchJava. ECOOP 2002: 334-367 - [c46]Jonathan Aldrich, Craig Chambers, David Notkin:
ArchJava: connecting software architecture to implementation. ICSE 2002: 187-197 - [c45]David Notkin:
Longitudinal program analysis. PASTE 2002: 1 - [c44]Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin:
Architecture-centric programming for adaptive systems. WOSS 2002: 93-95 - 2001
- [j41]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) - [j40]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) - [j39]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) - [c43]David Notkin, Marc Donner, Michael D. Ernst, Michael M. Gorlick, E. James Whitehead Jr.:
Panel: Perspectives on Software Engineering. ICSE 2001: 699-702 - [c42]Kevin J. Sullivan, Mary Shaw, Barry W. Boehm, David Notkin, Warren Harrison:
Third International Workshop on Economics-Driven Software Engineering Research. ICSE 2001: 770 - [c41]Yoshio Kataoka, Michael D. Ernst, William G. Griswold, David Notkin:
Automated Support for Program Refactoring Using Invariants. ICSM 2001: 736-743 - 2000
- [j38]Greg J. Badros, David Notkin:
A framework for preprocessor-aware C source code analyses. Softw. Pract. Exp. 30(8): 907-924 (2000) - [c40]David Notkin:
Dynamically Detecting Relevant Program Invariants. ICECCS 2000: 162- - [c39]Michael D. Ernst, Adam Czeisler, William G. Griswold, David Notkin:
Quickly detecting relevant program invariants. ICSE 2000: 449-458
1990 – 1999
- 1999
- [c38]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 - [c37]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 - [c36]Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin:
Dynamically Discovering Likely Program Invariants to Support Program Evolution. ICSE 1999: 213-224 - [c35]Amir Michail, David Notkin:
Assessing Software Libraries by Browsing Similar Classes, Functions and Relationships. ICSE 1999: 463-472 - [c34]David Notkin, Gregory J. Kirsch, Yannis Skulikaris:
Panel: Intellectual Property Issues in Software. ICSE 1999: 594-595 - [c33]Kevin J. Sullivan, David Notkin, Alfonso Fuggetta, John M. Favaro:
First Workshop on Economics-Driven Software Engineering Research. ICSE 1999: 699-700 - 1998
- [j37]David Notkin:
The Lifeblood of Our Field. Computer 31(10): 123 (1998) - [j36]Jürgen Dingel, David Garlan, Somesh Jha, David Notkin:
Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning. Formal Aspects Comput. 10(3): 193-213 (1998) - [j35]Mary Lou Soffa, David Notkin:
SIGPLAN and SIGSOFT Joint Efforts. ACM SIGPLAN Notices 33(12): 1 (1998) - [j34]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) - [j33]Gail A. Alverson, William G. Griswold, Calvin Lin, David Notkin, Lawrence Snyder:
Abstractions for Portable, Scalable Parallel Programming. IEEE Trans. Parallel Distributed Syst. 9(1): 71-86 (1998) - [j32]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) - [c32]William Chan, Richard J. Anderson, Paul Beame, David Notkin:
Improving Efficiency of Symbolic Model Checking for State-Based System Requirements. ISSTA 1998: 102-112 - [c31]Amir Michail, David Notkin:
Illustrating Object-Oriented Library Reuse by Example: A Tool-based Approach. ASE 1998: 200-203 - [c30]David Garlan, Somesh Jha, David Notkin:
Reasoning about Implicit Invocation. SIGSOFT FSE 1998: 209-221 - 1997
- [j31]Gail C. Murphy, David Notkin:
Reengineering with Reflection Models: A Case Study. Computer 30(8): 29-36 (1997) - [j30]David Notkin:
FSE 96 special session: novel notions, wild ideas, and fun flames. ACM SIGSOFT Softw. Eng. Notes 22(1): 23-24 (1997) - [c29]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 - 1996
- [j29]Carl A. Gunter, John C. Mitchell, David Notkin:
Strategic Directions in Software Engineering and Programming Languages. ACM Comput. Surv. 28(4): 727-737 (1996) - [j28]Gail C. Murphy, David Notkin:
On the use of static typing to support operations on frameworks. Object Oriented Syst. 3: 197-213 (1996) - [j27]David Notkin:
Letter from the executive committee. ACM SIGSOFT Softw. Eng. Notes 21(1): 1 (1996) - [j26]Gail C. Murphy, David Notkin:
Lightweight Lexical Source Model Extraction. ACM Trans. Softw. Eng. Methodol. 5(3): 262-292 (1996) - [j25]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) - [j24]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) - [c28]Gail C. Murphy, David Notkin, Erica S.-C. Lan:
An Empirical Study of Static Call Graph Extractors. ICSE 1996: 90-99 - [c27]Kingsum Chow, David Notkin:
Semi-automatic update of applications in response to library changes. ICSM 1996: 359- - [c26]Michael VanHilst, David Notkin:
Using C++ Templates to Implement Role-Based Designs. ISOTAS 1996: 22-37 - [c25]Michael VanHilst, David Notkin:
Using Role Components to Implement Collaboration-Based Designs. OOPSLA 1996: 359-369 - [c24]Michael VanHilst, David Notkin:
Decoupling Change from Design. SIGSOFT FSE 1996: 58-69 - [c23]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 - 1995
- [j23]William G. Griswold, David Notkin:
Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool. IEEE Trans. Software Eng. 21(4): 275-287 (1995) - [j22]William G. Griswold, David Notkin:
Correction to "Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool". IEEE Trans. Software Eng. 21(6): 576 (1995) - [c22]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 - [c21]Gail C. Murphy, David Notkin:
Lightweight Source Model Extraction. SIGSOFT FSE 1995: 116-127 - [e2]Dewayne E. Perry, Ross Jeffery, David Notkin:
17th International Conference on Software Engineering, Seattle, Washington, USA, April 23-30, 1995, Proceedings. ACM 1995, ISBN 0-89791-708-1 [contents] - 1994
- [c20]David Garlan, J. Frits Habermann, David Notkin:
Nico Habermann's Research: A Brief Retrospective. ICSE 1994: 149-153 - 1993
- [j21]David Notkin, Richard D. Schlichting:
Computer Science in Japanese Universities. Computer 26(5): 62-70 (1993) - [j20]David Notkin:
SIGSOFT '93: Foundations of Software Engineering. ACM SIGSOFT Softw. Eng. Notes 18(3): A:1-A:2 (1993) - [j19]David Notkin:
Nico Habermann remembered. ACM SIGSOFT Softw. Eng. Notes 18(4): 1 (1993) - [j18]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) - [j17]William G. Griswold, David Notkin:
Automated Assistance for Program Restructuring. ACM Trans. Softw. Eng. Methodol. 2(3): 228-269 (1993) - [j16]Gail A. Alverson, David Notkin:
Program Structuring for Effective Parallel Portability. IEEE Trans. Parallel Distributed Syst. 4(9): 1041-1059 (1993)