Catalog Home Page

Publications: Parker, Kris

Stats for Parker, Kris
Export as [feed] RSS
Group by: Item Type | Year
Jump to: 2005 | 2003 | 2002 | 2001 | 2000
Number of items: 6.

2005

Lee, G., Morris, J., Parker, K., Bundell, G.A. and Lam, P. (2005) Using symbolic execution to guide test generation. Software Testing, Verification and Reliability, 15 (1). pp. 41-61.

2003

Cala, L.A., Parker, K., Emelyanova, I., Hicks, N., Robbins, P., Attikiouzel, Y., Michalak, K., Devenish, J., Kosek, J. and Mastaglia, F.L. (2003) Computer-Assisted Diagnosis of cranial CT scans. Rivista di Neuroradiologia, 16 (5). pp. 947-952.

2002

Michalak, K., Devenish, J., Linggard, R., Parker, K., Emelyanova, I., Cala, L., Attikiouzel, Y., Hicks, N., Robbins, P. and Mastaglia, F. (2002) Automated measurement of brain dimensions. In: Proceedings of the 7th International Conference on Control, Automation, Robotics and Vision, ICARC 2002, 2 - 5 December, Singapore pp. 525-529.

Devenish, J., Linggard, R., Michalak, K., Parker, K., Emelyanova, I., Cala, L., Attikiouzel, Y., Hicks, N., Robbins, P. and Mastaglia, F. (2002) Quantifying skull shape. In: Proceedings of the 7th International Conference on Control, Automation, Robotics and Vision, ICARCV 2002, 2 - 5 December, Singapore pp. 530-535.

2001

Morris, J., Lee, G., Parker, K., Bundell, G.A. and Lam, C.P. (2001) Software component certification. Computer, 34 (9). pp. 30-36.

2000

Bundell, G.A., Lee, G., Morris, J., Parker, K. and Peng, L. (2000) A software component verification tool. In: International Conference on Software Methods and Tools(SMT 2000), 6 - 9 November 2000, Wollongong, NSW pp. 137-146.

This list was generated on Tue Nov 12 15:54:03 2019 UTC.