Automated verification and testing of user-interactive undo features in database applications

• المؤلفون الرئيسيون: Tan, Hee Beng Kuan, Ngo, Minh Ngoc
• مؤلفون آخرون: School of Electrical and Electronic Engineering
• التنسيق: مقال
• اللغة: English
• منشور في: 2013
• الموضوعات: DRNTU::Engineering::Electrical and electronic engineering
• الوصول للمادة أونلاين: https://hdl.handle.net/10356/96693; http://hdl.handle.net/10220/11774
• المؤسسة: Nanyang Technological University

User-interactive undo is a recovery facility that enables users to correct mistakes easily by canceling or re-executing operations that have already been executed. This paper presents an interesting common structural property that has been discovered in programs that implementing user-interactive un...