D
David Notkin
Researcher at University of Washington
Publications - 149
Citations - 12368
David Notkin is an academic researcher from University of Washington. The author has contributed to research in topics: Software system & Software development. The author has an hindex of 54, co-authored 149 publications receiving 12069 citations. Previous affiliations of David Notkin include Massachusetts Institute of Technology & Carnegie Mellon University.
Papers
More filters
Proceedings ArticleDOI
Dynamically discovering likely program invariants to support program evolution
TL;DR: This paper describes techniques for dynamically discovering invariants, along with an instrumenter and an inference engine that embody these techniques, and reports on the application of the engine to two sets of target programs.
Journal ArticleDOI
Dynamically Discovering Likely Program Invariants to Support Program Evolution
TL;DR: In this paper, the authors describe techniques for dynamically discovering invariants, along with an implementation, named Daikon, that embodies these techniques, and demonstrate that, at least for small programs, invariant inference is both accurate and useful.
Proceedings ArticleDOI
An empirical study of code clone genealogies
TL;DR: This study developed a formal denition of clone evolution and built a clone genealogy tool that automatically extracts the history of code clones from a source code repository and analyzed their evolution.
Proceedings ArticleDOI
ArchJava: connecting software architecture to implementation
TL;DR: A case study applying ArchJava to a circuit-design application suggests that ArchJava can express architectural structure effectively within an implementation, and that it can aid in program understanding and software evolution.
Software Reflexion Models: Bridging the Gap Between Source and High-Level Models
TL;DR: In this article, an approach that helps an engineer use a high-level model of the structure of an existing software system as a lens through which to see a model of that system's source code is presented.