Automated verification and testing of user-interactive undo features in database applications.
Minh Ngoc NgoHee Beng Kuan TanPublished in: Softw. Test. Verification Reliab. (2012)
Keyphrases
- database applications
- object oriented
- database design
- database management systems
- automated verification
- graphical interfaces
- database development
- database technology
- databases
- data access
- database systems
- database
- sql server
- oracle database
- visual basic
- formal verification
- database server
- user interface
- data entry
- database access
- application developers
- database management
- model checking
- cd rom
- database programming
- metadata
- third party
- database operations
- data mining
- knowledge representation