Touch screen mobile application as part of testing and verification system.

Dusan Zivkov Ivan Kastelan E. Neborovski Goran Miljkovic Mihajlo Katona

Published 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