| 2004 |
|---|
| 9 | EE | James Larkin,
Phil Stocks:
Self-Replicating Expressions in the Lambda Calculus.
ACSC 2004: 167-173 |
| 2001 |
|---|
| 8 | EE | Barbara G. Ryder,
William Landi,
Phil Stocks,
Sean Zhang,
Rita Altucher:
A schema for interprocedural modification side-effect analysis with pointer aliasing.
ACM Trans. Program. Lang. Syst. 23(2): 105-186 (2001) |
| 1998 |
|---|
| 7 | EE | Phil Stocks,
Barbara G. Ryder,
William Landi,
Sean Zhang:
Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem.
ISSTA 1998: 21-31 |
| 1997 |
|---|
| 6 | EE | Jyh-Shiarn Yur,
Barbara G. Ryder,
William Landi,
Phil Stocks:
Incremental Analysis of Side Effects for C Software System.
ICSE 1997: 422-432 |
| 1996 |
|---|
| 5 | EE | Phil Stocks,
David A. Carrington:
A Framework for Specification-Based Testing.
IEEE Trans. Software Eng. 22(11): 777-793 (1996) |
| 1994 |
|---|
| 4 | | David A. Carrington,
Phil Stocks:
A Tale of Two Paradigms: Formal Methods and Software Testing.
Z User Workshop 1994: 51-68 |
| 1993 |
|---|
| 3 | EE | Phil Stocks,
David A. Carrington:
Test Templates: A Specification-Based Testing Framework.
ICSE 1993: 405-414 |
| 2 | EE | Phil Stocks,
David A. Carrington:
Test Template Framework: A Specification-Based Testing Case Study.
ISSTA 1993: 11-18 |
| 1992 |
|---|
| 1 | EE | Phil Stocks,
Kerry Raymond,
David A. Carrington,
Andrew Lister:
Modelling open distributed systems in Z.
Computer Communications 15(2): 103-113 (1992) |
