{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:12:09Z","timestamp":1725552729299},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540341451"},{"type":"electronic","value":"9783540341468"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11752707_9","type":"book-chapter","created":{"date-parts":[[2006,5,25]],"date-time":"2006-05-25T09:50:15Z","timestamp":1148550615000},"page":"102-113","source":"Crossref","is-referenced-by-count":7,"title":["Test of the ICARE Platform Fusion Mechanism"],"prefix":"10.1007","author":[{"given":"Sophie","family":"Dupuy-Chessa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lydie","family":"du Bousquet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jullien","family":"Bouchet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yves","family":"Ledru","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Bolt, R.A.: Put-that-there: Voice and gesture at the graphics interface. In: SIGGRAPH 1980, pp. 262\u2013270 (1980)","DOI":"10.1145\/965105.807503"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Bouchet, J., Nigay, L.: ICARE: A Component-Based Approach for the Design and Development of Multimodal Interfaces. In: Extended Abstracts of CHI 2004, Vienna, Austria, pp. 1325\u20131328 (2004)","DOI":"10.1145\/985921.986055"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Bouchet, J., Nigay, L., Ganille, T.: ICARE Software Components for Rapidly Developing Multimodal Interfaces. In: ICMI 2004, State College, PA, USA, pp. 251\u2013258 (2004)","DOI":"10.1145\/1027933.1027975"},{"key":"9_CR4","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"73","volume-title":"Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2003)","author":"L. Burdy","year":"2003","unstructured":"Burdy, L., Cheon, Y., Cok, D.R., Ernst, M., Kiniry, J., Leavens, G.T., Leino, K.R.M., Poll, E.: An Overview of JML Tools and Applications. In: Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2003). Electronic Notes in Theoretical Computer Science, vol.\u00a080, pp. 73\u201389. Elsevier, Amsterdam (2003)"},{"key":"9_CR5","first-page":"1325","volume-title":"Proceedings of the Fifth ACM International Multmedia Conference","author":"P.R. Cohen","year":"1997","unstructured":"Cohen, P.R., Johnston, M., McGee, D., Oviatt, S., Pittman, J., Smith, I., Chen, L., Clow, J.: QuickSet: Multimodal interaction for distributed applications. In: Glinert, E. (ed.) Proceedings of the Fifth ACM International Multmedia Conference, pp. 1325\u20131328. ACM Press, New York (1997)"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Flippo, F., Krebs, A., Marsic, I.: A Framework for Rapid Development of Multimodal Interfaces. In: ICMI 2003, pp. 109\u2013116 (2003)","DOI":"10.1145\/958432.958455"},{"key":"9_CR7","unstructured":"The Java Modeling Language (JML) Home Page, http:\/\/www.cs.iastate.edu\/leavens\/JML.html ."},{"key":"9_CR8","unstructured":"JUnit, http:\/\/www.junit.org"},{"key":"9_CR9","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/978-1-4615-5229-1_12","volume-title":"Behavioral Specifications of Businesses and Systems","author":"G.T. Leavens","year":"1999","unstructured":"Leavens, G.T., Baker, A.L., Ruby, C.: JML: A notation for detailed design. In: Kilov, H., Rumpe, B., Simmonds, I. (eds.) Behavioral Specifications of Businesses and Systems, pp. 175\u2013188. Kluwer, Dordrecht (1999)"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-540-24721-0_21","volume-title":"Fundamental Approaches to Software Engineering","author":"Y. Ledru","year":"2004","unstructured":"Ledru, Y., du Bousquet, L., Maury, O., Bontron, P.: Filtering TOBIAS combinatorial test suites. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol.\u00a02984, pp. 281\u2013294. Springer, Heidelberg (2004)"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Memon, A.: GUI Testing: Pitfalls and Process. Software technologies, 87\u201388 (2002)","DOI":"10.1109\/MC.2002.1023795"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Nardelli, L., Orlandi, M., Falavigna, D.: A Multi-Modal Architecture for Cellular Phones. In: ICMI 2004, State College, PA, USA, pp. 323\u2013324 (2004)","DOI":"10.1145\/1027933.1027988"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Nigay, L., Coutaz, J.: A Generic Platform for Addressing the Multimodal Challenge. In: CHI 1995, pp. 98\u2013105 (1995)","DOI":"10.1145\/223904.223917"},{"key":"9_CR14","volume-title":"Intelligence and Multimodality in Multimedia Interfaces","author":"L. Nigay","year":"1997","unstructured":"Nigay, L., Coutaz, J.: The CARE Properties and Their Impact on Software Design. In: Intelligence and Multimodality in Multimedia Interfaces. AAAI Press, Menlo Park (1997)"},{"issue":"4","key":"9_CR15","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1207\/S15327051HCI1504_1","volume":"15","author":"S. Oviatt","year":"2000","unstructured":"Oviatt, S., et al.: Designing the user interface for multimodal speech and gesture applications: State-of-the-art systems and research directions. HCI\u00a015(4), 263\u2013322 (2000)","journal-title":"HCI"}],"container-title":["Lecture Notes in Computer Science","Interactive Systems. Design, Specification, and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11752707_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,18]],"date-time":"2019-04-18T20:39:49Z","timestamp":1555619989000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11752707_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540341451","9783540341468"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/11752707_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}