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:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Theses and Dissertations |
| Published: |
2008
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10356/4377 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Nanyang Technological University |
| Summary: | 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. |
|---|