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
Number of items: 6.

Journal Article

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.

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.

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

Conference Paper

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.

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 Aug 4 03:41:52 2020 UTC.