David Notkin
David Notkin
Professor of Computer Science & Engineering, University of Washington
Verified email at cs.washington.edu - Homepage
Title
Cited by
Cited by
Year
Introduction to factor analysis: What it is and how to do it
JO Kim, O Ahtola, PE Spector, CW Mueller
Sage, 1978
31901978
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
1778*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
1068*1995
ArchJava: connecting software architecture to implementation
J Aldrich, C Chambers, D Notkin
Proceedings of the 24th International Conference on Software Engineering …, 2002
7072002
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
6482005
Gandalf: Software development environments
AN Habermann, D Notkin
IEEE transactions on software engineering, 1117-1127, 1986
4601986
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
3681998
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
3432004
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
3352005
Using role components in implement collaboration-based designs
M VanHilst, D Notkin
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented …, 1996
2961996
Reconciling environment integration and software evolution
KJ Sullivan, D Notkin
ACM Transactions on Software Engineering and Methodology (TOSEM) 1 (3), 229-268, 1992
280*1992
An empirical analysis of C preprocessor use
MD Ernst, GJ Badros, D Notkin
IEEE Transactions on Software Engineering 28 (12), 1146-1170, 2002
2722002
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
2492001
Automated assistance for program restructuring
WG Griswold, D Notkin
ACM Transactions on Software Engineering and Methodology (TOSEM) 2 (3), 228-269, 1993
2461993
Dynamically discovering likely program invariants
MD Ernst, D Notkin
University of Washington, 2000
2452000
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
2421998
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
2082011
Formalizing design spaces: Implicit invocation mechanisms
D Garlan, D Notkin
International Symposium of VDM Europe, 31-44, 1991
2051991
Lightweight lexical source model extraction
GC Murphy, D Notkin
ACM Transactions on Software Engineering and Methodology (TOSEM) 5 (3), 262-292, 1996
2021996
Discovering and representing systematic code changes
M Kim, D Notkin
2009 IEEE 31st International Conference on Software Engineering, 309-319, 2009
1982009
The system can't perform the operation now. Try again later.
Articles 1–20