Murdoch University Research Repository

Welcome to the Murdoch University Research Repository

The Murdoch University Research Repository is an open access digital collection of research
created by Murdoch University staff, researchers and postgraduate students.

Learn more

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 Fri Dec 3 01:30:28 2021 UTC.