TY  - SER
AU  - Pabelico,Rafael Ramos
AU  - Venkatachalam,Paruvachi A.
AU  - Kanchit Malaivongs,
AU  - Sadananda,Ramakoti
ED  - Government of Australia, 
TI  - Analysis of a few methods on correctness based on program structure
T2  - Research studies project report
PY  - 1987///
CY  - Bangkok
PB  - Asian Institute of Technology
KW  - Computer programs
KW  - Correctness
N1  - 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
N2  - 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
UR  - http://203.159.5.9/ait-thesis/detail.php?q=B18969
ER  -