Property Preserving Development and Testing for C SP-C ASL Temesghen Kahsai Submitted to the University of Wales in fulfillment of the requirements for the degree of Doctor of Philosophy Department of Computer Science Swansea University May 2010