BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Notkin:David

Facilitated 6 volumes:

ICSE 2013Ed
ICSE 2013GCh
MSR 2008PrCo
MSR 2007PrCo
ICSE 1995Ed
FSE 1993Ed

Contributed to:

ISSTA 20142014
ESEC/FSE 20132013
ICSE 20122012
OOPSLA 20122012
ESEC/FSE 20112011
ICSE 20112011
ICSE 20102010
ICSE 20092009
ICSE 20072007
ICSM 20062006
MSR 20062006
ESEC/FSE 20052005
MSR 20052005
TACAS 20052005
ASE 20042004
ICSM 20042004
ASE 20032003
ECOOP 20032003
FATES 20032003
ECOOP 20022002
ICSE 20022002
PASTE 20022002
ICSM 20012001
ICSE 20002000
ICSE 19991999
ASE 19981998
FSE 19981998
ISSTA 19981998
CAV 19971997
FSE 19961996
ICSE 19961996
ICSM 19961996
OOPSLA 19961996
FSE 19951995
ICSE 19941994
ICSE 19881988
PPEALS 19881988
PLDI 19871987
SOSP 19871987
VDM Europe (1) 19911991

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.