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