{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T19:37:21Z","timestamp":1725910641595},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319680330"},{"type":"electronic","value":"9783319680347"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-68034-7_9","type":"book-chapter","created":{"date-parts":[[2017,9,13]],"date-time":"2017-09-13T13:32:45Z","timestamp":1505309565000},"page":"155-161","source":"Crossref","is-referenced-by-count":2,"title":["TOM: A Model-Based GUI Testing Framework"],"prefix":"10.1007","author":[{"given":"Miguel","family":"Pinto","sequence":"first","affiliation":[]},{"given":"Marcelo","family":"Gon\u00e7alves","sequence":"additional","affiliation":[]},{"given":"Paolo","family":"Masci","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 Creissac","family":"Campos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,9,14]]},"reference":[{"issue":"5","key":"9_CR1","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1109\/MS.2014.55","volume":"32","author":"D Amalfitano","year":"2015","unstructured":"Amalfitano, D., Fasolino, A.R., Tramontana, P., Ta, B.D., Memon, A.M.: MobiGUITAR: automated model-based testing of mobile apps. IEEE Softw. 32(5), 53\u201359 (2015)","journal-title":"IEEE Softw."},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Barboni, E., Ladry, J.-F., Navarre, D., Palanque, P., Winckler, M.: Beyond modelling: an integrated environment supporting co-execution of tasks and systems models. In: Proceedings of EICS 2010, pp. 165\u2013174. ACM (2010)","DOI":"10.1145\/1822018.1822043"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Barbosa, A., Paiva, A.C., Campos, J.C.: Test case generation from mutated task models. In: Proceedings of EICS 2011, pp. 175\u2013184. ACM (2011)","DOI":"10.1145\/1996461.1996516"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Campos, J.C., Harrison, M.D.: Interaction engineering using the IVY tool. In: Proceedings of EICS 2009, pp. 35\u201344. ACM, New York (2009)","DOI":"10.1145\/1570433.1570442"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Campos, J.C., Fayollas, C., Martinie, C., Navarre, D., Palanque, P., Pinto, M.: Systematic automation of scenario-based testing of user interfaces. In: Proceedings of EICS 2016, pp. 138\u2013148. ACM (2016)","DOI":"10.1145\/2933242.2948735"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Gimblett, A., Thimbleby, H.: User interface model discovery: towards a generic approach. In: Proceedings of EICS 2010, pp. 145\u2013154. ACM (2010)","DOI":"10.1145\/1822018.1822041"},{"issue":"2","key":"9_CR7","first-page":"28","volume":"1998","author":"International Organization for Standardization","year":"1998","unstructured":"International Organization for Standardization: ISO 9241\u201311: ergonomic requirements for office work with visual display terminals (VDTs) - part 11: guidance on usability. International Organization for Standardization 1998(2), 28 (1998)","journal-title":"International Organization for Standardization"},{"key":"9_CR8","volume-title":"Logic, Language, and Analysis","author":"D Jackson","year":"2006","unstructured":"Jackson, D., Abstractions, S.: Logic, Language, and Analysis. The MIT Press, Cambridge (2006)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Lelli, V., Blouin, A., Baudry, B., Coulon, F.: On model-based testing advanced GUIs. In: Proceedings of 2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 11th Workshop on Advances in Model Based Testing (A-MOST). IEEE (2015)","DOI":"10.1109\/ICSTW.2015.7107403"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1007\/978-3-319-21690-4_30","volume-title":"Computer Aided Verification","author":"P Masci","year":"2015","unstructured":"Masci, P., Oladimeji, P., Zhang, Y., Jones, P., Curzon, P., Thimbleby, H.: PVSio-web 2.0: joining PVS to HCI. In: Kroening, D., P\u0103s\u0103reanu, C.S. (eds.) CAV 2015. LNCS, vol. 9206, pp. 470\u2013478. Springer, Cham (2015). doi:\n10.1007\/978-3-319-21690-4_30"},{"key":"9_CR11","unstructured":"Memon, A.M.: A comprehensive framework for testing graphical user interfaces. Ph.D. thesis, University of Pittsburgh (2001)"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Moreira, R., Paiva, A.C.: PBGT Tool: an integrated modeling and testing environment for pattern-based GUI testing. In: Proceedings of ASE 2014, pp. 863\u2013866. ACM (2014)","DOI":"10.1145\/2642937.2648618"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Morgado, I.C., Paiva, A.C.: The iMPAcT tool: testing ui patterns on mobile applications. In: Proceedings of ASE 2015, pp. 876\u2013881 (2015)","DOI":"10.1109\/ASE.2015.96"},{"issue":"1","key":"9_CR14","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/s10515-013-0128-9","volume":"21","author":"B Nguyen","year":"2014","unstructured":"Nguyen, B., Robbins, B., Banerjee, I., Memon, A.: GUITAR: an innovative tool for automated testing of GUI-driven software. Autom. Softw. Eng. 21(1), 65\u2013105 (2014)","journal-title":"Autom. Softw. Eng."},{"key":"9_CR15","unstructured":"Paiva, A.C.: Automated specification-based testing of graphical user interfaces. Ph.D. thesis, Engineering Faculty of Porto University, Department of Electrical and Computer Engineering (2007)"},{"key":"9_CR16","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139062367","volume-title":"Human Error","author":"J Reason","year":"1990","unstructured":"Reason, J.: Human Error. Cambridge University Press, New York (1990)"},{"key":"9_CR17","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/j.entcs.2008.03.108","volume":"208","author":"JL Silva","year":"2008","unstructured":"Silva, J.L., Campos, J.C., Paiva, A.C.: Model-based user interface testing with Spec Explorer and ConcurTaskTrees. Electron. Notes Theoret. Comput. Sci. 208, 77\u201393 (2008)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"9_CR18","volume-title":"A Tools Approach","author":"M Utting","year":"2007","unstructured":"Utting, M., Legeard, B., Testing, P.M.-B.: A Tools Approach. Morgan Kaufmann Publishers Inc., Burlington (2007)"},{"key":"9_CR19","unstructured":"W3C: State Chart XML (SCXML): State Machine Notation for Control Abstraction. W3C Recommendation, September 2015"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68034-7_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,9,13]],"date-time":"2017-09-13T13:35:25Z","timestamp":1505309725000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68034-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319680330","9783319680347"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68034-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}