{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:49:15Z","timestamp":1750308555448,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,6,2]],"date-time":"2014-06-02T00:00:00Z","timestamp":1401667200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,6,2]]},"DOI":"10.1145\/2593902.2593914","type":"proceedings-article","created":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T13:48:00Z","timestamp":1400593680000},"page":"46-49","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["MobiGolog: formal task modelling for testing user gestures interaction in mobile applications"],"prefix":"10.1145","author":[{"given":"Shah Rukh","family":"Humayoun","sequence":"first","affiliation":[{"name":"University of Kaiserslautern, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yael","family":"Dubinsky","sequence":"additional","affiliation":[{"name":"IBM Research, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,6,2]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.77"},{"key":"e_1_3_2_1_2_1","first-page":"1043","volume-title":"HCII 2007","author":"Buchholz G.","year":"2007","unstructured":"Buchholz , G. , Engel , J. , M\u00e4rtin , C. , and Propp , S . 2007. Model-based usability evaluation: evaluation of tool support . HCII 2007 , LANCS 4550, pp. 1043 - 1052 , 2007 . Buchholz, G., Engel, J., M\u00e4rtin, C., and Propp, S. 2007. Model-based usability evaluation: evaluation of tool support. HCII 2007, LANCS 4550, pp. 1043-1052, 2007."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00031-X"},{"key":"e_1_3_2_1_4_1","unstructured":"de Giacomo G. Lesp\u00e9rance Y. and Pearce A. R. 2010. Situation Calculus Based Programs for Representing and Reasoning about Game Structures. KR 2010.  de Giacomo G. Lesp\u00e9rance Y. and Pearce A. R. 2010. Situation Calculus Based Programs for Representing and Reasoning about Game Structures. KR 2010."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2542128.2542140"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2037296.2037340"},{"key":"e_1_3_2_1_7_1","volume-title":"IHCI","author":"Humayoun S. R.","year":"2011","unstructured":"Humayoun , S. R. , Dubinsky , T. , Nazarov , E. , Israel , A. , and Catarci , T . 2011. TaMUlator: A Tool to Manage Task Model-based Usability Evaluation in Development Environments . IHCI 2011 , July 20-26. Humayoun, S. R., Dubinsky, T., Nazarov, E., Israel, A., and Catarci, T. 2011. TaMUlator: A Tool to Manage Task Model-based Usability Evaluation in Development Environments. IHCI 2011, July 20-26."},{"issue":"2","key":"e_1_3_2_1_9_1","first-page":"141","article-title":"Task-based User-System Interaction","volume":"26","author":"Humayoun S. R.","year":"2012","unstructured":"Humayoun , S. R. , Poggi , A. , Catarci , T. , and Dix , A. 2012 . Task-based User-System Interaction . KI , 26 ( 2 ), 141 - 149 . Humayoun, S. R., Poggi, A., Catarci, T., and Dix, A. 2012. Task-based User-System Interaction. KI, 26 (2), 141-149.","journal-title":"KI"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254556.2254666"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/2567709.2502588"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(96)00121-5"},{"key":"e_1_3_2_1_13_1","first-page":"362","volume-title":"ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models. Interact\u201997","author":"Patern\u00f2 F.","unstructured":"Patern\u00f2 , F. , Mancini , S. , and Meniconi , S . 1997 . ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models. Interact\u201997 , pp. 362 - 369 . Patern\u00f2, F., Mancini, S., and Meniconi, S. 1997. ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models. Interact\u201997, pp. 362-369."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Patern\u00f2 F. Russino A. and Santoro C. 2007. Remote evaluation of mobile applications. TAMODIA\u201907 155-169.   Patern\u00f2 F. Russino A. and Santoro C. 2007. Remote evaluation of mobile applications. TAMODIA\u201907 155-169.","DOI":"10.1007\/978-3-540-77222-4_13"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1045446.1045457"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2011.11"}],"event":{"name":"ICSE '14: 36th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","TCSE IEEE Computer Society's Tech. Council on Software Engin."],"location":"Hyderabad India","acronym":"ICSE '14"},"container-title":["Proceedings of the 1st International Conference on Mobile Software Engineering and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593902.2593914","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2593902.2593914","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:03:55Z","timestamp":1750273435000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593902.2593914"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,2]]},"references-count":15,"alternative-id":["10.1145\/2593902.2593914","10.1145\/2593902"],"URL":"https:\/\/doi.org\/10.1145\/2593902.2593914","relation":{},"subject":[],"published":{"date-parts":[[2014,6,2]]},"assertion":[{"value":"2014-06-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}