The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

David Notkin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Franz G. Amador, Deborah Berman, Alan Borning, Tony DeRose, Adam Finkelstein, Dorothy Neville, David Notkin, David Salesin, Michael Salisbury, Joe Sherman, Ying Sun, Daniel S. Weld, Georges Winkenbach
    Electronic "How Things Work" Articles: Two Early Prototypes. [Citation Graph (2, 8)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1993, v:5, n:4, pp:611-618 [Journal]
  2. David Notkin, Norman C. Hutchinson, Jan Sanislo, Michael F. Schwartz
    Heterogeneous Computing Environments: Report on the ACM SIGOPS Workshop on Accommodating Heterogeneity. [Citation Graph (1, 0)][DBLP]
    Commun. ACM, 1987, v:30, n:2, pp:132-140 [Journal]
  3. William Chan, Richard J. Anderson, Paul Beame, David Notkin
    Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:316-327 [Conf]
  4. Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller
    05261 Summary - Multi-Version Program Analysis. [Citation Graph (0, 0)][DBLP]
    Multi-Version Program Analysis, 2005, pp:- [Conf]
  5. Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller
    05261 Abstracts Collection - Multi-Version Program Analysis. [Citation Graph (0, 0)][DBLP]
    Multi-Version Program Analysis, 2005, pp:- [Conf]
  6. John Zahorjan, Edward D. Lazowska, Henry M. Levy, David Notkin, Jan Sanislo
    Accommodating Heterogeneity. [Citation Graph (0, 0)][DBLP]
    Experiences with Distributed Systems, 1987, pp:89-103 [Conf]
  7. Jonathan Aldrich, Craig Chambers, David Notkin
    Architectural Reasoning in ArchJava. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2002, pp:334-367 [Conf]
  8. Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin
    Language Support for Connector Abstractions. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2003, pp:74-102 [Conf]
  9. Richard J. Anderson, Paul Beame, William Chan, David Notkin
    Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 1999, pp:460-469 [Conf]
  10. Tao Xie, David Notkin
    Mutually Enhancing Test Generation and Specification Inference. [Citation Graph (0, 0)][DBLP]
    FATES, 2003, pp:60-69 [Conf]
  11. David Garlan, David Notkin
    Formalizing Design Spaces: Implicit Invocation Mechanisms. [Citation Graph (0, 0)][DBLP]
    VDM Europe (1), 1991, pp:31-44 [Conf]
  12. S. K. Chung, Edward D. Lazowska, David Notkin, John Zahorjan
    Performance Implications of Design Alternatives for Remote Procedure Call Stubs. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1989, pp:36-43 [Conf]
  13. C. Brian Pinkerton, Edward D. Lazowska, David Notkin, John Zahorjan
    A Heterogeneous Distributed File System. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1990, pp:424-431 [Conf]
  14. David Notkin
    Dynamically Detecting Relevant Program Invariants. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2000, pp:162-0 [Conf]
  15. Tao Xie, David Notkin
    Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:290-305 [Conf]
  16. Mary L. Bailey, David Socha, David Notkin
    Debugging Parallel Programs using Graphical Views. [Citation Graph (0, 0)][DBLP]
    ICPP (2), 1988, pp:46-49 [Conf]
  17. William G. Griswold, Gail A. Harrison, David Notkin, Lawrence Snyder
    How Port Ensembles Aid the Efficient Retargeting of Reduction Algorithms. [Citation Graph (0, 0)][DBLP]
    ICPP (2), 1990, pp:286-287 [Conf]
  18. David Notkin, Lawrence Snyder
    Programming Solutions to the Algorithm Contraction Problem. [Citation Graph (0, 0)][DBLP]
    ICPP, 1986, pp:258-261 [Conf]
  19. Jonathan Aldrich, Craig Chambers, David Notkin
    ArchJava: connecting software architecture to implementation. [Citation Graph (0, 0)][DBLP]
    ICSE, 2002, pp:187-197 [Conf]
  20. William Chan, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner
    Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts. [Citation Graph (0, 0)][DBLP]
    ICSE, 1999, pp:142-151 [Conf]
  21. Michael D. Ernst, Adam Czeisler, William G. Griswold, David Notkin
    Quickly detecting relevant program invariants. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:449-458 [Conf]
  22. Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin
    Dynamically Discovering Likely Program Invariants to Support Program Evolution. [Citation Graph (0, 0)][DBLP]
    ICSE, 1999, pp:213-224 [Conf]
  23. David Garlan, J. Frits Habermann, David Notkin
    Nico Habermann's Research: A Brief Retrospective. [Citation Graph (0, 0)][DBLP]
    ICSE, 1994, pp:149-153 [Conf]
  24. Amir Michail, David Notkin
    Assessing Software Libraries by Browsing Similar Classes, Functions and Relationships. [Citation Graph (0, 0)][DBLP]
    ICSE, 1999, pp:463-472 [Conf]
  25. Gail C. Murphy, David Notkin
    Difficulties with Object-Oriented Frameworks. [Citation Graph (0, 0)][DBLP]
    ICSE Workshop on Studies of Software Design, 1993, pp:77-87 [Conf]
  26. Gail C. Murphy, David Notkin, Erica S.-C. Lan
    An Empirical Study of Static Call Graph Extractors. [Citation Graph (0, 0)][DBLP]
    ICSE, 1996, pp:90-99 [Conf]
  27. David Notkin, Marc Donner, Michael D. Ernst, Michael M. Gorlick, E. James Whitehead Jr.
    Panel: Perspectives on Software Engineering. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:699-702 [Conf]
  28. David Notkin, William G. Griswold
    Extension and Software Development. [Citation Graph (0, 0)][DBLP]
    ICSE, 1988, pp:274-285 [Conf]
  29. David Notkin, Gregory J. Kirsch, Yannis Skulikaris
    Panel: Intellectual Property Issues in Software. [Citation Graph (0, 0)][DBLP]
    ICSE, 1999, pp:594-595 [Conf]
  30. Kevin J. Sullivan, David Notkin, Alfonso Fuggetta, John M. Favaro
    First Workshop on Economics-Driven Software Engineering Research. [Citation Graph (0, 0)][DBLP]
    ICSE, 1999, pp:699-700 [Conf]
  31. Kevin J. Sullivan, Mary M. Shaw, Barry W. Boehm, David Notkin, Warren Harrison
    Third International Workshop on Economics-Driven Software Engineering Research. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:770-770 [Conf]
  32. Robert J. Walker, Lionel C. Briand, David Notkin, Carolyn B. Seaman, Walter F. Tichy
    Panel: Empirical Validation-What, Why, When, and How. [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:721-722 [Conf]
  33. Miryung Kim, David Notkin, Dan Grossman
    Automatic Inference of Structural Changes for Matching across Program Versions. [Citation Graph (0, 0)][DBLP]
    ICSE, 2007, pp:333-343 [Conf]
  34. Kingsum Chow, David Notkin
    Semi-automatic update of applications in response to library changes. [Citation Graph (0, 0)][DBLP]
    ICSM, 1996, pp:359-0 [Conf]
  35. Yoshio Kataoka, Michael D. Ernst, William G. Griswold, David Notkin
    Automated Support for Program Refactoring Using Invariants. [Citation Graph (0, 0)][DBLP]
    ICSM, 2001, pp:736-743 [Conf]
  36. Tao Xie, David Notkin
    Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences. [Citation Graph (0, 0)][DBLP]
    ICSM, 2004, pp:28-37 [Conf]
  37. David Notkin
    Unconventional Views on Conventional Wisdom about Software Engineering Research. [Citation Graph (0, 0)][DBLP]
    ICSM, 2006, pp:201- [Conf]
  38. Miryung Kim, Lawrence D. Bergman, Tessa A. Lau, David Notkin
    An Ethnographic Study of Copy and Paste Programming Practices in OOPL. [Citation Graph (0, 0)][DBLP]
    ISESE, 2004, pp:83-92 [Conf]
  39. David Notkin, David Garlan, William G. Griswold, Kevin J. Sullivan
    Adding Implicit Invocation to Languages: Three Approaches. [Citation Graph (0, 0)][DBLP]
    ISOTAS, 1993, pp:489-510 [Conf]
  40. Michael VanHilst, David Notkin
    Using C++ Templates to Implement Role-Based Designs. [Citation Graph (0, 0)][DBLP]
    ISOTAS, 1996, pp:22-37 [Conf]
  41. David Notkin
    Applying software process models to the full lifecycle is premature. [Citation Graph (0, 0)][DBLP]
    ISPW, 1988, pp:116-117 [Conf]
  42. Tao Xie, David Notkin
    Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2005, pp:277-287 [Conf]
  43. Tao Xie, Jianjun Zhao, Darko Marinov, David Notkin
    Detecting Redundant Unit Tests for AspectJ Programs. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2006, pp:179-190 [Conf]
  44. William Chan, Richard J. Anderson, Paul Beame, David Notkin
    Improving Efficiency of Symbolic Model Checking for State-Based System Requirements. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1998, pp:102-112 [Conf]
  45. Vibha Sazawal, Miryung Kim, David Notkin
    A Study of Evolution in the Presence of Source-Derived Partial Design Representations. [Citation Graph (0, 0)][DBLP]
    IWPSE, 2004, pp:21-30 [Conf]
  46. Amir Michail, David Notkin
    Illustrating Object-Oriented Library Reuse by Example: A Tool-based Approach. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:200-203 [Conf]
  47. Tao Xie, Darko Marinov, David Notkin
    Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:196-205 [Conf]
  48. Tao Xie, David Notkin
    Tool-Assisted Unit Test Selection Based on Operational Violations. [Citation Graph (0, 0)][DBLP]
    ASE, 2003, pp:40-48 [Conf]
  49. Miryung Kim, David Notkin
    Using a clone genealogy extractor for understanding and supporting evolution of code clones. [Citation Graph (0, 0)][DBLP]
    MSR, 2005, pp:- [Conf]
  50. Miryung Kim, David Notkin
    Program element matching for multi-version program analyses. [Citation Graph (0, 0)][DBLP]
    MSR, 2006, pp:58-64 [Conf]
  51. Vibha Sazawal, David Notkin
    Design snippets: partial design representations extracted from source code. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2004, pp:13-14 [Conf]
  52. Michael VanHilst, David Notkin
    Using Role Components to Implement Collaboration-Based Designs. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1996, pp:359-369 [Conf]
  53. David Notkin
    Longitudinal program analysis. [Citation Graph (0, 0)][DBLP]
    PASTE, 2002, pp:1- [Conf]
  54. David Socha, Mary L. Bailey, David Notkin
    Voyeur: Graphical Views of Parallel Programs. [Citation Graph (0, 0)][DBLP]
    Workshop on Parallel and Distributed Debugging, 1988, pp:206-216 [Conf]
  55. David Notkin, William G. Griswold
    Enhancement through extension: the extension interpreter. [Citation Graph (0, 0)][DBLP]
    PLDI, 1987, pp:45-55 [Conf]
  56. David Notkin, Lawrence Snyder, David Socha, Mary L. Bailey, Bruce Forstall, Kevin Gates, Raymond Greenlaw, William G. Griswold, Thomas J. Holman, Richard Korry, Gemini Lasswell, Robert Mitchell, Philip A. Nelson
    Experiences with Poker. [Citation Graph (0, 0)][DBLP]
    PPOPP/PPEALS, 1988, pp:10-20 [Conf]
  57. Gail A. Alverson, William G. Griswold, David Notkin, Lawrence Snyder
    A flexible communication abstraction for nonshared memory parallel computing. [Citation Graph (0, 0)][DBLP]
    SC, 1990, pp:584-593 [Conf]
  58. David Notkin
    The Relationship Between Software Development Environments and the Software Process (Panel Session Introduction). [Citation Graph (0, 0)][DBLP]
    Software Development Environments (SDE), 1988, pp:107-109 [Conf]
  59. Richard J. Anderson, Paul Beame, Steve Burns, William Chan, Francesmary Modugno, David Notkin, Jon Damon Reese
    Model Checking Large Software Specifications. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1996, pp:156-166 [Conf]
  60. David Garlan, Somesh Jha, David Notkin
    Reasoning about Implicit Invocation. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1998, pp:209-221 [Conf]
  61. Miryung Kim, Vibha Sazawal, David Notkin, Gail C. Murphy
    An empirical study of code clone genealogies. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2005, pp:187-196 [Conf]
  62. Gail C. Murphy, David Notkin
    Lightweight Source Model Extraction. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1995, pp:116-127 [Conf]
  63. Gail C. Murphy, David Notkin, Kevin J. Sullivan
    Software Reflexion Models: Bridging the Gap Between Source and High-Level Models. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1995, pp:18-28 [Conf]
  64. Michael VanHilst, David Notkin
    Decoupling Change from Design. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1996, pp:58-69 [Conf]
  65. Michael F. Schwartz, John Zahorjan, David Notkin
    A Name Service for Evolving, Heterogeneous Systems. [Citation Graph (0, 0)][DBLP]
    SOSP, 1987, pp:52-62 [Conf]
  66. Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin
    Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:365-381 [Conf]
  67. Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin
    Architecture-centric programming for adaptive systems. [Citation Graph (0, 0)][DBLP]
    WOSS, 2002, pp:93-95 [Conf]
  68. Tao Xie, David Notkin
    Tool-assisted unit-test generation and selection based on operational abstractions. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2006, v:13, n:3, pp:345-371 [Journal]
  69. David Notkin, Andrew P. Black, Edward D. Lazowska, Henry M. Levy, Jan Sanislo, John Zahorjan
    Interconnecting Heterogeneous Computer Systems. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1988, v:31, n:3, pp:258-273 [Journal]
  70. David Garlan, Gail E. Kaiser, David Notkin
    Using Tool Abstraction to Compose Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1992, v:25, n:6, pp:30-38 [Journal]
  71. Gail C. Murphy, David Notkin
    Reengineering with Reflection Models: A Case Study. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1997, v:30, n:8, pp:29-36 [Journal]
  72. David Notkin
    The Lifeblood of Our Field. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1998, v:31, n:10, pp:123- [Journal]
  73. David Notkin, Richard D. Schlichting
    Computer Science in Japanese Universities. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1993, v:26, n:5, pp:62-70 [Journal]
  74. Carl A. Gunter, John C. Mitchell, David Notkin
    Strategic Directions in Software Engineering and Programming Languages. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4, pp:727-737 [Journal]
  75. Jürgen Dingel, David Garlan, Somesh Jha, David Notkin
    Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1998, v:10, n:3, pp:193-213 [Journal]
  76. David Notkin
    The GANDALF project. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1985, v:5, n:2, pp:91-105 [Journal]
  77. Gail C. Murphy, David Notkin
    On the use of static typing to support operations on frameworks. [Citation Graph (0, 0)][DBLP]
    Object Oriented Systems, 1996, v:3, n:, pp:197-213 [Journal]
  78. David Notkin, Norman C. Hutchinson, Jan Sanislo, Michael F. Schwartz
    Report on the ACM SIGOPS Workshop on Accommodating Heterogeneity. [Citation Graph (0, 0)][DBLP]
    Operating Systems Review, 1986, v:20, n:2, pp:9-24 [Journal]
  79. Mary Lou Soffa, David Notkin
    SIGPLAN and SIGSOFT Joint Efforts. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1998, v:33, n:12, pp:1- [Journal]
  80. Bruce Oberg, David Notkin
    Error Reporting with Graduated Color. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1992, v:9, n:6, pp:33-38 [Journal]
  81. Mark S. Squillante, David Notkin
    Integrating Heterogeneous Local Mail Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1989, v:6, n:6, pp:59-67 [Journal]
  82. Greg J. Badros, David Notkin
    A framework for preprocessor-aware C source code analyses. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2000, v:30, n:8, pp:907-924 [Journal]
  83. David Notkin
    Proxies: A Software Structure for Accommodating Heterogeneity. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1990, v:20, n:4, pp:357-364 [Journal]
  84. William G. Griswold, David Notkin
    Automated Assistance for Program Restructuring. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1993, v:2, n:3, pp:228-269 [Journal]
  85. Gail C. Murphy, David Notkin
    Lightweight Lexical Source Model Extraction. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1996, v:5, n:3, pp:262-292 [Journal]
  86. Gail C. Murphy, David Notkin, William G. Griswold, Erica S.-C. Lan
    An Empirical Study of Static Call Graph Extractors. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1998, v:7, n:2, pp:158-191 [Journal]
  87. Kevin J. Sullivan, David Notkin
    Reconciling Environment Integration and Software Evolution. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1992, v:1, n:3, pp:229-268 [Journal]
  88. Gail A. Alverson, William G. Griswold, Calvin Lin, David Notkin, Lawrence Snyder
    Abstractions for Portable, Scalable Parallel Programming. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 1998, v:9, n:1, pp:71-86 [Journal]
  89. Gail A. Alverson, David Notkin
    Program Structuring for Effective Parallel Portability. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 1993, v:4, n:9, pp:1041-1059 [Journal]
  90. Vincenzo Ambriola, David Notkin
    Reasoning About Interactive Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:2, pp:272-276 [Journal]
  91. William Chan, Richard J. Anderson, Paul Beame, Steve Burns, Francesmary Modugno, David Notkin, Jon Damon Reese
    Model Checking Large Software Specifications. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1998, v:24, n:7, pp:498-520 [Journal]
  92. William Chan, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner
    Optimizing Symbolic Model Checking for Statecharts. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2001, v:27, n:2, pp:170-190 [Journal]
  93. Michael D. Ernst, Greg J. Badros, David Notkin
    An Empirical Analysis of C Preprocessor Use. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2002, v:28, n:12, pp:1146-1170 [Journal]
  94. Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin
    Dynamically Discovering Likely Program Invariants to Support Program Evolution. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2001, v:27, n:2, pp:99-123 [Journal]
  95. William G. Griswold, David Notkin
    Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1995, v:21, n:4, pp:275-287 [Journal]
  96. William G. Griswold, David Notkin
    Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1995, v:21, n:6, pp:576- [Journal]
  97. A. Nico Habermann, David Notkin
    Gandalf: Software Development Environments. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:12, pp:1117-1127 [Journal]
  98. Gail C. Murphy, David Notkin, Kevin J. Sullivan
    Software Reflexion Models: Bridging the Gap between Design and Implementation. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2001, v:27, n:4, pp:364-380 [Journal]
  99. David Notkin, D. Ross Jeffery
    Guest Editorial: Introduction to the Special Section Best Papers of the 17th International Conference on Software Engineering (ICSE-17). [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1996, v:22, n:6, pp:361-362 [Journal]
  100. Kevin J. Sullivan, Ira Kalet, David Notkin
    Evaluating The Mediator Method: Prism as a Case Study. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1996, v:22, n:8, pp:563-579 [Journal]
  101. Tao Xie, David Notkin
    Checking Inside the Black Box: Regression Testing by Comparing Value Spectra. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2005, v:31, n:10, pp:869-883 [Journal]
  102. David Notkin
    Dessert Island. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2007, v:14, n:1, pp:123-125 [Journal]
  103. David Notkin
    Editorial. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2007, v:16, n:1, pp:- [Journal]
  104. David Notkin
    Editorial. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2007, v:16, n:2, pp:- [Journal]

  105. Discovering and representing systematic code changes. [Citation Graph (, )][DBLP]


  106. White-box approaches for improved testing and analysis of configurable software systems. [Citation Graph (, )][DBLP]


  107. Using twinning to adapt programs to alternative APIs. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.615secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002