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
40021978
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
1926*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
1156*1995
ArchJava: Connecting software architecture to implementation
J Aldrich, C Chambers, D Notkin
Proceedings of the 24th International Conference on Software Engineering …, 2002
7562002
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
7262005
Gandalf: Software development environments
AN Habermann, D Notkin
IEEE transactions on software engineering, 1117-1127, 1986
4791986
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
3891998
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
3742004
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
3592005
Using role components in implement collaboration-based designs
M VanHilst, D Notkin
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented …, 1996
3031996
An empirical analysis of C preprocessor use
MD Ernst, GJ Badros, D Notkin
IEEE Transactions on Software Engineering 28 (12), 1146-1170, 2002
2992002
Reconciling environment integration and software evolution
KJ Sullivan, D Notkin
ACM Transactions on Software Engineering and Methodology (TOSEM) 1 (3), 229-268, 1992
287*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
2721998
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
2652001
Dynamically discovering likely program invariants
MD Ernst
University of Washington, 2000
2582000
Automated assistance for program restructuring
WG Griswold, D Notkin
ACM Transactions on Software Engineering and Methodology (TOSEM) 2 (3), 228-269, 1993
2561993
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
2482011
Discovering and representing systematic code changes
M Kim, D Notkin
2009 IEEE 31st International Conference on Software Engineering, 309-319, 2009
2342009
Lightweight lexical source model extraction
GC Murphy, D Notkin
ACM Transactions on Software Engineering and Methodology (TOSEM) 5 (3), 262-292, 1996
2181996
Formalizing design spaces: Implicit invocation mechanisms
D Garlan, D Notkin
International Symposium of VDM Europe, 31-44, 1991
2021991
The system can't perform the operation now. Try again later.
Articles 1–20