- James H. Andrews, Tim Menzies and Felix C. H. Li.
"Genetic Algorithms for Randomized Unit Testing".
*IEEE Trans. on Software Eng.*, v. 37, no. 1, Jan./Feb. 2011, pp. 80-94. (link) - James H. Andrews.
"An Untyped Higher Order Logic with Y Combinator".
*J. of Symbolic Logic*, v. 72, no. 4, Dec. 2007, pp. 1385-1404. (link) - James H. Andrews, Lionel C. Briand, Yvan Labiche and Akbar Siami Namin.
"Using Mutation Analysis for Assessing and Comparing
Testing Coverage Criteria".
*IEEE Trans. on Software Eng.*, v. 32, no. 8, Aug. 2006, pp. 608-624. (link) - James H. Andrews and Yingjun Zhang.
"General Test Result Checking with Log File Analysis".
*IEEE Trans. on Software Eng.*, v. 29, no. 7, July 2003, pp. 634-648. (link) - James H. Andrews. "The Witness Properties and the
Semantics of the Prolog Cut".
*Theory and Practice of Logic Programming*, v. 3, part 1, Jan. 2003. Paper cs.PL/0201029 in the Computing Research Repository (CoRR). (link) - James H. Andrews and Hanan L. Lutfiyya. "Experiences with
a Software Maintenance Project Course".
*IEEE Trans. on Education*, v. 43, no. 4, Nov. 2000, pp. 383-388. - James H. Andrews.
"A Logical Semantics for Depth-First Prolog with
Ground Negation".
*Theoretical Computer Science*, v. 184, Oct. 1997, pp. 105-143. - James H. Andrews, Veronica Dahl, and Fred Popowich. "Characterizing
Logic Grammars: A Substructural Logic Approach".
*J. of Logic Programming*, v. 26 no. 3, Mar. 1996, pp. 233-283. - James H. Andrews.
"Foundational Issues in Implementing
Constraint Logic Programming Systems".
*Science of Computer Programming*, v. 25, 1995, pp. 117-147.

- Mohammed Mahdi Hassan and James H. Andrews.
"Comparing Multi-Point Stride Coverage and Dataflow Coverage".
Accepted for
*35th IEEE Int'l Conf. on Software Eng.*, San Francisco, May 2013. - Michael Beyene and James H. Andrews.
"Generating String Test Data for Code Coverage".
*5th IEEE Int'l Conf. on Software Testing*, 9pp., Montreal, Canada, Apr. 2012. (link) - Shaimaa Ali, James H. Andrews, Tamilselvi Dhandapani and Wantao Wang.
"Evaluating the Accuracy of Fault Localization Techniques".
*24th IEEE Int'l Conf. on Automated Software Eng.*, Auckland, New Zealand, Nov. 2009, pp. 76-87. (link) - James H. Andrews and Fatima Hussain.
"Johar: A Framework for Developing Accessible Applications."
*11th Int'l ACM SIGACCESS Conf. on Computers and Accessibility (ASSETS'09)*, Pittsburgh, PA, Oct. 2009, pp. 243-244. (link) - Akbar Siami Namin and James H. Andrews.
"The Influence of Size and Coverage on Test Suite Effectiveness".
*IEEE Int'l Symp. on Software Testing and Analysis*, Chicago, Illinois, July 2009, pp. 57-68. (link) - James H. Andrews and Tim Menzies.
"On the Value of Combining Feature Subset Selection with Genetic
Algorithms: Faster Learning of Coverage Models".
*Int'l Conf. on Predictor Models in Software Eng. (PROMISE 2009)*, Vancouver, BC, May 2009, 10 pgs. (link) - James H. Andrews, Alex Groce, Melissa Weston and Ru-Gang Xu.
"Random Test Run Length and Effectiveness".
*23rd IEEE Int'l Conf. on Automated Software Eng. (ASE 2008)*, L'Aquila, Italy, Nov. 2008, pp. 19-28. (link) - Akbar Siami Namin, James H. Andrews and Duncan Murdoch.
"Sufficient Mutation Operators for Measuring Test Effectiveness".
*30th IEEE Int'l Conf. on Software Eng. (ICSE 2008)*, May 2008, Leipzig, Germany, pp. 351-360 (link) - Michael J. Burrell, James H. Andrews and Mark Daley,
"A Useful Bounded Resource Functional Language",
*34th Int'l Conf. on Current Trends in Theory and Practice of Computer Science (SOFSEM'08)*, Jan. 2008, Nov'y Smokovec, Slovakia. Springer LNCS volume 4910, pp. 198-210. (link) - James H. Andrews, Felix C. H. Li and Tim Menzies.
"Nighthawk: A Two-Level Genetic-Random Unit Test Data Generator".
*22nd IEEE Int'l Conf. on Automated Software Eng. (ASE 2007)*, Atlanta, Georgia, Nov. 2007, pp. 144-153. (link) - Yong Lei and James H. Andrews.
"Minimization of Randomized Unit Test Cases".
*16th IEEE Int'l Symp. on Software Reliability Eng. (ISSRE 2005)*, Chicago, Nov. 2005, pp. 402-411. (link) - James H. Andrews, Lionel C. Briand and Yvan Labiche.
"Is Mutation an Appropriate Tool for Testing Experiments?"
*27th Int'l Conf. on Software Eng. (ICSE 2005)*, St. Louis, MO, May 2005, pp. 402-411. ACM Distinguished Paper award winner. (link) - James H. Andrews. "A Case Study of Coverage-Checked
Random Data Structure Testing".
*19th IEEE Int'l Conf. on Automated Software Eng. (ASE 2004)*, Linz, Austria, Sep. 2004, pp. 316-319. (link) - Guan Huang and James H. Andrews. "Learning and Initial Use
of a Software Testing Technology: An Exploratory Study".
*8th Int'l Conf. on Empirical Assessment in Software Eng. (EASE 2004)*, Edinburgh, Scotland, May 2004, pp. 77-86. (link) - James H. Andrews, Rui Fu and Vicky D. Liu.
"Adding Value to Formal Test Oracles".
*17th Automated Software Eng. Conf. (ASE'02)*, Edinburgh, Scotland, Sep. 2002, pp. 275-278. (link) - James H. Andrews. "A Weakly-Typed Higher Order Logic
with General Lambda Terms and Y Combinator".
*Works In Progress Track, 15th Int'l Conf. on Theorem Proving in Higher Order Logics (TPHOLs '02)*, Hampton Roads, Virginia, Aug. 2002, pp. 1-11, NASA Conference Publication CP-2002-211736. - James H. Andrews.
"Process-Algebraic Foundations of Aspect-Oriented Programming".
*3rd Int'l Conf. on Metalevel Architectures and Separation of Crosscutting Concerns (Reflection 2001)*, Kyoto, Japan, Sep. 26-28, 2001. Springer LNCS v. 2192, pp. 187-209. (link) - James H. Andrews and Yingjun Zhang. "Broad-Spectrum
Studies of Log File Analysis".
*22nd Int'l Conf. on Software Eng. (ICSE 2000)*, Limerick, Ireland, June 2000, pp. 105-114. (link) - James H. Andrews and Hanan L. Lutfiyya. "Experience
Report: A Software Maintenance Project Course".
*13th Conf. on Software Eng. Education and Training (CSEET)*, Austin, Texas, USA, Mar. 2000, pp. 132-139. (link) - James H. Andrews.
"Testing using Log File Analysis:
Tools, Methods and Issues".
*13th Annual Int'l Conf. on Automated Software Eng. (ASE'98)*, Honolulu, Hawaii, Oct. 1998, pp. 157-166. (link) - Richard Yates, James Andrews, and Phil Gray.
"Practical Experience Applying Formal Methods to Air Traffic
Management Software".
*8th Annual Int'l Symp. of the Int'l Council on Systems Eng. (INCOSE'98)*, Vancouver, BC, Canada, July 1998. - James H. Andrews, Nancy A. Day, and Jeffrey J. Joyce.
"Using a Formal Description Technique to Model Aspects of a
Global Air Traffic Telecommunications Network".
*Formal Description Techniques / Protocol Specification, Testing and Verification (FORTE/PSTV'97)*, Osaka, Japan, Nov. 1997, pp. 417-432. Chapman & Hall. - James H. Andrews.
"Executing Formal Specifications by
Translation to Higher Order Logic Programming".
*Theorem Proving in Higher Order Logics (TPHOLs'97)*, Bell Labs, New Jersey, Aug. 1997, Springer LNCS no. 1275, pp. 17-32. - James H. Andrews.
"A Paralogical Semantics for the Prolog
Cut".
*Int'l Logic Programming Symp. (ILPS'95)*, Portland, Oregon, Dec. 1995, pp. 591-605. MIT Press. - James H. Andrews.
"Foundational Issues in Implementing
Constraint Logic Programming Systems".
*5th European Symp. on Programming (ESOP)*, Edinburgh, UK, Apr. 1994. Springer LNCS 788, pp. 74-88. - James H. Andrews.
"A Logical Semantics for Depth-First
Prolog with Ground Negation".
*Int'l Logic Programming Symp. (ILPS'93)*, Vancouver, BC, Oct. 1993, pp. 220-234. MIT Press. - James H. Andrews.
"The Logical Structure of Sequential Prolog".
*North American Conf. on Logic Programming (NACLP)*, Austin, Texas, Oct.-Nov. 1990, MIT Press, pp. 585-602. - James H. Andrews.
"Proof-Theoretic Characterisations of Logic Programming".
*14th Int'l Symp. on the Mathematical Foundations of Computer Science (MFCS)*, Porąbka-Kozubnik, Poland, Aug.-Sep. 1989. Springer LNCS 379, pp. 145-154.

- Santo Carino, James H. Andrews, Sheldon Goulding, Pradeepan
Arunthavarajah, Tony Florio, and Jakub Hertyk.
"BlackHorse: Creating Smart Test Cases from Brittle Recorded Tests".
*Workshop on Automation of Software Test*at*ICSE 2012*, Zürich, Switzerland, June 2012, pp. 89-95. (link) - Donald J. Yantzi and James H. Andrews.
"Industrial Evaluation of a Log File Analysis Methodology".
*5th Int'l Workshop on Dynamic Analysis (WODA 2007)*, ICSE 2007 workshop, Minneapolis, Minnesota, May 2007. (link) - Akbar Siami Namin and James H. Andrews.
"Finding Sufficient Mutation Operators via Variable Reduction".
*2nd Workshop on Mutation Analysis (Mutation 2006)*, workshop at*ISSRE 2006*, Raleigh, NC, Nov. 2006, 10pp. (link) - James H. Andrews, Susmita Haldar, Yong Lei and Felix Chun Hang Li.
"Tool Support for Randomized Unit Testing".
*1st Int'l Workshop on Random Testing*, workshop at*ISSTA 2006*, Portland, Maine, July 2006, pp. 36-45. (link) - James H. Andrews. "Deriving State-Based Test Oracles
for Conformance Testing".
*2nd Int'l Workshop on Dynamic Analysis (WODA 2004)*, ICSE 2004 workshop, Edinburgh, Scotland, May 2004, pp. 9-16. - James H. Andrews, Veronica Dahl, and Bharat Jayaraman. "Logic
Grammars, Compositional Semantics, and Overgeneration".
*6th Int'l Workshop on Natural Language Understanding and Logic Programming*, Las Cruces, New Mexico, USA, Dec. 1999. - James H. Andrews.
"On the Spreadsheet Presentation of Proof Obligations".
*Workshop on User Interfaces in Theorem Proving (UITP'98)*, Eindhoven, Netherlands, July 1998, pp. 34-41. - James Andrews, Veronica Dahl and Paul Tarau.
"Continuation Logic Programming: Theory and Practice".
*Workshop on Operational and Denotational Semantics*, Int'l Logic Programming Symp. (ILPS'95), Portland, Oregon, Dec. 1995. - James H. Andrews.
"A Relevance Logic Characterization of Static Discontinuity
Grammars".
*Workshop on Linear Logic and Logic Programming*, Joint Int'l Conf. and Symp. on Logic Programming (JICSLP), Washington, DC, Nov. 1992. - James H. Andrews.
"Towards Proof-Theoretic Characterizations of Constraint
Logic Programming Systems".
*Workshop on Proofs and Types in Logic Programming*, Joint Int'l Conf. and Symp. on Logic Programming (JICSLP), Washington, DC, Nov. 1992. - James H. Andrews.
"Predicates as Parameters in Logic Programming:
A Set-Theoretic Basis".
*Workshop on Extensions of Logic Programming*, T"ubingen, FRG, Dec. 1989, Springer Lecture Notes in AI v. 475, pp. 31-47. (Invited paper.)