Search the dblp DataBase
James H. Andrews :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
James H. Andrews , Hanan Lutfiyya Experience Report: A Software Maintenance Project Course. [Citation Graph (0, 0)][DBLP ] CSEE&T, 2000, pp:132-139 [Conf ] James H. Andrews Predicates as Parameters in Logic Programming, A Set-Theoretic Basis. [Citation Graph (0, 0)][DBLP ] ELP, 1989, pp:31-47 [Conf ] James H. Andrews Foundational Issues in Implementing Constraint Logic Programming Systems. [Citation Graph (0, 0)][DBLP ] ESOP, 1994, pp:74-88 [Conf ] 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 ] 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 ] James Andrews , Lori L. Pollock Third international workshop on dynamic analysis(WODA 2005). [Citation Graph (0, 0)][DBLP ] ICSE, 2005, pp:693- [Conf ] James H. Andrews , Yingjun Zhang Broad-spectrum studies of log file analysis. [Citation Graph (0, 0)][DBLP ] ICSE, 2000, pp:105-114 [Conf ] Yong Lei , James H. Andrews Minimization of Randomized Unit Test Cases. [Citation Graph (0, 0)][DBLP ] ISSRE, 2005, pp:267-276 [Conf ] 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 ] James H. Andrews Case Study of Coverage-Checked Random Data Structure Testing. [Citation Graph (0, 0)][DBLP ] ASE, 2004, pp:316-319 [Conf ] J. Andrews Testing using Log File Analysis: Tools, Methods, and Issues. [Citation Graph (0, 0)][DBLP ] ASE, 1998, pp:157-0 [Conf ] 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 ] James H. Andrews Proof-Theoretic Characterisations of Logic Programs. [Citation Graph (0, 0)][DBLP ] MFCS, 1989, pp:145-154 [Conf ] James H. Andrews Process-Algebraic Foundations of Aspect-Oriented Programming. [Citation Graph (0, 0)][DBLP ] Reflection, 2001, pp:187-209 [Conf ] James H. Andrews The Logical Structure of Sequential Prolog. [Citation Graph (0, 0)][DBLP ] NACLP, 1990, pp:585-602 [Conf ] James H. Andrews A Logical Semantics for Depth-First Prolog with Ground Negation. [Citation Graph (0, 0)][DBLP ] ILPS, 1993, pp:220-234 [Conf ] James H. Andrews A Paralogical Semantics for the Prolog Cut. [Citation Graph (0, 0)][DBLP ] ILPS, 1995, pp:591-605 [Conf ] James H. Andrews Executing Formal Specifications by Translation to Higher Order Logic Programming. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1997, pp:17-32 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] Akbar Siami Namin , James H. Andrews On Sufficiency of Mutants. [Citation Graph (0, 0)][DBLP ] ICSE Companion, 2007, pp:73-74 [Conf ] Johar: a framework for developing accessible applications. [Citation Graph (, )][DBLP ] Sufficient mutation operators for measuring test effectiveness. [Citation Graph (, )][DBLP ] The influence of size and coverage on test suite effectiveness. [Citation Graph (, )][DBLP ] Random Test Run Length and Effectiveness. [Citation Graph (, )][DBLP ] Nighthawk: a two-level genetic-random unit test data generator. [Citation Graph (, )][DBLP ] Evaluating the Accuracy of Fault Localization Techniques. [Citation Graph (, )][DBLP ] A Useful Bounded Resource Functional Language. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.305secs