| 2008 |
|---|
| 26 | EE | James H. Andrews,
Alex Groce,
Melissa Weston,
Ru-Gang Xu:
Random Test Run Length and Effectiveness.
ASE 2008: 19-28 |
| 25 | EE | Akbar Siami Namin,
James H. Andrews,
Duncan J. Murdoch:
Sufficient mutation operators for measuring test effectiveness.
ICSE 2008: 351-360 |
| 24 | EE | Michael J. Burrell,
James H. Andrews,
Mark Daley:
A Useful Bounded Resource Functional Language.
SOFSEM 2008: 198-210 |
| 2007 |
|---|
| 23 | EE | James H. Andrews,
Felix Chun Hang Li,
Tim Menzies:
Nighthawk: a two-level genetic-random unit test data generator.
ASE 2007: 144-153 |
| 22 | EE | Akbar Siami Namin,
James H. Andrews:
On Sufficiency of Mutants.
ICSE Companion 2007: 73-74 |
| 2006 |
|---|
| 21 | EE | James H. Andrews,
Susmita Haldar,
Yong Lei,
Felix Chun Hang Li:
Tool support for randomized unit testing.
Random Testing 2006: 36-45 |
| 20 | EE | James H. Andrews,
Lionel C. Briand,
Yvan Labiche,
Akbar Siami Namin:
Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria.
IEEE Trans. Software Eng. 32(8): 608-624 (2006) |
| 2005 |
|---|
| 19 | EE | James H. Andrews,
Lionel C. Briand,
Yvan Labiche:
Is mutation an appropriate tool for testing experiments?
ICSE 2005: 402-411 |
| 18 | EE | Yong Lei,
James H. Andrews:
Minimization of Randomized Unit Test Cases.
ISSRE 2005: 267-276 |
| 2004 |
|---|
| 17 | EE | James H. Andrews:
Case Study of Coverage-Checked Random Data Structure Testing.
ASE 2004: 316-319 |
| 16 | EE | James H. Andrews:
Relevant empirical testing research: challenges and responses.
ACM SIGSOFT Software Engineering Notes 29(5): 1-4 (2004) |
| 2003 |
|---|
| 15 | EE | James H. Andrews,
Yingjun Zhang:
General Test Result Checking with Log File Analysis.
IEEE Trans. Software Eng. 29(7): 634-648 (2003) |
| 14 | | James H. Andrews:
The witness properties and the semantics of the Prolog cut.
TPLP 3(1): 1-59 (2003) |
| 2002 |
|---|
| 13 | EE | James H. Andrews,
Rui Fu,
Vicky D. Liu:
Adding Value to Formal Test Oracles.
ASE 2002: 275-248 |
| 12 | EE | James H. Andrews:
The Witness Properties and the Semantics of the Prolog Cut
CoRR cs.PL/0201029: (2002) |
| 2001 |
|---|
| 11 | EE | James H. Andrews:
Process-Algebraic Foundations of Aspect-Oriented Programming.
Reflection 2001: 187-209 |
| 2000 |
|---|
| 10 | EE | James H. Andrews,
Hanan Lutfiyya:
Experience Report: A Software Maintenance Project Course.
CSEE&T 2000: 132-139 |
| 9 | EE | James H. Andrews,
Yingjun Zhang:
Broad-spectrum studies of log file analysis.
ICSE 2000: 105-114 |
| 1997 |
|---|
| 8 | | James H. Andrews:
Executing Formal Specifications by Translation to Higher Order Logic Programming.
TPHOLs 1997: 17-32 |
| 1995 |
|---|
| 7 | | James H. Andrews:
A Paralogical Semantics for the Prolog Cut.
ILPS 1995: 591-605 |
| 6 | | James H. Andrews:
Foundational Issues in Implementing Constraint Logic Programming Systems.
Sci. Comput. Program. 25(2-3): 117-147 (1995) |
| 1994 |
|---|
| 5 | | James H. Andrews:
Foundational Issues in Implementing Constraint Logic Programming Systems.
ESOP 1994: 74-88 |
| 1993 |
|---|
| 4 | | James H. Andrews:
A Logical Semantics for Depth-First Prolog with Ground Negation.
ILPS 1993: 220-234 |
| 1990 |
|---|
| 3 | | James H. Andrews:
The Logical Structure of Sequential Prolog.
NACLP 1990: 585-602 |
| 1989 |
|---|
| 2 | | James H. Andrews:
Predicates as Parameters in Logic Programming, A Set-Theoretic Basis.
ELP 1989: 31-47 |
| 1 | | James H. Andrews:
Proof-Theoretic Characterisations of Logic Programs.
MFCS 1989: 145-154 |
