David Notkin

Publication Activity (10 Years)

Years Active: 1976-2015
Publications (10 Years): 0

Top Venues

IEEE Trans. Software Eng.

ACM Trans. Softw. Eng. Methodol.

ISSTA

ESEC/SIGSOFT FSE

Publications

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) (2015)
Sai Zhang, Darioush Jalali, Jochen Wuttke, Kivanç Muslu, Wing Lam, Michael D. Ernst, David Notkin
Empirically revisiting the test independence assumption. ISSTA (2014)
David Notkin
Editorial - looking back. ACM Trans. Softw. Eng. Methodol. 22 (1) (2013)
Kivanç Muslu, Yuriy Brun, Michael D. Ernst, David Notkin
Making offline analyses continuous. ESEC/SIGSOFT FSE (2013)
Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin
Early Detection of Collaboration Conflicts and Risks. IEEE Trans. Software Eng. 39 (10) (2013)
Miryung Kim, David Notkin, Dan Grossman, Gary Wilson Jr.
Identifying and Summarizing Systematic Code Changes via Rule Inference. IEEE Trans. Software Eng. 39 (1) (2013)
Judith Bishop, David Notkin
Developing tools as plug-ins: TOPI 2011 special issue editorial. Softw. Pract. Exp. 43 (4) (2013)
David Notkin
Editorial. ACM Trans. Softw. Eng. Methodol. 21 (2) (2012)
David Notkin
TOSEM news. ACM SIGSOFT Softw. Eng. Notes 37 (4) (2012)
Kivanç Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin
Speculative analysis of integrated development environment recommendations. OOPSLA (2012)
Reid Holmes, David Notkin, Mark S. Hancock
Industrially validating longitudinal static and dynamic analyses. USER@ICSE (2012)
Kivanç Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin
Improving IDE recommendations by considering global implications of existing recommendations. ICSE (2012)
Judith Bishop, David Notkin, Karin K. Breitman
First workshop on developing tools as plug-ins: (TOPI 2011). ICSE (2011)
Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin
Crystal: precise and unobtrusive conflict warnings. SIGSOFT FSE (2011)
Reid Holmes, David Notkin
Identifying opaque behavioural changes. ICSE (2011)
Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin
Proactive detection of collaboration conflicts. SIGSOFT FSE (2011)
Reid Holmes, David Notkin
Identifying program, test, and environmental changes that affect behaviour. ICSE (2011)
Marius Nita, David Notkin
Using twinning to adapt programs to alternative APIs. ICSE (1) (2010)
David Notkin
Editorial. ACM Trans. Softw. Eng. Methodol. 19 (3) (2010)
David Notkin
ACM TOSEM: FAQs and Figures. ACM SIGSOFT Softw. Eng. Notes 35 (3) (2010)
Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin
Speculative analysis: exploring future development states of software. FoSER (2010)
David Notkin
Exposing unforeseen consequences of software change. ISEC (2010)
Reid Holmes, David Notkin
Enhancing static source code search with dynamic data. SUITE@ICSE (2010)
David Notkin
FAQs and figures. ACM SIGSOFT Softw. Eng. Notes 34 (4) (2009)
David Notkin
Software, Software Engineering and Software Engineering Research: Some Unconventional Thoughts. J. Comput. Sci. Technol. 24 (2) (2009)
David Notkin
Editorial. ACM Trans. Softw. Eng. Methodol. 18 (3) (2009)
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) (2009)
Marius Nita, David Notkin
White-box approaches for improved testing and analysis of configurable software systems. ICSE Companion (2009)
Miryung Kim, David Notkin
Discovering and representing systematic code changes. ICSE (2009)
David Notkin
ACM TOSEM: FAQs and figures. ACM SIGSOFT Softw. Eng. Notes 33 (4) (2008)
David Notkin
Editorial. ACM Trans. Softw. Eng. Methodol. 17 (2) (2008)
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)
David Notkin
ACM TOSEM FAQs and figures. ACM SIGSOFT Softw. Eng. Notes 33 (2) (2008)
David Notkin
Editorial. ACM Trans. Softw. Eng. Methodol. 17 (3) (2008)
David Notkin
ACM TOSEM: FAQs and figures. ACM SIGSOFT Softw. Eng. Notes 32 (4) (2007)
David Notkin
Dessert Island. Autom. Softw. Eng. 14 (1) (2007)
David Notkin
Editorial. ACM Trans. Softw. Eng. Methodol. 17 (1) (2007)
David Notkin
Editorial. ACM Trans. Softw. Eng. Methodol. 16 (1) (2007)
David Notkin
ACM TOSEM: FAQs and figures. ACM SIGSOFT Softw. Eng. Notes 32 (5) (2007)
David Notkin
FAQs and figures. ACM SIGSOFT Softw. Eng. Notes 32 (1) (2007)
Miryung Kim, David Notkin, Dan Grossman
Automatic Inference of Structural Changes for Matching across Program Versions. ICSE (2007)
David Notkin
FAQs and figures. ACM SIGSOFT Softw. Eng. Notes 32 (2) (2007)
David Notkin
ACM TOSEM: FAQs and figures. ACM SIGSOFT Softw. Eng. Notes 32 (3) (2007)
David Notkin
Editorial. ACM Trans. Softw. Eng. Methodol. 16 (2) (2007)
David Notkin
Unconventional Views on Conventional Wisdom about Software Engineering Research. ICSM (2006)
Tao Xie, David Notkin
Tool-assisted unit-test generation and selection based on operational abstractions. Autom. Softw. Eng. 13 (3) (2006)
Miryung Kim, David Notkin
Program element matching for multi-version program analyses. MSR (2006)
Tao Xie, Jianjun Zhao, Darko Marinov, David Notkin
Detecting Redundant Unit Tests for AspectJ Programs. ISSRE (2006)
Miryung Kim, David Notkin
Using a clone genealogy extractor for understanding and supporting evolution of code clones. MSR (2005)
Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller
05261 Abstracts Collection - Multi-Version Program Analysis. Multi-Version Program Analysis (2005)
Tao Xie, David Notkin
Checking Inside the Black Box: Regression Testing by Comparing Value Spectra. IEEE Trans. Software Eng. 31 (10) (2005)
Miryung Kim, David Notkin
Using a clone genealogy extractor for understanding and supporting evolution of code clones. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller
05261 Summary - Multi-Version Program Analysis. Multi-Version Program Analysis (2005)
Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin
Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. TACAS (2005)
Miryung Kim, Vibha Sazawal, David Notkin, Gail C. Murphy
An empirical study of code clone genealogies. ESEC/SIGSOFT FSE (2005)
Tao Xie, David Notkin
Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs. ISSRE (2005)
Tao Xie, Darko Marinov, David Notkin
Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests. ASE (2004)
Vibha Sazawal, David Notkin
Design snippets: partial design representations extracted from source code. OOPSLA Companion (2004)
Tao Xie, David Notkin
Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences. ICSM (2004)
Miryung Kim, Lawrence D. Bergman, Tessa A. Lau, David Notkin
An Ethnographic Study of Copy and Paste Programming Practices in OOPL. ISESE (2004)
Tao Xie, David Notkin
Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions. ICFEM (2004)
Vibha Sazawal, Miryung Kim, David Notkin
A Study of Evolution in the Presence of Source-Derived Partial Design Representations. IWPSE (2004)
Robert J. Walker, Lionel C. Briand, David Notkin, Carolyn B. Seaman, Walter F. Tichy
Panel: Empirical Validation-What, Why, When, and How. ICSE (2003)
Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin
Language Support for Connector Abstractions. ECOOP (2003)
Tao Xie, David Notkin
Tool-Assisted Unit Test Selection Based on Operational Violations. ASE (2003)
Tao Xie, David Notkin
Mutually Enhancing Test Generation and Specification Inference. FATES (2003)
Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin
Architecture-centric programming for adaptive systems. WOSS (2002)
Jonathan Aldrich, Craig Chambers, David Notkin
ArchJava: connecting software architecture to implementation. ICSE (2002)
Michael D. Ernst, Greg J. Badros, David Notkin
An Empirical Analysis of C Preprocessor Use. IEEE Trans. Software Eng. 28 (12) (2002)
David Notkin
Longitudinal program analysis. PASTE (2002)
Jonathan Aldrich, Craig Chambers, David Notkin
Architectural Reasoning in ArchJava. ECOOP (2002)
Kevin J. Sullivan, Mary Shaw, Barry W. Boehm, David Notkin, Warren Harrison
Third International Workshop on Economics-Driven Software Engineering Research. ICSE (2001)
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) (2001)
Gail C. Murphy, David Notkin, Kevin J. Sullivan
Software Reflexion Models: Bridging the Gap between Design and Implementation. IEEE Trans. Software Eng. 27 (4) (2001)
Yoshio Kataoka, Michael D. Ernst, William G. Griswold, David Notkin
Automated Support for Program Refactoring Using Invariants. ICSM (2001)
David Notkin, Marc Donner, Michael D. Ernst, Michael M. Gorlick, E. James Whitehead Jr.
Panel: Perspectives on Software Engineering. ICSE (2001)
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) (2001)
Michael D. Ernst, Adam Czeisler, William G. Griswold, David Notkin
Quickly detecting relevant program invariants. ICSE (2000)
Greg J. Badros, David Notkin
A framework for preprocessor-aware C source code analyses. Softw. Pract. Exp. 30 (8) (2000)
David Notkin
Dynamically Detecting Relevant Program Invariants. ICECCS (2000)
Amir Michail, David Notkin
Assessing Software Libraries by Browsing Similar Classes, Functions and Relationships. ICSE (1999)
David Notkin, Gregory J. Kirsch, Yannis Skulikaris
Panel: Intellectual Property Issues in Software. ICSE (1999)
Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin
Dynamically Discovering Likely Program Invariants to Support Program Evolution. ICSE (1999)
Kevin J. Sullivan, David Notkin, Alfonso Fuggetta, John M. Favaro
First Workshop on Economics-Driven Software Engineering Research. ICSE (1999)
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)
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)
David Garlan, Somesh Jha, David Notkin
Reasoning about Implicit Invocation. SIGSOFT FSE (1998)
Amir Michail, David Notkin
Illustrating Object-Oriented Library Reuse by Example: A Tool-based Approach. ASE (1998)
William Chan, Richard J. Anderson, Paul Beame, David Notkin
Improving Efficiency of Symbolic Model Checking for State-Based System Requirements. ISSTA (1998)
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) (1998)
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) (1998)
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) (1998)
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) (1998)
David Notkin
The Lifeblood of Our Field. Computer 31 (10) (1998)
Mary Lou Soffa, David Notkin
SIGPLAN and SIGSOFT Joint Efforts. ACM SIGPLAN Notices 33 (12) (1998)
Gail C. Murphy, David Notkin
Reengineering with Reflection Models: A Case Study. Computer 30 (8) (1997)
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)
David Notkin
FSE 96 special session: novel notions, wild ideas, and fun flames. ACM SIGSOFT Softw. Eng. Notes 22 (1) (1997)
Carl A. Gunter, John C. Mitchell, David Notkin
Strategic Directions in Software Engineering and Programming Languages. ACM Comput. Surv. 28 (4) (1996)
Michael VanHilst, David Notkin
Using Role Components to Implement Collaboration-Based Designs. OOPSLA (1996)

David Notkin.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

David Notkin