1998 - ACM Fellow For broad contributions to research in software engineering and software evolution, and for service to the ACM and the greater software engineering community.
His primary areas of investigation include Programming language, Software engineering, Software maintenance, Software and Software evolution. David Notkin incorporates Programming language and Invariant in his studies. David Notkin studies Formal methods, a branch of Software engineering.
David Notkin interconnects Set and Code in the investigation of issues within Software maintenance. His study in Software system and Software development are all subfields of Software. His research investigates the connection between Software evolution and topics such as Java that intersect with issues in Object-oriented programming, Software quality, Data mining, Object and Real-time computing.
David Notkin mainly focuses on Software engineering, Programming language, Software, Software development and Software system. His Software engineering research is multidisciplinary, incorporating perspectives in Personal software process, Social software engineering, Software construction and Software design. The study incorporates disciplines such as Theoretical computer science and Code in addition to Programming language.
His study looks at the relationship between Software and topics such as Symbolic trajectory evaluation, which overlap with Software requirements specification. His studies in Software development integrate themes in fields like Finite-state machine and Unit testing. In his research on the topic of Software system, Static analysis and Server is strongly related with Source code.
David Notkin mainly investigates Software engineering, Source code, Software, Software system and Code. His research in Software engineering intersects with topics in Codebase, Semantics and Operating system. His Source code study is concerned with the field of Programming language as a whole.
His Programming language study combines topics in areas such as Test suite and Inference. His Software development and Software evolution study, which is part of a larger body of work in Software, is frequently linked to Systematic code and Enthusiasm, bridging the gap between disciplines. His Code study incorporates themes from Class and Implementation.
The scientist’s investigation covers issues in Software engineering, Code, Software, Source lines of code and Control. David Notkin combines subjects such as Programming language, Semantics, Software system and Social software engineering with his study of Software engineering. Programming language and Simple are two areas of study in which he engages in interdisciplinary research.
His Semantics research integrates issues from Operating system, Source code and Code refactoring. His study on Software evolution and Software quality analyst is often connected to Systematic code as part of broader study in Software. His biological study spans a wide range of topics, including Crystal and Collaborative software development.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Dynamically Discovering Likely Program Invariants to Support Program Evolution
Michael D. Ernst;Jake Cockrell;William G. Griswold;David Notkin.
IEEE Computer Architecture Letters (2001)
Software reflexion models: bridging the gap between source and high-level models
Gail C. Murphy;David Notkin;Kevin Sullivan.
foundations of software engineering (1995)
ArchJava: connecting software architecture to implementation
Jonathan Aldrich;Craig Chambers;David Notkin.
international conference on software engineering (2002)
An empirical study of code clone genealogies
Miryung Kim;Vibha Sazawal;David Notkin;Gail Murphy.
foundations of software engineering (2005)
Software reflexion models: bridging the gap between design and implementation
G.C. Murphy;D. Notkin;K.J. Sullivan.
IEEE Transactions on Software Engineering (2001)
Model checking large software specifications
Richard J. Anderson;Paul Beame;Steve Burns;William Chan.
foundations of software engineering (1996)
Gandalf: Software development environments
A. N. Habermann;D. Notkin.
IEEE Transactions on Software Engineering (1986)
An ethnographic study of copy and paste programming practices in OOPL
Miryung Kim;L. Bergman;T. Lau;D. Notkin.
international symposium on empirical software engineering (2004)
Symstra: a framework for generating object-oriented unit tests using symbolic execution
Tao Xie;Darko Marinov;Wolfram Schulte;David Notkin.
tools and algorithms for construction and analysis of systems (2005)
Quickly detecting relevant program invariants
Michael D. Ernst;Adam Czeisler;William G. Griswold;David Notkin.
international conference on software engineering (2000)
Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking h-index is inferred from publications deemed to belong to the considered discipline.
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: