Please use this identifier to cite or link to this item:
Title: A tool for automatic verification of post-transaction input error handling
Authors: Ho, Mary Shih Leong.
Keywords: DRNTU::Engineering::Electrical and electronic engineering::Computer hardware, software and systems
Issue Date: 2001
Abstract: This research project is to experiment on the proposed approach and to develop a prototype tool to transform the source codes for database transactions into control flow graphs so that the proposed approach can be applied to verify if the database transactions are correctable.
Rights: Nanyang Technological University
Fulltext Permission: restricted
Fulltext Availability: With Fulltext
Appears in Collections:EEE Theses

Files in This Item:
File Description SizeFormat 
  Restricted Access
1.85 MBAdobe PDFView/Open

Page view(s)

checked on Sep 30, 2020


checked on Sep 30, 2020

Google ScholarTM


Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.