- A WeaklyTyped Higher Order Logic with General Lambda Terms and Y Combinator
- General Test Result Checking with Log File Analysis
- Logic Grammars, Compositional Semantics, and Overgeneration James H. Andrews
- Adding Value to Formal Test Oracles James H. Andrews, Rui Fu and Vicky D. Liu
- A Case Study of CoverageChecked Random Data Structure Testing James H. Andrews
- Deriving StateBased Test Oracles for Conformance Testing James H. Andrews
- Cut Elimination for A WeaklyTyped Higher Order Logic James H. Andrews
- ProcessAlgebraic Foundations of AspectOriented Programming
- Testing Using Log File Analysis Jamie Andrews
- Experience Report: A Software Maintenance Project Course
- Randomized Unit Testing: Tool Support and Best Practices James H. Andrews, Susmita Haldar, Yong Lei and Felix Chun Hang Li
- Foundational Issues in Implementing Constraint Logic Programming Systems
- Executing Formal Specifications by Translation to Higher Order Logic Programming
- Practical Experience Applying Formal Methods to Air Traffic Management Software
- J. LOGIC PROGRAMMING 1994:19, 20:1--679 1 CHARACTERIZING LOGIC GRAMMARS: A
- Finding Sufficient Mutation Operators via Variable Akbar Siami Namin and James H. Andrews
- Carleton University technical report SCE0415 Is Mutation an Appropriate Tool for Testing Experiments?
- Theory and Practice of Log File Analysis James H. Andrews
- A Logical Semantics for DepthFirst Prolog with Ground Negation
- Coverage-Checked Random Testing of Data Structures
- Is Mutation an Appropriate Tool for Testing Experiments? J.H. Andrews
- Learning and Initial Use of a Software Testing Technology: An Exploratory Guan Huang and James H. Andrews
- BroadSpectrum Studies of Log File Analysis James H. Andrews, Yingjun Zhang
- Tool Support for Randomized Unit Testing James H. Andrews, Susmita Haldar, Yong Lei and Felix Chun Hang Li
- Minimization of Randomized Unit Test Cases Yong Lei and James H. Andrews
- The Witness Properties and the Semantics of the Prolog Cut James H. Andrews
- Relevant Empirical Testing Research: Challenges and Responses James H. Andrews
- On the Spreadsheet Presentation of Proof Obligations
- Testing using Log File Analysis: Tools, Methods, and Issues
- Using a Formal Description Technique to Model Aspects of a Global Air
- Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria
- A Proof Assistant for a Weakly-Typed Higher Order Logic
