| 2005 |
|---|
| 6 | EE | Gareth Lee,
John Morris,
Kris Parker,
Gary A. Bundell,
Chiou Peng Lam:
Using symbolic execution to guide test generation.
Softw. Test., Verif. Reliab. 15(1): 41-61 (2005) |
| 2003 |
|---|
| 5 | EE | John Morris,
Chiou Peng Lam,
Gary A. Bundell,
Gareth Lee,
Kris Parker:
Setting a Framework for Trusted Component Trading.
Component-Based Software Quality 2003: 128-158 |
| 2002 |
|---|
| 4 | EE | John Morris,
Chiou Peng Lam,
Gareth Lee,
Kris Parker,
Gary A. Bundell:
Determining Component Reliability Using a Testing Index.
ACSC 2002: 167-176 |
| 3 | EE | Kasia Michalak,
James Devenish,
Robert Linggard,
Kris Parker,
Irina Emelyanova,
Lesley Cala,
Yianni Attikiouzel,
N. Hicks,
P. Robbins,
F. Mastaglia:
Automated measurement of brain dimensions.
ICARCV 2002: 525-529 |
| 2 | EE | James Devenish,
Robert Linggard,
Kasia Michalak,
Kris Parker,
Irina Emelyanova,
Lesley Cala,
Yianni Attikiouzel,
N. Hicks,
P. Robbins,
F. Mastaglia:
Quantifying skull shape.
ICARCV 2002: 530-535 |
| 2001 |
|---|
| 1 | EE | John Morris,
Gareth Lee,
Kris Parker,
Gary A. Bundell,
Chiou Peng Lam:
Software Component Certification.
IEEE Computer 34(9): 30-36 (2001) |
