{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T18:10:10Z","timestamp":1750875010343,"version":"3.41.0"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319663012"},{"type":"electronic","value":"9783319663029"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66302-9_5","type":"book-chapter","created":{"date-parts":[[2017,9,11]],"date-time":"2017-09-11T13:33:55Z","timestamp":1505136835000},"page":"93-113","source":"Crossref","is-referenced-by-count":1,"title":["Automatically Testing of Multimodal Interactive Applications"],"prefix":"10.1007","author":[{"given":"Le Thanh","family":"Long","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nguyen Thanh","family":"Binh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ioannis","family":"Parissis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,10]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Coutaz, J., Nigay, L., Salber, D., Blandford, A., May, J., Young, R.M.: Four easy pieces for assessing the usability of multimodal interaction: the care properties. In: INTERACT, pp. 115\u2013120. Chapman & Hall (1995)","DOI":"10.1007\/978-1-5041-2896-4_19"},{"issue":"3","key":"5_CR2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1111\/1467-8659.1230025","volume":"12","author":"DJ Duke","year":"1993","unstructured":"Duke, D.J., Harrison, M.D.: Abstract interaction objects. Comput. Graph. Forum 12(3), 25\u201336 (1993)","journal-title":"Comput. Graph. Forum"},{"key":"5_CR3","unstructured":"Patern\u00f2, F., Faconti, G.: On the use of LOTOS to describe graphical interaction. In: HCI 1992: Proceedings of the Conference on People and Computers VII, pp. 155\u2013173. Cambridge University Press, New York (1993)"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Le, T.L., Nguyen, T.B., Parissis, I.: A new test modeling language for interactive applications based on task trees. In: Proceedings of the 4th International Symposium on Information and Communication Technology, pp. 285\u2013293 (2013)","DOI":"10.1145\/2542050.2542081"},{"key":"5_CR5","unstructured":"Le, T.L., Binh, N.T., Parissis, I.: Testing Multimodal Interactive Applications By Means of The TTT Language, Domain Specific Model-Based Approaches To Verification And Validation - Amaretto 2016. In: Conjunction with the 4th International Conference on Model-Driven Engineering and Software Development - MODELSWARD 2016, Rome, Italy, 19 February 2016"},{"issue":"6","key":"5_CR6","doi-asserted-by":"crossref","first-page":"454","DOI":"10.1016\/j.jlap.2009.01.005","volume":"78","author":"L Madani","year":"2009","unstructured":"Madani, L., Parissis, I.: Automatically testing interactive applications using extendedtask trees. J. Log. Algebr. Program. 78(6), 454\u2013471 (2009)","journal-title":"J. Log. Algebr. Program."},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Madani, L., Oriat, C., Parissis, I., Bouchet, J., Nigay, L.: Synchronous testing of multimodal systems: an operational profile-based approach. In: 16th International Symposium on Software Reliability Engineering (ISSRE 2005), Chicago, IL, USA, pp. 325\u2013334, 8\u201311 November 2005","DOI":"10.1109\/ISSRE.2005.40"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Madani, L., Parissis, I.: Automatically testing interactive multimodal systems using task trees and fusion models. In: 6th International Workshop on Automation of Software Test (AST 2011), Hawai, USA (2011)","DOI":"10.1145\/1982595.1982605"},{"key":"5_CR9","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/52.199724","volume":"10","author":"J Musa","year":"1993","unstructured":"Musa, J.: Operational profiles in software-reliability engineering. IEEE Softw. 10, 14\u201332 (1993)","journal-title":"IEEE Softw."},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Palanque, P., Bastide, R.: Verification of interactive software by analysis of its formal specification. In: INTERACT 1995, Norway (1995)","DOI":"10.1007\/978-1-5041-2896-4_32"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Shehady, R.K., Siewiorek, D.P.: A method to automate user interface testing using variable finite state machines. In: FTCS 1997: Proceedings of the 27th International Symposium on Fault-Tolerant Computing (FTCS 1997), p. 80, Washington, DC, USA. IEEE Computer Society (1997)","DOI":"10.1109\/FTCS.1997.614080"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"A\u0131t-Ameur, Y., Kamel, N.: A generic formal specification of fusion of modalities in a multimodal HCI. In: Jacquart, R., (ed.) IFIP Congress Topical Sessions, pp. 415\u2013420. Kluwer (2004)","DOI":"10.1007\/978-1-4020-8157-6_34"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1007\/978-3-642-03655-2_56","volume-title":"Human-Computer Interaction \u2013 INTERACT 2009","author":"MH TerBeek","year":"2009","unstructured":"TerBeek, M.H., Faconti, G.P., Massink, M., Palanque, P.A., Winckler, M.: Resilience of interaction techniques to interrupts: a formal model-based approach. In: Gross, T., Gulliksen, J., Kotz\u00e9, P., Oestreicher, L., Palanque, P., Prates, ROliveira, Winckler, M. (eds.) INTERACT 2009, Part I. LNCS, vol. 5726, pp. 494\u2013509. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-03655-2_56"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Patern\u00f2, F., Mancini, C., Meniconi, S.: ConcurTaskTrees: a diagrammatic notation for specifying task models. In: Howard, S., Hammond, J., Lindgaard, G. (eds.) Proceedings of the 6th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 1997), Sydney, Australia, pp. 362\u2013369. Chapman & Hall, Boca Raton (1997)","DOI":"10.1007\/978-0-387-35175-9_58"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Palanque, P., Winckler, M., Ladry, J.-F., TerBeek, M.H., Faconti, G., Massink, M.: A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems. In: Calvary, G., Graham, T.C.N., Gray, P. (eds.) Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2009), Pittsburgh, PA, USA, pp. 211\u2013220. ACM Press (2009)","DOI":"10.1145\/1570433.1570473"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Kamel, N., A\u00eftAmeur, Y., Selouani, S.-A., Hamam, H.: A formal model to handle the adaptability of multimodal user interfaces. In: Liang, B., Whitaker, R.M. (eds.) Proceedings of the 1st International ICST Conference on Ambient Media and Systems (AMBI-SYS 2008), Quebec, Canada (2008)","DOI":"10.4108\/ICST.AMBISYS2008.2882"},{"key":"5_CR17","doi-asserted-by":"crossref","first-page":"713","DOI":"10.1007\/s00607-015-0460-y","volume":"97","author":"L Mohand-Oussa\u00efd","year":"2015","unstructured":"Mohand-Oussa\u00efd, L., A\u00eft-Sadoune, I., A\u00eftAmeur, Y., Ahmed-Nacer, M.: A formal model for output multimodal HCI - an Event-B formalization. Computing 97, 713\u2013740 (2015)","journal-title":"Computing"}],"container-title":["Communications in Computer and Information Science","Model-Driven Engineering and Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66302-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T17:37:30Z","timestamp":1750873050000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66302-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319663012","9783319663029"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66302-9_5","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2017]]}}}