Please use this identifier to cite or link to this item: https://hdl.handle.net/10356/4377
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.
URI: http://hdl.handle.net/10356/4377
Rights: Nanyang Technological University
Fulltext Permission: restricted
Fulltext Availability: With Fulltext
Appears in Collections:EEE Theses

Files in This Item:
File Description SizeFormat 
EEE-THESES_417.pdf
  Restricted Access
1.85 MBAdobe PDFView/Open

Page view(s)

216
checked on Sep 30, 2020

Download(s)

3
checked on Sep 30, 2020

Google ScholarTM

Check

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