H-Index & Metrics Top Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science H-index 52 Citations 13,731 121 World Ranking 2575 National Ranking 1372

Research.com Recognitions

Awards & Achievements

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.

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Operating system
  • Software

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.

His most cited work include:

  • Dynamically Discovering Likely Program Invariants to Support Program Evolution (923 citations)
  • An empirical study of code clone genealogies (467 citations)
  • Software reflexion models: bridging the gap between source and high-level models (453 citations)

What are the main themes of his work throughout his whole career to date?

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.

He most often published in these fields:

  • Software engineering (37.06%)
  • Programming language (31.18%)
  • Software (22.94%)

What were the highlights of his more recent work (between 2007-2015)?

  • Software engineering (37.06%)
  • Source code (12.35%)
  • Software (22.94%)

In recent papers he was focusing on the following fields of study:

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.

Between 2007 and 2015, his most popular works were:

  • Discovering and representing systematic code changes (154 citations)
  • Proactive detection of collaboration conflicts (151 citations)
  • Empirically revisiting the test independence assumption (82 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Operating system
  • Software

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.

Top Publications

Dynamically Discovering Likely Program Invariants to Support Program Evolution

Michael D. Ernst;Jake Cockrell;William G. Griswold;David Notkin.
IEEE Computer Architecture Letters (2001)

1449 Citations

Software reflexion models: bridging the gap between source and high-level models

Gail C. Murphy;David Notkin;Kevin Sullivan.
foundations of software engineering (1995)

917 Citations

ArchJava: connecting software architecture to implementation

Jonathan Aldrich;Craig Chambers;David Notkin.
international conference on software engineering (2002)

755 Citations

An empirical study of code clone genealogies

Miryung Kim;Vibha Sazawal;David Notkin;Gail Murphy.
foundations of software engineering (2005)

714 Citations

Software reflexion models: bridging the gap between design and implementation

G.C. Murphy;D. Notkin;K.J. Sullivan.
IEEE Transactions on Software Engineering (2001)

497 Citations

Model checking large software specifications

Richard J. Anderson;Paul Beame;Steve Burns;William Chan.
foundations of software engineering (1996)

481 Citations

Gandalf: Software development environments

A. N. Habermann;D. Notkin.
IEEE Transactions on Software Engineering (1986)

469 Citations

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)

373 Citations

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)

362 Citations

Quickly detecting relevant program invariants

Michael D. Ernst;Adam Czeisler;William G. Griswold;David Notkin.
international conference on software engineering (2000)

319 Citations

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.

Contact us

Top Scientists Citing David Notkin

Michael D. Ernst

Michael D. Ernst

University of Washington

Publications: 66

Tao Xie

Tao Xie

Peking University

Publications: 57

David Garlan

David Garlan

Carnegie Mellon University

Publications: 50

Chanchal K. Roy

Chanchal K. Roy

University of Saskatchewan

Publications: 50

Christian Kästner

Christian Kästner

Carnegie Mellon University

Publications: 43

Gail E. Kaiser

Gail E. Kaiser

Columbia University

Publications: 42

Sven Apel

Sven Apel

Saarland University

Publications: 41

Stéphane Ducasse

Stéphane Ducasse

University of Lille

Publications: 40

Andreas Zeller

Andreas Zeller

Saarland University

Publications: 39

Rainer Koschke

Rainer Koschke

University of Bremen

Publications: 38

Ahmed E. Hassan

Ahmed E. Hassan

Queen's University

Publications: 38

Nenad Medvidovic

Nenad Medvidovic

University of Southern California

Publications: 36

David Lo

David Lo

Singapore Management University

Publications: 36

Darko Marinov

Darko Marinov

University of Illinois at Urbana-Champaign

Publications: 34

Kevin Sullivan

Kevin Sullivan

University of Virginia

Publications: 34

Something went wrong. Please try again later.