{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:54:20Z","timestamp":1740099260307,"version":"3.37.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030047702"},{"type":"electronic","value":"9783030047719"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-04771-9_20","type":"book-chapter","created":{"date-parts":[[2018,12,5]],"date-time":"2018-12-05T22:02:53Z","timestamp":1544047373000},"page":"257-273","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Using Abstraction with Interaction Sequences for Interactive System Modelling"],"prefix":"10.1007","author":[{"given":"Jessica","family":"Turner","sequence":"first","affiliation":[]},{"given":"Judy","family":"Bowen","sequence":"additional","affiliation":[]},{"given":"Steve","family":"Reeves","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,12,6]]},"reference":[{"issue":"3\u20134","key":"20_CR1","doi-asserted-by":"crossref","first-page":"313","DOI":"10.3233\/FI-2014-1017","volume":"131","author":"IT Banu-Demergian","year":"2014","unstructured":"Banu-Demergian, I.T., Stefanescu, G.: Towards a formal representation of interactive systems. Fundam. Inform. 131(3\u20134), 313\u2013336 (2014)","journal-title":"Fundam. Inform."},{"key":"20_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 the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp. 165\u2013174. ACM (2010)","DOI":"10.1145\/1822018.1822043"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Bauersfeld, S., Vos, T.E.: GUItest: a Java library for fully automated GUI robustness testing. In: Proceedings of the 27th IEEE\/ACM International Conference on Automated Software Engineering, pp. 330\u2013333. ACM (2012)","DOI":"10.1145\/2351676.2351739"},{"issue":"2","key":"20_CR4","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s11334-008-0049-0","volume":"4","author":"J Bowen","year":"2008","unstructured":"Bowen, J., Reeves, S.: Formal models for user interface design artefacts. Innov. Syst. Softw. Eng. 4(2), 125\u2013141 (2008)","journal-title":"Innov. Syst. Softw. Eng."},{"issue":"1","key":"20_CR5","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/3095811","volume":"1","author":"JC Campos","year":"2017","unstructured":"Campos, J.C., Fayollas, C., Gon\u00e7alves, M., Martinie, C., Navarre, D., Palanque, P., Pinto, M.: A more intelligent test case generation approach through task models manipulation. Proc. ACM Hum.-Comput. Interact. 1(1), 9 (2017)","journal-title":"Proc. ACM Hum.-Comput. Interact."},{"key":"20_CR6","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"JE Hopcroft","year":"1979","unstructured":"Hopcroft, J.E.: Introduction to Automata Theory, Languages, and Computation. Pearson Education, London (1979)"},{"issue":"4","key":"20_CR7","doi-asserted-by":"publisher","first-page":"646","DOI":"10.1016\/j.jss.2009.11.703","volume":"83","author":"CY Huang","year":"2010","unstructured":"Huang, C.Y., Chang, J.R., Chang, Y.H.: Design and analysis of GUI test-case prioritization using weight-based methods. J. Syst. Softw. 83(4), 646\u2013659 (2010)","journal-title":"J. Syst. Softw."},{"issue":"1\u20132","key":"20_CR8","first-page":"41","volume":"9","author":"CN Ip","year":"1996","unstructured":"Ip, C.N., Dill, D.L.: Better verification through symmetry. Form. Methods Syst. Des. 9(1\u20132), 41\u201375 (1996)","journal-title":"Form. Methods Syst. Des."},{"key":"20_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1007\/978-3-642-23765-2_40","volume-title":"Human-Computer Interaction \u2013 INTERACT 2011","author":"C Martinie","year":"2011","unstructured":"Martinie, C., Palanque, P., Winckler, M.: Structuring and composition mechanisms to address scalability issues in task models. In: Campos, P., Graham, N., Jorge, J., Nunes, N., Palanque, P., Winckler, M. (eds.) INTERACT 2011. LNCS, vol. 6948, pp. 589\u2013609. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-23765-2_40"},{"issue":"1","key":"20_CR10","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/s10515-013-0128-9","volume":"21","author":"BN Nguyen","year":"2014","unstructured":"Nguyen, B.N., 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":"20_CR11","doi-asserted-by":"crossref","unstructured":"Patern\u00f2, F., Zini, E.: Applying information visualization techniques to visual representations of task models. In: Proceedings of the 3rd Annual Conference on Task Models and Diagrams, pp. 105\u2013111. ACM (2004)","DOI":"10.1145\/1045446.1045466"},{"key":"20_CR12","unstructured":"Porrello, A.M.: Death and denial: the failure of the THERAC-25, a medical linear accelerator. Website (ND). http:\/\/users.csc.calpoly.edu\/~jdalbey\/SWE\/Papers\/THERAC25.html . Accessed 27 July 2015"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Salem, P.: Practical programming, validation and verification with finite-state machines: a library and its industrial application. In: Proceedings of the 38th International Conference on Software Engineering Companion, pp. 51\u201360. ACM (2016)","DOI":"10.1145\/2889160.2889226"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Spano, L.D., Fenu, G.: IceTT: a responsive visualization for task models. In: Proceedings of the 2014 ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp. 197\u2013200. ACM (2014)","DOI":"10.1145\/2607023.2611452"},{"key":"20_CR15","unstructured":"The Economist: When code can kill or cure, June 2012. http:\/\/www.economist.com\/node\/21556098 . Accessed 9 Dec 2015"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Thimbleby, H.: Contributing to safety and due diligence in safety-critical interactive systems development by generating and analyzing finite state models. In: Proceedings of the 1st ACM SIGCHI Symposium on Engineering Interactive Computing systems, pp. 221\u2013230. ACM (2009)","DOI":"10.1145\/1570433.1570474"},{"issue":"3","key":"20_CR17","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1016\/j.ijhcs.2012.10.014","volume":"71","author":"H Thimbleby","year":"2013","unstructured":"Thimbleby, H.: Action graphs and user performance analysis. Int. J. Hum.-Comput. Stud. 71(3), 276\u2013302 (2013)","journal-title":"Int. J. Hum.-Comput. Stud."},{"key":"20_CR18","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"M Utting","year":"2010","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann-Elsevier Inc., Burlington (2010)"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"White, L., Almezen, H., Alzeidi, N.: User-based testing of GUI sequences and their interactions. In: Proceedings of 12th International Symposium on Software Reliability Engineering, ISSRE 2001, pp. 54\u201363. IEEE (2001)","DOI":"10.1109\/ISSRE.2001.989458"}],"container-title":["Lecture Notes in Computer Science","Software Technologies: Applications and Foundations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-04771-9_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,16]],"date-time":"2020-11-16T22:28:58Z","timestamp":1605565738000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-04771-9_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030047702","9783030047719"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-04771-9_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"STAF","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Federation of International Conferences on Software Technologies: Applications and Foundations","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Toulouse","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"staf2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.staf2018.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}