A tool for automatic verification of post-transaction input error handling

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.

Saved in:

Bibliographic Details
Main Author:	Ho, Mary Shih Leong.
Other Authors:	Tan Hee, Beng Kuan
Format:	Theses and Dissertations
Published:	2008
Subjects:	DRNTU::Engineering::Electrical and electronic engineering::Computer hardware, software and systems
Online Access:	http://hdl.handle.net/10356/4377
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	Nanyang Technological University

id	sg-ntu-dr.10356-4377
record_format	dspace
spelling	sg-ntu-dr.10356-43772023-07-04T15:20:11Z A tool for automatic verification of post-transaction input error handling Ho, Mary Shih Leong. Tan Hee, Beng Kuan School of Electrical and Electronic Engineering DRNTU::Engineering::Electrical and electronic engineering::Computer hardware, software and systems 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. Master of Science (Communication Software and Networks) 2008-09-17T09:50:20Z 2008-09-17T09:50:20Z 2001 2001 Thesis http://hdl.handle.net/10356/4377 Nanyang Technological University application/pdf
institution	Nanyang Technological University
building	NTU Library
continent	Asia
country	Singapore Singapore
content_provider	NTU Library
collection	DR-NTU
topic	DRNTU::Engineering::Electrical and electronic engineering::Computer hardware, software and systems
spellingShingle	DRNTU::Engineering::Electrical and electronic engineering::Computer hardware, software and systems Ho, Mary Shih Leong. A tool for automatic verification of post-transaction input error handling
description	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.
author2	Tan Hee, Beng Kuan
author_facet	Tan Hee, Beng Kuan Ho, Mary Shih Leong.
format	Theses and Dissertations
author	Ho, Mary Shih Leong.
author_sort	Ho, Mary Shih Leong.
title	A tool for automatic verification of post-transaction input error handling
title_short	A tool for automatic verification of post-transaction input error handling
title_full	A tool for automatic verification of post-transaction input error handling
title_fullStr	A tool for automatic verification of post-transaction input error handling
title_full_unstemmed	A tool for automatic verification of post-transaction input error handling
title_sort	tool for automatic verification of post-transaction input error handling
publishDate	2008
url	http://hdl.handle.net/10356/4377
_version_	1772827620752228352

A tool for automatic verification of post-transaction input error handling

Similar Items