David Notkin
David Notkin
Professor of Computer Science & Engineering, University of Washington
Verified email at cs.washington.edu - Homepage
Cited by
Cited by
Introduction to factor analysis: What it is and how to do it
JO Kim, O Ahtola, PE Spector, CW Mueller
Sage, 1978
Dynamically discovering likely program invariants to support program evolution
MD Ernst, J Cockrell, WG Griswold, D Notkin
IEEE transactions on software engineering 27 (2), 99-123, 2001
Software reflexion models: Bridging the gap between source and high-level models
GC Murphy, D Notkin, K Sullivan
Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software …, 1995
ArchJava: Connecting software architecture to implementation
J Aldrich, C Chambers, D Notkin
Proceedings of the 24th International Conference on Software Engineering …, 2002
An empirical study of code clone genealogies
M Kim, V Sazawal, D Notkin, G Murphy
Proceedings of the 10th European software engineering conference held …, 2005
Gandalf: Software development environments
AN Habermann, D Notkin
IEEE transactions on software engineering, 1117-1127, 1986
Model checking large software specifications
W Chan, RJ Anderson, P Beame, S Burns, F Modugno, D Notkin, ...
IEEE Transactions on software Engineering 24 (7), 498-520, 1998
An ethnographic study of copy and paste programming practices in OOPL
M Kim, L Bergman, T Lau, D Notkin
Proceedings. 2004 International Symposium on Empirical Software Engineering …, 2004
Symstra: A framework for generating object-oriented unit tests using symbolic execution
T Xie, D Marinov, W Schulte, D Notkin
International Conference on Tools and Algorithms for the Construction and …, 2005
Using role components in implement collaboration-based designs
M VanHilst, D Notkin
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented …, 1996
An empirical analysis of C preprocessor use
MD Ernst, GJ Badros, D Notkin
IEEE Transactions on Software Engineering 28 (12), 1146-1170, 2002
Reconciling environment integration and software evolution
KJ Sullivan, D Notkin
ACM Transactions on Software Engineering and Methodology (TOSEM) 1 (3), 229-268, 1992
An empirical study of static call graph extractors
GC Murphy, D Notkin, WG Griswold, ES Lan
ACM Transactions on Software Engineering and Methodology (TOSEM) 7 (2), 158-191, 1998
Automated support for program refactoring using invariants
Y Kataoka, MD Ernst, WG Griswold, D Notkin
Proceedings IEEE International Conference on Software Maintenance. ICSM 2001 …, 2001
Dynamically discovering likely program invariants
MD Ernst
University of Washington, 2000
Automated assistance for program restructuring
WG Griswold, D Notkin
ACM Transactions on Software Engineering and Methodology (TOSEM) 2 (3), 228-269, 1993
Proactive detection of collaboration conflicts
Y Brun, R Holmes, MD Ernst, D Notkin
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011
Discovering and representing systematic code changes
M Kim, D Notkin
2009 IEEE 31st International Conference on Software Engineering, 309-319, 2009
Lightweight lexical source model extraction
GC Murphy, D Notkin
ACM Transactions on Software Engineering and Methodology (TOSEM) 5 (3), 262-292, 1996
Formalizing design spaces: Implicit invocation mechanisms
D Garlan, D Notkin
International Symposium of VDM Europe, 31-44, 1991
The system can't perform the operation now. Try again later.
Articles 1–20