Predicates as Parameters in Logic Programming, A Set-Theoretic Basis. - James H. Andrews (ELP, 1989)

Proof-Theoretic Characterisations of Logic Programs. - James H. Andrews (MFCS, 1989)

The Logical Structure of Sequential Prolog. - James H. Andrews (NACLP, 1990)

Logic programming : operational semantics and proof theory. - James H. Andrews (1991)

A Paralogical Semantics for the Prolog Cut. - James H. Andrews (ILPS, 1995)

Foundational Issues in Implementing Constraint Logic Programming Systems. - James H. Andrews (Sci. Comput. Program., 1995)

Characterizing Logic Grammars: A Substructural Logic Approach. - James H. Andrews; Verónica Dahl; Fred Popowich (J. Log. Program., 1996)

Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network. - James H. Andrews; Nancy A. Day; Jeffrey J. Joyce (FORTE, 1997)

Executing Formal Specifications by Translation to Higher Order Logic Programming. - James H. Andrews (TPHOLs, 1997)

A Logical Semantics for Depth-First Prolog with Ground Negation. - James H. Andrews (Theor. Comput. Sci., 1997)

Testing using Log File Analysis: Tools, Methods, and Issues. - James H. Andrews (ASE, 1998)

Experience Report: A Software Maintenance Project Course. - James H. Andrews; Hanan Lutfiyya (CSEE&T, 2000)

Broad-spectrum studies of log file analysis. - James H. Andrews; Yingjun Zhang (ICSE, 2000)

Experiences with a software maintenance project course. - James H. Andrews; Hanan Lutfi Lutfiyya (IEEE Trans. Educ., 2000)

Process-Algebraic Foundations of Aspect-Oriented Programming. - James H. Andrews (Reflection, 2001)

Adding Value to Formal Test Oracles. - James H. Andrews; Rui Fu; Vicky D. Liu (ASE, 2002)

The witness properties and the semantics of the Prolog cut. - James H. Andrews (Theory Pract. Log. Program., 2003)

General Test Result Checking with Log File Analysis. - James H. Andrews; Yingjun Zhang (IEEE Trans. Software Eng., 2003)

Case Study of Coverage-Checked Random Data Structure Testing. - James H. Andrews (ASE, 2004)

Relevant empirical testing research: challenges and responses. - James H. Andrews (ACM SIGSOFT Softw. Eng. Notes, 2004)

Is mutation an appropriate tool for testing experiments? - James H. Andrews; Lionel C. Briand; Yvan Labiche (ICSE, 2005)

Third international workshop on dynamic analysis(WODA 2005). - James H. Andrews; Lori L. Pollock (ICSE, 2005)

Minimization of Randomized Unit Test Cases. - Yong Lei; James H. Andrews (ISSRE, 2005)

ICSE 2005 workshop summary third international workshop on dynamic analysis (WODA 2005). - Lori L. Pollock; James H. Andrews (ACM SIGSOFT Softw. Eng. Notes, 2005)

Tool support for randomized unit testing. - James H. Andrews; Susmita Haldar; Yong Lei; Felix Chun Hang Li (Random Testing, 2006)

Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria. - James H. Andrews; Lionel C. Briand; Yvan Labiche; Akbar Siami Namin (IEEE Trans. Software Eng., 2006)

On Sufficiency of Mutants. - Akbar Siami Namin; James H. Andrews (ICSE Companion, 2007)

Nighthawk: a two-level genetic-random unit test data generator. - James H. Andrews; Felix Chun Hang Li; Tim Menzies (ASE, 2007)

Industrial Evaluation of a Log File Analysis Methodology. - Donald J. Yantzi; James H. Andrews (WODA@ICSE, 2007)

An untyped higher order logic with Y combinator. - James H. Andrews (J. Symb. Log., 2007)

Sufficient mutation operators for measuring test effectiveness. - Akbar Siami Namin; James H. Andrews; Duncan J. Murdoch (ICSE, 2008)

Random Test Run Length and Effectiveness. - James H. Andrews; Alex Groce; Melissa Weston; Ru-Gang Xu (ASE, 2008)

A Useful Bounded Resource Functional Language. - Michael J. Burrell; James H. Andrews; Mark Daley (SOFSEM, 2008)

Johar: a framework for developing accessible applications. - James H. Andrews; Fatima Hussain (ASSETS, 2009)

The influence of size and coverage on test suite effectiveness. - Akbar Siami Namin; James H. Andrews (ISSTA, 2009)

Evaluating the Accuracy of Fault Localization Techniques. - Shaimaa Ali; James H. Andrews; Tamilselvi Dhandapani; Wantao Wang (ASE, 2009)

On the value of combining feature subset selection with genetic algorithms: faster learning of coverage models. - James H. Andrews; Tim Menzies (PROMISE, 2009)

Computing and Diagnosing Changes in Unit Test Energy Consumption. - Amy J. Ko; Michal Young; Jamie Andrews; Brian P. Robinson; Mark Grechanik (Practical Software Testing: Tool Automation and Human Factors, 2010)

Genetic Algorithms for Randomized Unit Testing. - James H. Andrews; Tim Menzies; Felix Chun Hang Li (IEEE Trans. Software Eng., 2011)

BlackHorse: Creating smart test cases from brittle recorded tests. - Santo Carino; James H. Andrews; Sheldon Goulding; Pradeepan Arunthavarajah; Tony Florio; Jakub Hertyk (AST, 2012)

Generating String Test Data for Code Coverage. - Michael Beyene; James H. Andrews (ICST, 2012)

Killer App: A Eurogame about software quality. - James H. Andrews (CSEE&T, 2013)

Comparing multi-point stride coverage and dataflow coverage. - Mohammad Mahdi Hassan; James H. Andrews (ICSE, 2013)

BlackHorse: creating smart test cases from brittle recorded tests. - Santo Carino; James H. Andrews; Sheldon Goulding; Pradeepan Arunthavarajah; Jakub Hertyk (Softw. Qual. J., 2014)

Evaluating the Effect of Test Case Length on GUI Test Suite Performance. - Santo Carino; James H. Andrews (AST@ICSE, 2015)

Dynamically Testing GUIs Using Ant Colony Optimization (T). - Santo Carino; James H. Andrews (ASE, 2015)