Towards the Integration of Visual and Formal Models for GUI Testing.
Ana C. R. PaivaJoão C. P. FariaRaul F. A. M. VidalPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- formal models
- rule based systems
- formal model
- test cases
- process model
- visual programming
- low level
- data integration
- user interface
- data model
- visual information
- visual representation
- software testing
- model based testing
- user friendly
- information integration
- case study
- database
- expert systems
- graphical user interfaces
- data sets
- visual perception
- visual cues
- visual data
- high level
- pattern recognition
- data analysis
- test set
- visual features