- Search
Publications: Parker, Kris
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.