| 2001 |
|---|
| 8 | | Nigel Tracey,
John Penix,
Willem Visser:
The Second International Workshop on Automated Program Analysis, Testing and Verification.
ICSE 2001: 755-755 |
| 7 | | Nigel Tracey,
John Penix,
Willem Visser:
Editorial: The First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV 2000).
Softw. Test., Verif. Reliab. 11(2): 63-64 (2001) |
| 6 | | Nigel Tracey,
John Penix,
Willem Visser:
Automated analysis, verification and testing.
Software Focus 2(2): 82 (2001) |
| 2000 |
|---|
| 5 | EE | Nigel Tracey,
John Penix,
Willem Visser:
The First International Workshop on Automated Program Analysis, Testing and Verification.
ICSE 2000: 796 |
| 4 | | Nigel Tracey,
John A. Clark,
Keith Mander,
John A. McDermid:
Automated test-data generation for exception conditions.
Softw., Pract. Exper. 30(1): 61-79 (2000) |
| 1998 |
|---|
| 3 | EE | Nigel Tracey,
John A. Clark,
Keith Mander,
John A. McDermid:
An Automated Framework for Structural Test-Data Generation.
ASE 1998: 285-288 |
| 2 | EE | John A. McDermid,
Andy Galloway,
Simon Burton,
John A. Clark,
Ian Toyn,
Nigel Tracey,
Samuel H. Valentine:
Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap.
ICFEM 1998: 76- |
| 1 | EE | Nigel Tracey,
John A. Clark,
Keith Mander:
Automated Program Flaw Finding Using Simulated Annealing.
ISSTA 1998: 73-81 |
