Touch screen mobile application as part of testing and verification system.
Dusan ZivkovIvan KastelanE. NeborovskiGoran MiljkovicMihajlo KatonaPublished in: MIPRO (2012)
Keyphrases
- mobile applications
- touch screen
- smart phones
- mobile devices
- mobile phone
- context aware
- formal verification
- test generation
- m learning
- mobile users
- symbolic execution
- mobile environments
- user experience
- model checking
- mobile services
- end users
- test cases
- expert systems
- mobile technologies
- mobile computing
- face verification
- android platform
- user interface
- formal methods
- signature verification
- verification method