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.
主要作者: | |
---|---|
其他作者: | |
格式: | Thesis |
出版: |
2008
|
主题: | |
在线阅读: | http://hdl.handle.net/10356/4377 |