{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T18:37:39Z","timestamp":1773081459271,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540297970","type":"print"},{"value":"9783540322504","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11576280_31","type":"book-chapter","created":{"date-parts":[[2005,10,24]],"date-time":"2005-10-24T14:01:26Z","timestamp":1130162486000},"page":"450-464","source":"Crossref","is-referenced-by-count":31,"title":["A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing"],"prefix":"10.1007","author":[{"given":"Ana C. R.","family":"Paiva","sequence":"first","affiliation":[]},{"given":"Jo\u00e3o C. P.","family":"Faria","sequence":"additional","affiliation":[]},{"given":"Nikolai","family":"Tillmann","sequence":"additional","affiliation":[]},{"given":"Raul A. M.","family":"Vidal","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"31_CR1","doi-asserted-by":"crossref","unstructured":"Belli, F.: Finite State Testing and Analysis of Graphical User Interfaces. In: ISSRE 2001 - The 12th International Symposium on SW Reliability Engineering, Hong Kong (2001)","DOI":"10.1109\/ISSRE.2001.989456"},{"key":"31_CR2","doi-asserted-by":"crossref","unstructured":"Campbell, C., Grieskamp, W., Nachmanson, L., Schulte, W., Tillmann, N., Veanes, M.: Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer, Microsoft Research MSR-TR-2005-59 (May 2005)","DOI":"10.1007\/11526841_38"},{"key":"31_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-540-30569-9_3","volume-title":"Construction and Analysis of Safe, Secure, and Interoperable Smart Devices","author":"M. Barnett","year":"2005","unstructured":"Barnett, M., Leino, K.R.M., Schulte, W.: The Spec $\\sharp$ Programming System: An Overview. In: Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T. (eds.) CASSIS 2004. LNCS, vol.\u00a03362, pp. 49\u201369. Springer, Heidelberg (2005)"},{"key":"31_CR4","unstructured":"Paiva, A.C.R., Tillmann, N., Faria, J.C.P., Vidal, R.F.A.M.: Modeling and Testing Hierarchical GUIs. In: ASM 2005 - 12th International Workshop on Abstract State Machines, Paris, France (2005)"},{"key":"31_CR5","first-page":"9","volume-title":"Specification and Validation Methods","author":"Y. Gurevich","year":"1995","unstructured":"Gurevich, Y.: Evolving Algebras 1993: Lipari Guide. In: B\u00f6rger, E. (ed.) Specification and Validation Methods, pp. 9\u201336. Oxford University Press, Oxford (1995)"},{"key":"31_CR6","doi-asserted-by":"crossref","unstructured":"Grieskamp, W., Gurevich, Y., Schulte, W., Veanes, M.: Generating Finite State Machines from Abstract State Machines. In: ISSTA 2002, International Symposium on SW Testing and Analysis (2002)","DOI":"10.1145\/566172.566190"},{"key":"31_CR7","doi-asserted-by":"crossref","unstructured":"Memon, A.M., Soffa, M.L., Pollack, M.E.: Coverage Criteria for GUI Testing. In: 8th European SW Engineering Conference (ESEC) and 9th ACM SIGSOFT International Symposium on the Foundations of SW Engineering, FSE-9 (2001)","DOI":"10.1145\/503209.503244"},{"key":"31_CR8","doi-asserted-by":"crossref","unstructured":"Shehady, R.K., Siewiorek, D.P.: A Method to Automate User Interface Testing Using Variable Finite State Machines. In: 27th International Symposium on Fault-Tolerant Computing (1997)","DOI":"10.1109\/FTCS.1997.614080"},{"key":"31_CR9","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1109\/32.87284","volume":"17","author":"S. Fujiwara","year":"1991","unstructured":"Fujiwara, S., Bochmann, G.v., Khendek, F., Amalou, M., Ghedamsi, A.: Test selection based on finite state models. IEEE Transactions on SW Engineering\u00a017, 591\u2013603 (1991)","journal-title":"IEEE Transactions on SW Engineering"},{"issue":"2","key":"31_CR10","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1109\/32.908959","volume":"27","author":"A.M. Memon","year":"2001","unstructured":"Memon, A.M., Pollack, M.E., Soffa, M.L.: Hierarchical GUI Test Case Generation Using Automated Planning. IEEE Transactions on SW Engineering\u00a027 (2001)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"31_CR11","unstructured":"Memon, A., Banerjee, I., Nagarajan, A.: GUI Ripping: Reverse Engineering of Graphical User Interfaces for Testing. In: WCRE 2003 - The 10th Working Conference on Reverse Engineering, Victoria, British Columbia, Canada (2003)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11576280_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:59:36Z","timestamp":1605643176000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11576280_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540297970","9783540322504"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11576280_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}