02375nas|a2200385 i 4500 20260817162302.0 241198s1987 th uzm rtt 00| a1eng d .b10080235 AIT RSPR no. CS-87-6 Pabelico, Rafael Ramos Analysis of a few methods on correctness based on program structure Bangkok : Asian Institute of Technology, 1987 78 p. Research studies project report ; no. CS-87-6 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 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. Computer programs Correctness Venkatachalam, Paruvachi A., Chairperson Kanchit Malaivongs, Examination Committee Sadananda, Ramakoti, Examination Committee Government of Australia, Scholarship Donor Asian Institute of Technology. Research studies project report ; no. CS-87-6 Full-Text http://203.159.5.9/ait-thesis/detail.php?q=B18969 .b10080235 mnait y 240410 2 951012 m a y 0 mnait mnarc 22 40 Barcode : 30050120616809 CREATED : 2012-07-09 RECORD # : i12693923 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 0 TOT RENEW : 0 Barcode : 30050120238596 CREATED : 2016-03-24 RECORD # : i12909038 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 0 TOT RENEW : 0 4558 4558 0 0 0 0 MAIN MAIN mnait 2026-08-17 0 AIT RSPR no. CS-87-6 30050120616809 2026-08-17 16:23:02 3 2026-08-17 22 0 0 0 0 MAIN MAIN mnarc 2026-08-17 0 AIT RSPR no. CS-87-6 30050120238596 2026-08-17 16:23:02 2026-08-17 40