Touch-Screen Stimulation for Automated Verification of Touchscreen-Based Devices.

Ivan Kastelan Nikola Bednar Mihajlo Katona Dusan Zivkov

Published in: ECBS (2012)

Keyphrases

touch screen
automated verification
smart phones
mobile phone
model checking
mobile devices
automated reasoning
formal verification
temporal logic
graph theory
benchmark test
mobile applications
probability distribution
handheld devices
expert systems
data sets
context aware
probabilistic model
natural language