Design, verification and measurement for post-transaction user input error handling

• Main Author: Ni, Lar Thein.
• Other Authors: Tan Hee, Beng Kuan
• Format: Theses and Dissertations
• Published: 2008
• Subjects: DRNTU::Engineering::Computer science and engineering::Hardware; DRNTU::Engineering::Computer science and engineering::Software
• Online Access: http://hdl.handle.net/10356/4974
• Institution: Nanyang Technological University

Based on the patterns, a novel approach is proposed for the automated approximate verification of provisions for correcting post-transaction user input errors of a transaction from transaction source code.