{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:32:01Z","timestamp":1761597121225,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540926979"},{"type":"electronic","value":"9783540926986"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-92698-6_3","type":"book-chapter","created":{"date-parts":[[2008,12,22]],"date-time":"2008-12-22T20:44:26Z","timestamp":1229978666000},"page":"36-52","source":"Crossref","is-referenced-by-count":6,"title":["Formal Testing of Multimodal Interactive Systems"],"prefix":"10.1007","author":[{"given":"Jullien","family":"Bouchet","sequence":"first","affiliation":[]},{"given":"Laya","family":"Madani","sequence":"additional","affiliation":[]},{"given":"Laurence","family":"Nigay","sequence":"additional","affiliation":[]},{"given":"Catherine","family":"Oriat","sequence":"additional","affiliation":[]},{"given":"Ioannis","family":"Parissis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/3-540-48320-9_13","volume-title":"CONCUR\u201999. Concurrency Theory","author":"A. Benveniste","year":"1999","unstructured":"Benveniste, A., Caillaud, B., Le Guernic, P.: From synchrony to asynchrony. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664, pp. 162\u2013177. Springer, Heidelberg (1999)"},{"key":"3_CR2","first-page":"101","volume-title":"Cognitive Modelling for User Requirements. Computers, Communication and Usability: Design issues, research and methods for integrated services","author":"P. Barnard","year":"1993","unstructured":"Barnard, P., May, J.: Cognitive Modelling for User Requirements. Computers, Communication and Usability: Design issues, research and methods for integrated services, pp. 101\u2013146. Elsevier, Amsterdam (1993)"},{"key":"3_CR3","first-page":"111","volume-title":"Proc. of HCI 1993, People and Computers VIII","author":"A. Blandford","year":"1993","unstructured":"Blandford, A., Young, R.: Developing runnable user models: Separating the problem solving techniques from the domain knowledge. In: Proc. of HCI 1993, People and Computers VIII, pp. 111\u2013122. Cambridge University Press, Cambridge (1993)"},{"key":"3_CR4","first-page":"262","volume-title":"Proc. of SIGGRAPH 1980","author":"R. Bolt","year":"1980","unstructured":"Bolt, R.: Put That There: Voice and Gesture at the Graphics Interface. In: Proc. of SIGGRAPH 1980, pp. 262\u2013270. ACM Press, New York (1980)"},{"key":"3_CR5","first-page":"251","volume-title":"Proc. of ICMI 2004","author":"J. Bouchet","year":"2004","unstructured":"Bouchet, J., Nigay, L., Ganille, T.: ICARE Software Components for Rapidly Developing Multimodal Interfaces. In: Proc. of ICMI 2004, pp. 251\u2013258. ACM Press, New York (2004)"},{"key":"3_CR6","first-page":"1325","volume-title":"Proc. of CHI 2004 extended abstract","author":"J. Bouchet","year":"2004","unstructured":"Bouchet, J., Nigay, L.: ICARE: A Component-Based Approach for the Design and Development of Multimodal Interfaces. In: Proc. of CHI 2004 extended abstract, pp. 1325\u20131328. ACM Press, New York (2004)"},{"key":"3_CR7","first-page":"115","volume-title":"Proc. Of INTERACT 1995","author":"J. Coutaz","year":"1995","unstructured":"Coutaz, J., Nigay, L., Salber, D., Blandford, A., May, J., Young, R.: Four Easy Pieces for Assessing the Usability of Multimodal Interaction: The CARE properties. In: Proc. Of INTERACT 1995, pp. 115\u2013120. Chapman et Hall, Boca Raton (1995)"},{"key":"3_CR8","first-page":"242","volume-title":"Proc. of DSV-IS 1998","author":"B. d\u2019Ausbourg","year":"1998","unstructured":"d\u2019Ausbourg, B.: Using Model Checking for the Automatic Validation of User Interfaces Systems. In: Proc. of DSV-IS 1998, pp. 242\u2013260. Springer, Heidelberg (1998)"},{"key":"3_CR9","first-page":"267","volume-title":"Proc. of ICSE 1999","author":"L. Bousquet du","year":"1999","unstructured":"du Bousquet, L., Ouabdesselam, F., Richier, J.-L., Zuanon, N.: Lutess: a Specification Driven Testing Environment for Synchronous Software. In: Proc. of ICSE 1999, pp. 267\u2013276. ACM Press, New York (1999)"},{"key":"3_CR10","first-page":"25","volume-title":"Proc. of Eurographics 1993","author":"D. Duke","year":"1993","unstructured":"Duke, D., Harrison, M.: Abstract Interaction Objects. In: Proc. of Eurographics 1993, pp. 25\u201336. North Holland, Amsterdam (1993)"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/11752707_9","volume-title":"Interactive Systems. Design, Specification, and Verification","author":"S. Dupuy-Chessa","year":"2006","unstructured":"Dupuy-Chessa, S., du Bousquet, L., Bouchet, J., Ledru, Y.: Test of the ICARE platform fusion mechanism. In: Gilroy, S.W., Harrison, M.D. (eds.) DSV-IS 2005. LNCS, vol.\u00a03941, pp. 102\u2013113. Springer, Heidelberg (2006)"},{"key":"3_CR12","first-page":"327","volume-title":"Proc. of Feature Interactions in Telecommunications Systems V","author":"N. Griffeth","year":"1998","unstructured":"Griffeth, N., Blumenthal, R., Gregoire, J.-C., Ohta, T.: Feature Interaction Detection Contest. In: Proc. of Feature Interactions in Telecommunications Systems V, pp. 327\u2013359. IOS Press, Amsterdam (1998)"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0028726","volume-title":"Computer Aided Verification","author":"N. Halbwachs","year":"1998","unstructured":"Halbwachs, N.: Synchronous programming of reactive systems, a tutorial and commented bibliography. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 1\u201316. Springer, Heidelberg (1998)"},{"key":"3_CR14","first-page":"234","volume-title":"Proc. of CHI 1997","author":"H. Ishii","year":"1997","unstructured":"Ishii, H., Ullmer, B.: Tangible Bits: Towards Seamless Interfaces between People, Bits and Atoms. In: Proc. of CHI 1997, pp. 234\u2013241. ACM Press, New York (1997)"},{"key":"3_CR15","unstructured":"Jourde, F., Nigay, L., Parissis, I.: Test formel de syst\u00e8mes interactifs multimodaux: couplage ICARE \u2013 Lutess. In: Proc. of 19\u00e8mes Journ\u00e9es Internationales du g\u00e9nie logiciel (in french)"},{"key":"3_CR16","unstructured":"Madani, L., Parissis, I., Nigay, L.: Testing the CARE properties of multimodal applications by means of a synchronous approach. In: IASTED Int\u2019l Conference on Software Engineering, Innsbruck, Austria (February 2005)"},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1109\/ISSRE.2005.40","volume-title":"Proc. of Int\u2019l Symposium on Software Reliability Engineering (ISSRE 2005)","author":"L. Madani","year":"2005","unstructured":"Madani, L., Oriat, C., Parissis, I., Bouchet, J., Nigay, L.: Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach. In: Proc. of Int\u2019l Symposium on Software Reliability Engineering (ISSRE 2005), pp. 325\u2013334. IEEE Computer Society, Los Alamitos (2005)"},{"key":"3_CR18","first-page":"98","volume-title":"Proc. of CHI 1995","author":"L. Nigay","year":"1995","unstructured":"Nigay, L., Coutaz, J.: A Generic Platform for Addressing the Multimodal Challenge. In: Proc. of CHI 1995, pp. 98\u2013105. ACM Press, New York (1995)"},{"key":"3_CR19","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1109\/ISSRE.1995.497669","volume-title":"Proc. of Int\u2019l Symposium on Software Reliability Engineering (ISSRE 1995)","author":"F. Ouabdesselam","year":"1995","unstructured":"Ouabdesselam, F., Parissis, I.: Constructing Operational Profiles for Synchronous Critical Software. In: Proc. of Int\u2019l Symposium on Software Reliability Engineering (ISSRE 1995), pp. 286\u2013293. IEEE Computer Society, Los Alamitos (1995)"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Mori, G., Paterno, F., Santoro, C.: CTTE: Support for Developing and Analyzing Task Models for Interactive System Design. In: IEEE Transactions on Software Engineering, pp. 797\u2013813 (August 2002)","DOI":"10.1109\/TSE.2002.1027801"},{"key":"3_CR21","first-page":"191","volume-title":"Proc. of INTERACT 1995","author":"P. Palanque","year":"1995","unstructured":"Palanque, P., Bastide, R.: Verification of Interactive Software by Analysis of its Formal Specification. In: Proc. of INTERACT 1995, pp. 191\u2013197. Chapman et Hall, Boca Raton (1995)"},{"key":"3_CR22","first-page":"127","volume-title":"Proc. of ACM SIGSOFT","author":"I. Parissis","year":"1996","unstructured":"Parissis, I., Ouabdesselam, F.: Specification-based Testing of Synchronous Software. In: Proc. of ACM SIGSOFT, pp. 127\u2013134. ACM Press, New York (1996)"},{"key":"3_CR23","first-page":"155","volume-title":"Proc. of HCI 1992","author":"F. Paterno","year":"1992","unstructured":"Paterno, F., Faconti, G.: On the Use of LOTOS to Describe Graphical Interaction. In: Proc. of HCI 1992, pp. 155\u2013173. Cambridge University Press, Cambridge (1992)"},{"issue":"2","key":"3_CR24","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1145\/376929.376941","volume":"8","author":"H. Thimbleby","year":"2001","unstructured":"Thimbleby, H., Cairns, P., Jones, M.: Usability Analysis with Markov Models. ACM Transactions on Computer Human Interaction\u00a08(2), 99\u2013132 (2001)","journal-title":"ACM Transactions on Computer Human Interaction"},{"key":"3_CR25","series-title":"Lecture Notes in Computer Science","first-page":"32","volume-title":"Interactive Systems. Design, Specification, and Verification","author":"F. Vernier","year":"2001","unstructured":"Vernier, F., Nigay, L.: A Framework for the Combination and Characterization of Output Modalities. In: Palanque, P., Patern\u00f3, F. (eds.) DSV-IS 2000. LNCS, vol.\u00a01946, pp. 32\u201348. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Engineering Interactive Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92698-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T11:52:59Z","timestamp":1558007579000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92698-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540926979","9783540926986"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92698-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}