The Community for Technology Leaders
2013 20th Working Conference on Reverse Engineering (WCRE) (2002)
Richmond, Virginia
Oct. 29, 2002 to Nov. 1, 2002
ISBN: 0-7695-1799-4
pp: 0233
ABSTRACT
Software testing is a time-consuming and error-prone process. Automated software verification is an important key to improve software testing. This paper presents a novel approach for the automated approximate verification of provisions of transactions for correcting effects that result from executing database transactions with wrong user inputs. The provision is essential in any database application. The approach verifies the provision through analyzing the source codes of transactions in a database application. It is based on some patterns that in all likelihood exist between the control flow graph of a transaction and the control flow graphs of transactions for correcting some post-transaction user input errors of the former transaction. We have validated the patterns statistically.
INDEX TERMS
CITATION
H.B.K. Tan, N.L. Thein, "Verifying Provisions for Post-Transaction User Input Error Correction through Static Program Analysis", 2013 20th Working Conference on Reverse Engineering (WCRE), vol. 00, no. , pp. 0233, 2002, doi:10.1109/WCRE.2002.1173081
88 ms
(Ver 3.3 (11022016))