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.

书目详细资料
主要作者: Ho, Mary Shih Leong.
其他作者: Tan Hee, Beng Kuan
格式: Thesis
出版: 2008
主题:
在线阅读:http://hdl.handle.net/10356/4377