Software Component Certification. - John Morris; Gareth Lee; Kris Parker; Gary A. Bundell; Chiou Peng Lam (Computer, 2001)

Determining Component Reliability Using a Testing Index. - John Morris; Chiou Peng Lam; Gareth Lee; Kris Parker; Gary A. Bundell (ACSC, 2002)

Quantifying skull shape. - James Devenish; Robert Linggard; Kasia Michalak; Kris Parker; Irina V. Emelyanova; Lesley Cala; Yianni Attikiouzel; N. Hicks; P. Robbins; F. Mastaglia (ICARCV, 2002)

Automated measurement of brain dimensions. - Kasia Michalak; James Devenish; Robert Linggard; Kris Parker; Irina V. Emelyanova; Lesley Cala; Yianni Attikiouzel; N. Hicks; P. Robbins; F. Mastaglia (ICARCV, 2002)

Setting a Framework for Trusted Component Trading. - John Morris; Chiou Peng Lam; Gary A. Bundell; Gareth Lee; Kris Parker (Component-Based Software Quality, 2003)

Using symbolic execution to guide test generation. - Gareth Lee; John Morris; Kris Parker; Gary A. Bundell; Chiou Peng Lam (Softw. Test. Verification Reliab., 2005)