A tool for automatic verification of post-transaction input error handling.
Ho, Mary Shih Leong.
Date of Issue2001
School of Electrical and Electronic Engineering
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.
DRNTU::Engineering::Electrical and electronic engineering::Computer hardware, software and systems
Nanyang Technological University