The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

James H. Andrews: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. James H. Andrews, Hanan Lutfiyya
    Experience Report: A Software Maintenance Project Course. [Citation Graph (0, 0)][DBLP]
    CSEE&T, 2000, pp:132-139 [Conf]
  2. James H. Andrews
    Predicates as Parameters in Logic Programming, A Set-Theoretic Basis. [Citation Graph (0, 0)][DBLP]
    ELP, 1989, pp:31-47 [Conf]
  3. James H. Andrews
    Foundational Issues in Implementing Constraint Logic Programming Systems. [Citation Graph (0, 0)][DBLP]
    ESOP, 1994, pp:74-88 [Conf]
  4. J. H. Andrews, Nancy A. Day, Jeffrey J. Joyce
    Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network. [Citation Graph (0, 0)][DBLP]
    FORTE, 1997, pp:417-432 [Conf]
  5. James H. Andrews, Lionel C. Briand, Yvan Labiche
    Is mutation an appropriate tool for testing experiments? [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:402-411 [Conf]
  6. James Andrews, Lori L. Pollock
    Third international workshop on dynamic analysis(WODA 2005). [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:693- [Conf]
  7. James H. Andrews, Yingjun Zhang
    Broad-spectrum studies of log file analysis. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:105-114 [Conf]
  8. Yong Lei, James H. Andrews
    Minimization of Randomized Unit Test Cases. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2005, pp:267-276 [Conf]
  9. James H. Andrews, Susmita Haldar, Yong Lei, Felix Chun Hang Li
    Tool support for randomized unit testing. [Citation Graph (0, 0)][DBLP]
    Random Testing, 2006, pp:36-45 [Conf]
  10. James H. Andrews
    Case Study of Coverage-Checked Random Data Structure Testing. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:316-319 [Conf]
  11. J. Andrews
    Testing using Log File Analysis: Tools, Methods, and Issues. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:157-0 [Conf]
  12. James H. Andrews, Rui Fu, Vicky D. Liu
    Adding Value to Formal Test Oracles. [Citation Graph (0, 0)][DBLP]
    ASE, 2002, pp:275-248 [Conf]
  13. James H. Andrews
    Proof-Theoretic Characterisations of Logic Programs. [Citation Graph (0, 0)][DBLP]
    MFCS, 1989, pp:145-154 [Conf]
  14. James H. Andrews
    Process-Algebraic Foundations of Aspect-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    Reflection, 2001, pp:187-209 [Conf]
  15. James H. Andrews
    The Logical Structure of Sequential Prolog. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:585-602 [Conf]
  16. James H. Andrews
    A Logical Semantics for Depth-First Prolog with Ground Negation. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:220-234 [Conf]
  17. James H. Andrews
    A Paralogical Semantics for the Prolog Cut. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:591-605 [Conf]
  18. James H. Andrews
    Executing Formal Specifications by Translation to Higher Order Logic Programming. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1997, pp:17-32 [Conf]
  19. James H. Andrews
    The Witness Properties and the Semantics of the Prolog Cut [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  20. James H. Andrews
    Foundational Issues in Implementing Constraint Logic Programming Systems. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1995, v:25, n:2-3, pp:117-147 [Journal]
  21. James H. Andrews
    The witness properties and the semantics of the Prolog cut. [Citation Graph (0, 0)][DBLP]
    TPLP, 2003, v:3, n:1, pp:1-59 [Journal]
  22. James H. Andrews, Yingjun Zhang
    General Test Result Checking with Log File Analysis. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2003, v:29, n:7, pp:634-648 [Journal]
  23. James H. Andrews, Lionel C. Briand, Yvan Labiche, Akbar Siami Namin
    Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:8, pp:608-624 [Journal]
  24. Akbar Siami Namin, James H. Andrews
    On Sufficiency of Mutants. [Citation Graph (0, 0)][DBLP]
    ICSE Companion, 2007, pp:73-74 [Conf]

  25. Johar: a framework for developing accessible applications. [Citation Graph (, )][DBLP]


  26. Sufficient mutation operators for measuring test effectiveness. [Citation Graph (, )][DBLP]


  27. The influence of size and coverage on test suite effectiveness. [Citation Graph (, )][DBLP]


  28. Random Test Run Length and Effectiveness. [Citation Graph (, )][DBLP]


  29. Nighthawk: a two-level genetic-random unit test data generator. [Citation Graph (, )][DBLP]


  30. Evaluating the Accuracy of Fault Localization Techniques. [Citation Graph (, )][DBLP]


  31. A Useful Bounded Resource Functional Language. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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