David Notkin
David Notkin
Professor of Computer Science & Engineering, University of Washington
Verified email at cs.washington.edu - Homepage
TitleCited byYear
Introduction to factor analysis: What it is and how to do it
JO Kim, O Ahtola, PE Spector, CW Mueller
Sage, 1978
29941978
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
1696*2001
Software reflexion models: Bridging the gap between source and high-level models
GC Murphy, D Notkin, K Sullivan
ACM SIGSOFT Software Engineering Notes 20 (4), 18-28, 1995
1018*1995
ArchJava: connecting software architecture to implementation
J Aldrich, C Chambers, D Notkin
Proceedings of the 24th International Conference on Software Engineering …, 2002
6882002
An empirical study of code clone genealogies
M Kim, V Sazawal, D Notkin, G Murphy
ACM SIGSOFT Software Engineering Notes 30 (5), 187-196, 2005
5982005
Gandalf: Software development environments
AN Habermann, D Notkin
IEEE transactions on software engineering, 1117-1127, 1986
4501986
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
3561998
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
3192005
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
3172004
Using role components in implement collaboration-based designs
M VanHilst, D Notkin
ACM SIGPLAN Notices 31 (10), 359-369, 1996
2981996
Reconciling environment integration and software evolution
KJ Sullivan, D Notkin
ACM Transactions on Software Engineering and Methodology (TOSEM) 1 (3), 229-268, 1992
274*1992
An empirical analysis of C preprocessor use
MD Ernst, GJ Badros, D Notkin
IEEE Transactions on Software Engineering 28 (12), 1146-1170, 2002
2622002
Dynamically discovering likely program invariants
MD Ernst, D Notkin
University of Washington, 2000
2422000
Automated assistance for program restructuring
WG Griswold, D Notkin
ACM Transactions on Software Engineering and Methodology (TOSEM) 2 (3), 228-269, 1993
2361993
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
2331998
Automated support for program refactoring using invariants
Y Kataoka, D Notkin, MD Ernst, WG Griswold
Proceedings of the IEEE International Conference on Software Maintenance …, 2001
2272001
Formalizing design spaces: Implicit invocation mechanisms
D Garlan, D Notkin
International Symposium of VDM Europe, 31-44, 1991
2001991
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
1962011
Lightweight lexical source model extraction
GC Murphy, D Notkin
ACM Transactions on Software Engineering and Methodology (TOSEM) 5 (3), 262-292, 1996
1951996
Architectural reasoning in ArchJava
J Aldrich, C Chambers, D Notkin
European Conference on Object-Oriented Programming, 334-367, 2002
1812002
The system can't perform the operation now. Try again later.
Articles 1–20