Pabelico, Rafael Ramos creator Venkatachalam, Paruvachi A. Chairperson Kanchit Malaivongs Examination Committee Sadananda, Ramakoti Examination Committee Government of Australia Scholarship Donor text series technical report th Bangkok Asian Institute of Technology 1987 continuing eng 78 p. Verification and testing techniques have been discussed and compared in the past from the viewpoint of their effectiveness in determining program correctness. This paper analyzes and compares a testing method, a formal verification method and symbolic execution based on the structures of the programs to which they are applied. It is shown that the program structures affect the complexity of these methods. Also, improvements and aids to these methods are also presented. The time complexities of these methods were estimated based on some tree models into which programs can be transformed. A research study summitted in partial fulfillment of the requirements for the degree of Master of Engineering, School of Engineering and Technology Research Studies Project Report (M. Sc.) - Asian Institute of Technology, 1987 Computer programs Correctness Asian Institute of Technology. http://203.159.5.9/ait-thesis/detail.php?q=B18969 http://203.159.5.9/ait-thesis/detail.php?q=B18969 241198 20260817162302.0