@inproceedings{f37977a0a0ef4826b10c9f4a27f2e13b,
title = "MobiGolog: Formal task modelling for testing user gestures interaction in mobile applications",
abstract = "Multi-touch gestures like swipe and pinch have introduced a new interaction paradigm that is currently used in developing mobile applications. Such applications can include different user gestures that cause different results for different interactions with the same user interface element. Testing such user interaction is complex. We present a formal task-based approach to automate testing of user gestures in mobile applications. In previous work, we used TaMoGolog, a formal task modelling language built on the top of the Golog family of high-level programming languages, for evaluating user interfaces along the development process. In this work, we present MobiGolog that extends TaMoGolog to support the testing of users' multi-touch gestures in the developing and developed mobile applications.",
keywords = "MobiGolog, Mobile environments, Mobile interaction, Multi-touch gestures, TaMoGolog, Task models",
author = "Humayoun, {Shah Rukh} and Yael Dubinsky",
year = "2014",
doi = "10.1145/2593902.2593914",
language = "English",
isbn = "9781450328784",
series = "1st International Conference on Mobile Software Engineering and Systems, MOBILESoft 2014 - Proceedings",
publisher = "Association for Computing Machinery",
pages = "46--49",
booktitle = "1st International Conference on Mobile Software Engineering and Systems, MOBILESoft 2014 - Proceedings",
address = "United States",
note = "1st International Conference on Mobile Software Engineering and Systems, MOBILESoft 2014 ; Conference date: 02-06-2014 Through 03-06-2014",
}