Jamie Andrews: Some Recent Publications

All papers linked here are in PostScript or gzipped PostScript format.
Note: I have not updated this page for over a year -- my apologies. Soon I hope!

Akbar Siami Namin and James H. Andrews, Finding Sufficient Mutation Operators via Variable Reduction, Proceedings of the Second Workshop on Mutation Analysis (Mutation2006), workshop at ISSRE 2006, Raleigh, NC, November 2006, 10pp.


James H. Andrews, Lionel C. Briand, Yvan Labiche, and Akbar Siami Namin, Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria, IEEE Transactions on Software Engineering, v. 32, no. 8, August 2006, pp. 608-624.


James H. Andrews, Susmita Haldar, Yong Lei and Felix Chun Hang Li, Tool Support for Randomized Unit Testing, Proceedings of the First International Workshop on Randomized Testing (RT'06), workshop at ISSTA 2006, Portland, Maine, July 2006, pp. 36-45.


James H. Andrews, Susmita Haldar, Yong Lei and Chun Hang Li, Randomized Unit Testing: Tool Support and Best Practices, Technical Report No. 663, Department of Computer Science, University of Western Ontario, January 2006.


Yong Lei and James H. Andrews, Minimization of Randomized Unit Test Cases, Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), Chicago, November 2005, pp. 267-276.


James H. Andrews, Lionel C. Briand and Yvan Labiche, Is Mutation an Appropriate Tool for Testing Experiments?, Proceedings of the 27th IEEE International Conference on Software Engineering (ICSE 2005), St. Louis, Missouri, May 2005, pp. 402-411.


James H. Andrews, Lionel C. Briand and Yvan Labiche, Is Mutation an Appropriate Tool for Testing Experiments?, Technical Report No. SCE-04-15, Department of Systems and Computer Engineering, Carleton University, Ottawa, Ont., September 2004.


James H. Andrews, A Case Study of Coverage-Checked Random Data Structure Testing, Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), Linz, Austria, September 2004, pp. 316-319.


James H. Andrews, Relevant Empirical Testing Research: Challenges and Responses, position paper for the Workshop on Empirical Research in Software Testing (WERST), workshop at the International Symposium on Software Testing and Analysis, Boston, MA, July 2004.


James H. Andrews, A Proof Assistant for a Weakly-Typed Higher Order Logic, Newsletter of the Association for Logic Programming (ALP), May, 2004.


James H. Andrews, Coverage-Checked Random Testing of Data Structures: The Sourceforge Case Study, Technical Report No. DCS-285-IR, Department of Computer Science, University of Victoria, April 2004.


James H. Andrews, Deriving State-Based Test Oracles for Conformance Testing, Proceedings of the Second International Workshop on Dynamic Analysis (WODA 2004), ICSE 2004 workshop, Edinburgh, Scotland, May 2004, pp. 9-16.


Guan Huang and James H. Andrews, Learning and Initial Use of a Software Testing Technology: An Exploratory Study, Proceedings of the 8th International Conference on Empirical Assessment in Software Engineering (EASE 2004), Edinburgh, Scotland, May 2004, pp. 77-86.


James H. Andrews, Cut Elimination for a Weakly Typed Higher Order Logic, Technical Report No. 611, Department of Computer Science, University of Western Ontario, December 2003.


James H. Andrews and Yingjun Zhang, General Test Result Checking with Log File Analysis, IEEE Transactions on Software Engineering, v. 29, no. 7, July 2003, pp. 634-648.


James H. Andrews, Rui Fu and Vicky D. Liu, Adding Value to Formal Test Oracles, Proceedings of the 17th Automated Software Engineering Conference (ASE'02), Edinburgh, Scotland, September 2002, pp. 275-278.


James H. Andrews, A Weakly-Typed Higher Order Logic with General Lambda Terms and Y Combinator, Proceedings, Works In Progress Track, 15th International Conference on Theorem Proving in Higher Order Logics (TPHOLs '02), Hampton Roads, Virginia, August 2002, pp. 1-11, NASA Conference Publication CP-2002-211736.
And here are the PowerPoint slides of a talk I gave, related to this material, to the Logic group at the University of Ottawa, Oct. 20 2003.


James H. Andrews, The Witness Properties and the Semantics of the Prolog Cut, Theory and Practice of Logic Programming, v. 3, no. 1, January 2003, pp. 1-59. Also posted on the Computing Research Repository (CoRR).


James H. Andrews, Process-Algebraic Foundations of Aspect-Oriented Programming, Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns (Reflection 2001), Kyoto, Japan, September 26-28, 2001. Springer LNCS, volume 2192, pp. 187-209. Copyright Springer-Verlag.


James H. Andrews and Hanan Lutfiyya, "Experiences with a Software Maintenance Project Course", IEEE Transactions on Education, v. 43, no. 4, November 2000, pp. 383-388.


James H. Andrews and Yingjun Zhang, "Broad-Spectrum Studies of Log File Analysis" Proceedings of the 22nd International Conference on Software Engineering (ICSE 2000), Limerick, Ireland, June 2000, pp. 105-114. (And here are the slides of the talk I gave.)


James H. Andrews, "Testing using Log File Analysis." The slides of a presentation at Nokia Corp., Burlington, Massachusetts, USA, Feb. 15, 2000.


James H. Andrews, "The Witness Properties and the Semantics of the Prolog Cut." Technical Report 542, Dept. of Computer Science, Univ. of Western Ontario, December 1999.


James H. Andrews and Hanan L. Lutfiyya, "Experience Report: A Software Maintenance Project Course." Proceedings of the 13th Conference on Software Engineering Education and Training , Austin, Texas, USA, March 2000, pp. 132-139.


James H. Andrews, Veronica Dahl, and Bharat Jayaraman, "Logic Grammars, Compositional Semantics, and Overgeneration." Proceedings of the Sixth International Workshop on Natural Language Understanding and Logic Programming , Las Cruces, New Mexico, USA, December 1999, pp. 1-16.


James H. Andrews, "Testing using Log File Analysis." The slides of a presentation at the IBM-sponsored First International Workshop on Technological Challenges of Electronic Commerce, Markham, Ont., Canada, September 1998.


James H. Andrews, "Testing using Log File Analysis: Tools, Methods and Issues." Procs. 13th Annual International Conference on Automated Software Engineering (ASE'98), Honolulu, Hawaii, October 1998, pp. 157-166.


Richard Yates, James Andrews and Phil Gray, "Practical Experience Applying Formal Methods to Air Traffic Management Software." Procs. 8th Annual International Symposium of the International Council on Systems Engineering (INCOSE'98), Vancouver, BC, Canada, July 1998.


James H. Andrews, "On the Spreadsheet Presentation of Proof Obligations." Procs. Workshop on User Interfaces in Theorem Proving (UITP'98), Eindhoven, Netherlands, July 1998, pp. 34-41.


James H. Andrews, "Theory and Practice of Log File Analysis." Technical Report 524, Dept. of Computer Science, Univ. of Western Ontario, May 1998.


James H. Andrews, "Prolog: Programming in Logic." Handbook of Programming Languages, volume 4, Macmillan USA, 1998. Ed. Peter Salus.


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." Procs. Formal Description Techniques / Protocol Specification, Testing and Verification (FORTE/PSTV'97), Osaka, Japan, November 1997, pub. Chapman & Hall, pp. 417-432


James H. Andrews, "Executing Formal Specifications by Translation to Higher Order Logic Programming." Procs. Theorem Proving in Higher Order Logics (TPHOLs'97), Bell Labs, New Jersey, August 1997, Springer LNCS no. 1275, pp. 17-32. Copyright Springer-Verlag.


James Andrews, "A Logical Semantics for Depth-First Prolog with Ground Negation." Theoretical Computer Science, v. 184, October 1997, pp. 105-143


James Andrews, Veronica Dahl and Fred Popowich, "Characterizing Logic Grammars: A Substructural Logic Approach." Journal of Logic Programming, v. 26 no. 3, March 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