{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:28:00Z","timestamp":1747805280025},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540797067"},{"type":"electronic","value":"9783540797074"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79707-4_16","type":"book-chapter","created":{"date-parts":[[2008,5,7]],"date-time":"2008-05-07T06:37:44Z","timestamp":1210142264000},"page":"218-233","source":"Crossref","is-referenced-by-count":9,"title":["Reverse Engineered Formal Models for 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":"Pedro M. C.","family":"Mendes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","series-title":"Lecture Notes in Computer Science","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# Programming System: An Overview. In: Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T. (eds.) CASSIS 2004. LNCS, vol.\u00a03362. Springer, Heidelberg (2005)"},{"key":"16_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"},{"issue":"1","key":"16_CR3","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/52.43044","volume":"7","author":"E.J. Chikofsky","year":"1990","unstructured":"Chikofsky, E.J., Cross, J.H.: Reverse Engineering and Design Recovery: A Taxonomy. IEEE Software\u00a07(1), 13\u201317 (1990)","journal-title":"IEEE Software"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Kiczales, G., Lamping, J., Menhdhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect-Oriented Programming. In: M. A. a. S. M. (eds.) Proceedings of the European Conference on Object-Oriented Programming (1997)","DOI":"10.1007\/BFb0053381"},{"key":"16_CR5","unstructured":"Memon, A., Banerjee, I., Nagarajan, A.: GUI Ripping: Reverse Engineering of Graphical User Interfaces for Testing. In: Proceedings of the WCRE 2003 - The 10th Working Conference on Reverse Engineering, Victoria, British Columbia, Canada, November 13\u201316 (2003)"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Memon, A.M., Pollack, M.E., Soffa, M.L.: Automated Test Oracles for GUIs. In: Proceedings of the FSE (2000)","DOI":"10.1145\/355045.355050"},{"key":"16_CR7","unstructured":"Nyman, N.: In Defense of Monkey Testing (conferred in May 2006)"},{"key":"16_CR8","unstructured":"Paiva, A.C.R.: Automated Specification-Based Testing of Graphical User Interfaces, Ph.D, Engineering Faculty of Porto University (Ph.D thesis), Department of Electrical and Computer Engineering (2007), www.fe.up.pt\/~apaiva\/PhD\/PhDGUITesting.pdf"},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11576280_31","volume-title":"Formal Methods and Software Engineering","author":"A.C.R. Paiva","year":"2005","unstructured":"Paiva, A.C.R., Faria, J.C.P., Tillmann, N., Vidal, R.F.A.M.: A Model-to-implementation Mapping Tool for Automated Model-based GUI Testing. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol.\u00a03785. Springer, Heidelberg (2005)"},{"key":"16_CR10","unstructured":"Paiva, A.C.R., Tillmann, N., Faria, J.C.P., Vidal, R.F.A.M.: Modeling and Testing Hierarchical GUIs. In: Proceedings of the ASM 2005 - 12th International Workshop on Abstract State Machines, Paris - France, March 8\u201311 (2005)"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Sabbah, D.: Aspect-Oriented software development. In: Proceedings of the Third International Conference on Aspect-oriented Software Development, Lancaster, UK (2004)","DOI":"10.1145\/976270.976271"},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1023\/A:1024460315173","volume":"10","author":"E. Stroulia","year":"2003","unstructured":"Stroulia, E., El-Ramly, M., Iglinski, P., Sorenson, P.: User Interface Reverse Engineering in Support of Interface Migration to the Web. Automated Software Engineering\u00a010, 271\u2013301 (2003)","journal-title":"Automated Software Engineering"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Stroulia, E., El-Ramly, M., Kong, L., Sorenson, P., Matichuk, B.: Reverse Engineering Legacy Interfaces: An Interaction-Driven Approach. In: Proceedings of the WCRE 1999 (1999)","DOI":"10.1109\/WCRE.1999.806968"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Vanderdonckt, J., Bouillon, L., Souchon, N.: Flexible Reverse Engineering of Web Pages with VAQUISTA. In: Proceedings of the IEEE 8th Working Conf. on Reverse Engineering (2001)","DOI":"10.1109\/WCRE.2001.957828"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79707-4_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:28:38Z","timestamp":1619522918000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79707-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540797067","9783540797074"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79707-4_16","relation":{},"subject":[]}}