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

• Main Authors: Tan, Hee Beng Kuan, Ngo, Minh Ngoc
• 其他作者: School of Electrical and Electronic Engineering
• 格式: Article
• 語言: 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...