{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,18]],"date-time":"2025-04-18T05:25:41Z","timestamp":1744953941175,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642102646"},{"type":"electronic","value":"9783642102653"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-10265-3_19","type":"book-chapter","created":{"date-parts":[[2009,11,10]],"date-time":"2009-11-10T01:26:16Z","timestamp":1257816376000},"page":"203-214","source":"Crossref","is-referenced-by-count":9,"title":["Model-Based Testing of GUI-Driven Applications"],"prefix":"10.1007","author":[{"given":"Vivien","family":"Chinnapongse","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oleg","family":"Sokolsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaohui","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul L.","family":"Jones","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"19_CR1","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/s10009-003-0132-7","volume":"5","author":"R. Alur","year":"2004","unstructured":"Alur, R., Arney, D., Gunter, E.L., Lee, I., Lee, J., Nam, W., Pearce, F., Van Albert, S., Zhou, J.: Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) infusion pump control system. Software Tools for Technology Transfer\u00a05(4), 308\u2013319 (2004)","journal-title":"Software Tools for Technology Transfer"},{"key":"19_CR2","unstructured":"AHLTA-Mobile fact sheet. Medical Communications for Combat Casualty Care Web Site, https:\/\/www.mc4.army.mil\/AHLTA-Mobile.asp"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Arney, D., Jetley, R., Jones, P., Lee, I., Sokolsky, O.: Formal methods based development of a PCA infusion pump reference model: the generic infusion pump (GIP) project. In: Joint Workshop on High-Confidence Medical Devices, Software and Systems and Medical Device Plug-and-Play Interoperability, July 2007, pp. 23\u201333 (2007)","DOI":"10.1109\/HCMDSS-MDPnP.2007.36"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Brooks, P., Memon, A.M.: Automated GUI testing guided by usage profiles. In: Proceedings of the 22nd IEEE International Conference on Automated Software Engineering (ASE 2007) (November 2007)","DOI":"10.1145\/1321631.1321681"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Cheng, K.T., Krishnakumar, A.S.: Automatic functional test generation using the extended finite state machine model. In: Proceedings of the 30th international conference on Design automation (DAC 1993), June 1993, pp. 86\u201391 (1993)","DOI":"10.1145\/157485.164585"},{"key":"19_CR6","unstructured":"Microsoft Corporation. NModel website (2009), http:\/\/www.codeplex.com\/NModel"},{"key":"19_CR7","volume-title":"Model-based Software Testing and Analysis with C#","author":"J. Jacky","year":"2008","unstructured":"Jacky, J., Veanes, M., Campbell, C., Schulte, W.: Model-based Software Testing and Analysis with C#. Cambridge University Press, Cambridge (2008)"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Jard, C., J\u00e9ron, T.: TGV: theory, principles and algorithms. a tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems. Software Tools for Technology Transfer (2004)","DOI":"10.1007\/s10009-004-0153-x"},{"key":"19_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/11759744_2","volume-title":"Formal Approaches to Software Testing","author":"A. Kervinen","year":"2006","unstructured":"Kervinen, A., Maunumaa, M., P\u00e4\u00e4kk\u00f6nen, T., Katara, M.: Model-based testing through a GUI. In: Grieskamp, W., Weise, C. (eds.) FATES 2005. LNCS, vol.\u00a03997, pp. 16\u201331. Springer, Heidelberg (2006)"},{"key":"19_CR10","unstructured":"Legrenzi, P., Girotto, V.: Mental models in reasoning and decision making. In: Garnham, A., Oakhill, J. (eds.) Mental models in cognitive science, pp. 95\u2013118 (1996)"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Lewis, C.: A model of mental model construction. In: Proceedings of the SIGCHI conference on Human factors in computing systems (CHI 1986), pp. 306\u2013313 (1986)","DOI":"10.1145\/22627.22388"},{"key":"19_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/11576280_31","volume-title":"Formal Methods and Software Engineering","author":"A. Paiva","year":"2005","unstructured":"Paiva, A., Faria, J., Tillmann, N., Vidal, R.: A model-to-implementation mapping tool for automated model-based GUI testing. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol.\u00a03785, pp. 450\u2013464. Springer, Heidelberg (2005)"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Reza, H., Endapally, S., Grant, E.S.: A model-based approach for testing gui using hierarchical predicate transition nets. In: ITNG, pp. 366\u2013370 (2007)","DOI":"10.1109\/ITNG.2007.9"},{"key":"19_CR14","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/j.entcs.2008.03.108","volume":"208","author":"J.L. Silva","year":"2008","unstructured":"Silva, J.L., Campos, J.C., Paiva, A.C.R.: Model-based user interface testing with spec explorer and concurtasktrees. Electronic Notes in Theoretical Computer Science\u00a0208, 77\u201393 (2008)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"3","key":"19_CR15","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools\u00a017(3), 103\u2013120 (1996)","journal-title":"Software - Concepts and Tools"},{"key":"19_CR16","unstructured":"U.S. Army Medical Research & Material Command, Mobile Computing Group, Telemedicine and Advanced Technology Research Center, Fort Detrick, Maryland. AHLTA-Mobile User Manual, v2.2.61"},{"issue":"8","key":"19_CR17","doi-asserted-by":"publisher","first-page":"699","DOI":"10.1109\/TSE.1985.232519","volume":"11","author":"A.I. Wasserman","year":"1985","unstructured":"Wasserman, A.I.: Extending state transition diagrams for the specification of human-computer interaction. IEEE Transactions on Software Engineering\u00a011(8), 699\u2013713 (1985)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Xie, Q., Memon, A.: Model-based testing of community-driven driven open source GUI applications. In: 22nd International Conference on Software Maintenance (ICSM 2006), pp. 145\u2013154 (2006)","DOI":"10.1109\/ICSM.2006.39"}],"container-title":["Lecture Notes in Computer Science","Software Technologies for Embedded and Ubiquitous Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10265-3_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T14:51:48Z","timestamp":1558623108000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10265-3_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642102646","9783642102653"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10265-3_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}