Travelled to:1 × Austria
1 × China
1 × Hungary
1 × Ireland
1 × Israel
1 × Italy
1 × Portugal
1 × Russia
1 × Singapore
1 × South Africa
1 × Spain
1 × Switzerland
1 × The Netherlands
1 × United Kingdom
19 × USA
2 × Germany
3 × Canada
Collaborated with:M.Kim T.Xie M.D.Ernst R.Holmes W.G.Griswold G.C.Murphy D.Garlan Y.Brun ∅ A.Michail M.V.Hilst J.Aldrich C.Chambers W.Chan R.J.Anderson P.Beame K.Muslu D.Marinov M.Nita V.Sazawal K.Chow D.Grossman S.Jha E.S.Lan K.J.Sullivan J.F.Habermann M.F.Schwartz J.Zahorjan W.Schulte Y.Kataoka A.Czeisler J.Cockrell D.H.Jones W.E.Warner S.Zhang D.Jalali J.Wuttke W.Lam S.Burns F.Modugno J.D.Reese L.Snyder D.Socha M.L.Bailey B.Forstall K.Gates R.Greenlaw T.J.Holman R.Korry G.Lasswell R.Mitchell P.A.Nelson
Talks about:program (10) model (7) test (7) softwar (6) chang (6) check (5) base (5) use (5) support (4) symbol (4)
♂ Person: David Notkin
DBLP: Notkin:David
Facilitated 6 volumes:
EdGCh
PrCoPrCoEd
EdContributed to:
2014
20132012
201220112011201020092007
2006200620052005
2005
200420042003
2003
200320022002
2002200120001999199819981998
19971996199619961996199519941988
1988
1987
1987
1991Wrote 47 papers:
- ISSTA-2014-ZhangJWMLEN #empirical #independence
- Empirically revisiting the test independence assumption (SZ, DJ, JW, KM, WL, MDE, DN), pp. 385–396.
- ESEC-FSE-2013-MusluBEN #analysis
- Making offline analyses continuous (KM, YB, MDE, DN), pp. 323–333.
- ICSE-2012-MusluBHEN #ide #recommendation
- Improving IDE recommendations by considering global implications of existing recommendations (KM, YB, RH, MDE, DN), pp. 1349–1352.
- OOPSLA-2012-MusluBHEN #analysis #development #ide #recommendation
- Speculative analysis of integrated development environment recommendations (KM, YB, RH, MDE, DN), pp. 669–682.
- ESEC-FSE-2011-BrunHEN #collaboration #detection
- Proactive detection of collaboration conflicts (YB, RH, MDE, DN), pp. 168–178.
- ESEC-FSE-2011-BrunHEN11a #named #precise
- Crystal: precise and unobtrusive conflict warnings (YB, RH, MDE, DN), pp. 444–447.
- ICSE-2011-HolmesN #behaviour #identification
- Identifying program, test, and environmental changes that affect behaviour (RH, DN), pp. 371–380.
- ICSE-2011-HolmesN11a #behaviour #identification
- Identifying opaque behavioural changes (RH, DN), pp. 995–997.
- ICSE-2010-NitaN #adaptation #api #source code #using
- Using twinning to adapt programs to alternative APIs (MN, DN), pp. 205–214.
- ICSE-2009-KimN #representation
- Discovering and representing systematic code changes (MK, DN), pp. 309–319.
- ICSE-2007-KimNG #automation
- Automatic Inference of Structural Changes for Matching across Program Versions (MK, DN, DG), pp. 333–343.
- ICSM-2006-Notkin #re-engineering #research
- Unconventional Views on Conventional Wisdom about Software Engineering Research (DN), p. 201.
- MSR-2006-KimN #analysis #multi
- Program element matching for multi-version program analyses (MK, DN), pp. 58–64.
- ESEC-FSE-2005-KimSN #empirical
- An empirical study of code clone genealogies (MK, VS, DN, GCM), pp. 187–196.
- MSR-2005-KimN #comprehension #evolution #using
- Using a clone genealogy extractor for understanding and supporting evolution of code clones (MK, DN), pp. 1–5.
- TACAS-2005-XieMSN #execution #framework #generative #named #object-oriented #symbolic computation #testing #using
- Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution (TX, DM, WS, DN), pp. 365–381.
- ASE-2004-XieMN #detection #framework #named #object-oriented #testing
- Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests (TX, DM, DN), pp. 196–205.
- ICSM-2004-XieN #black box #difference #testing
- Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences (TX, DN), pp. 28–37.
- ASE-2003-XieN #testing
- Tool-Assisted Unit Test Selection Based on Operational Violations (TX, DN), pp. 40–48.
- ECOOP-2003-AldrichSCN #abstraction
- Language Support for Connector Abstractions (JA, VS, CC, DN), pp. 74–102.
- FATES-2003-XieN #generative #specification #testing
- Mutually Enhancing Test Generation and Specification Inference (TX, DN), pp. 60–69.
- ECOOP-2002-AldrichCN #architecture #reasoning
- Architectural Reasoning in ArchJava (JA, CC, DN), pp. 334–367.
- ICSE-2002-AldrichCN #architecture #implementation #named
- ArchJava: connecting software architecture to implementation (JA, CC, DN), pp. 187–197.
- PASTE-2002-Notkin #program analysis
- Longitudinal program analysis (DN), p. 1.
- ICSM-2001-KataokaEGN #automation #invariant #refactoring #using
- Automated Support for Program Refactoring Using Invariants (YK, MDE, WGG, DN), pp. 736–743.
- ICSE-2000-ErnstCGN #detection #invariant
- Quickly detecting relevant program invariants (MDE, AC, WGG, DN), pp. 449–458.
- ICSE-1999-ChanABJNW #model checking #performance
- Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts (WC, RJA, PB, DHJ, DN, WEW), pp. 142–151.
- ICSE-1999-ErnstCGN #evolution #invariant
- Dynamically Discovering Likely Program Invariants to Support Program Evolution (MDE, JC, WGG, DN), pp. 213–224.
- ICSE-1999-MichailN #library
- Assessing Software Libraries by Browsing Similar Classes, Functions and Relationships (AM, DN), pp. 463–472.
- ASE-1998-MichailN #approach #library #object-oriented #reuse
- Illustrating Object-Oriented Library Reuse by Example: A Tool-based Approach (AM, DN), pp. 200–203.
- FSE-1998-GarlanJN #reasoning
- Reasoning about Implicit Invocation (DG, SJ, DN), pp. 209–221.
- ISSTA-1998-ChanABN #model checking #performance #requirements
- Improving Efficiency of Symbolic Model Checking for State-Based System Requirements (WC, RJA, PB, DN), pp. 102–112.
- CAV-1997-ChanABN #constraints #model checking #theorem proving
- Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints (WC, RJA, PB, DN), pp. 316–327.
- FSE-1996-AndersonBBCMNR #model checking #scalability #specification
- Model Checking Large Software Specifications (RJA, PB, SB, WC, FM, DN, JDR), pp. 156–166.
- FSE-1996-VanHilstN #design
- Decoupling Change from Design (MVH, DN), pp. 58–69.
- ICSE-1996-MurphyNL #empirical #graph
- An Empirical Study of Static Call Graph Extractors (GCM, DN, ESCL), pp. 90–99.
- ICSM-1996-ChowN #automation #library
- Semi-automatic update of applications in response to library changes (KC, DN), p. 359–?.
- OOPSLA-1996-VanHilstN #component #design #using
- Using Role Components to Implement Collaboration-Based Designs (MVH, DN), pp. 359–369.
- FSE-1995-MurphyN #lightweight
- Lightweight Source Model Extraction (GCM, DN), pp. 116–127.
- FSE-1995-MurphyNS #modelling
- Software Reflexion Models: Bridging the Gap Between Source and High-Level Models (GCM, DN, KJS), pp. 18–28.
- ICSE-1994-GarlanHR #research
- Nico Habermann’s Research: A Brief Retrospective (DG, JFH, DN), pp. 149–153.
- ICSE-1988-NotkinG #development
- Extension and Software Development (DN, WGG), pp. 274–285.
- PPEALS-1988-NotkinSSBFGGGHKLMN #case study #experience
- Experiences with Poker (DN, LS, DS, MLB, BF, KG, RG, WGG, TJH, RK, GL, RM, PAN), pp. 10–20.
- PLDI-1987-NotkinG #interpreter
- Enhancement through extension: the extension interpreter (DN, WGG), pp. 45–55.
- SOSP-1987-SchwartzZN #evolution
- A Name Service for Evolving, Heterogeneous Systems (MFS, JZ, DN), pp. 52–62.
- VDME-1991-GarlanN #design #formal method
- Formalizing Design Spaces: Implicit Invocation Mechanisms (DG, DN), pp. 31–44.