Journal publications

• 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.

Conference publications

• 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.

Workshop publications

• 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.)