{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T12:08:25Z","timestamp":1750421305978,"version":"3.41.0"},"reference-count":49,"publisher":"Association for Computing Machinery (ACM)","issue":"EICS","license":[{"start":{"date-parts":[[2020,6,18]],"date-time":"2020-06-18T00:00:00Z","timestamp":1592438400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Hum.-Comput. Interact."],"published-print":{"date-parts":[[2020,6,18]]},"abstract":"<jats:p>Testing is an important part of the software engineering process to help ensure that systems will behave as expected. In this paper we investigate interactive system testing, taking into consideration the different components of the system. Interactive systems have three different components, the interactive, functional and overlap. The interactive component is the interface of the interactive system, the functional the underlying instructions of the interactive system, and the overlap component the point at which the interactive and functional components intersect. The interactive and functional components are often tested separately, however, problems can occur where these components overlap. Therefore, in this paper we present a model-based testing approach specifically designed to inspect the overlap component behaviour and to ensure that it behaves as expected.<\/jats:p>","DOI":"10.1145\/3397873","type":"journal-article","created":{"date-parts":[[2020,6,18]],"date-time":"2020-06-18T21:54:38Z","timestamp":1592517278000},"page":"1-37","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Model-based Testing of Interactive Systems using Interaction Sequences"],"prefix":"10.1145","volume":"4","author":[{"given":"Jessica","family":"Turner","sequence":"first","affiliation":[{"name":"The University of Waikato, Tauranga, New Zealand"}]},{"given":"Judy","family":"Bowen","sequence":"additional","affiliation":[{"name":"The University of Waikato, Hamilton, New Zealand"}]},{"given":"Steve","family":"Reeves","sequence":"additional","affiliation":[{"name":"The University of Waikato, Hamilton, New Zealand"}]}],"member":"320","published-online":{"date-parts":[[2020,6,18]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"crossref","unstructured":"J. Syst. Softw. 125 C 2017 . A General Framework for Comparing Automatic Testing Techniques of Android Mobile Apps. 10.1016\/j.jss.2016.12.017","DOI":"10.1016\/j.jss.2016.12.017"},{"key":"e_1_2_1_2_1","volume-title":"Proceedings of the 2Nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '10)","author":"Barboni E.","year":"1822","unstructured":"E. Barboni , J.-F. Ladry , D. Navarre , P. Palanque , and M. Winckler . 2010. 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 (EICS '10) . ACM, New York, NY, USA, 165--174. https:\/\/doi.org\/10.1145\/ 1822 018.1822043 10.1145\/1822018.1822043 E. Barboni, J.-F. Ladry, D. Navarre, P. Palanque, and M. Winckler. 2010. 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 (EICS '10). ACM, New York, NY, USA, 165--174. https:\/\/doi.org\/10.1145\/1822018.1822043"},{"key":"e_1_2_1_3_1","doi-asserted-by":"crossref","unstructured":"F. Belli and C. J. Budnik. 2005. Minimal Spanning Set for Coverage Testing of Interactive Systems. In Theoretical Aspects of Computing - ICTAC 2004 Z. Liu and K. Araki (Eds.). Springer Berlin Heidelberg Berlin Heidelberg 220--234.  F. Belli and C. J. Budnik. 2005. Minimal Spanning Set for Coverage Testing of Interactive Systems. In Theoretical Aspects of Computing - ICTAC 2004 Z. Liu and K. Araki (Eds.). Springer Berlin Heidelberg Berlin Heidelberg 220--234.","DOI":"10.1007\/978-3-540-31862-0_17"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-013-0199-6"},{"key":"e_1_2_1_5_1","volume-title":"Proc. ACM Hum.-Comput. Interact.1, EICS, Article 9 (June","author":"Campos J. C.","year":"2017","unstructured":"J. C. Campos , C. Fayollas , M. Gon\u00e7alves , C. Martinie , D. Navarre , P. Palanque , and M. Pinto . 2017. A More Intelligent Test Case Generation Approach Through Task Models Manipulation . Proc. ACM Hum.-Comput. Interact.1, EICS, Article 9 (June 2017 ), 20 pages. https:\/\/doi.org\/10.1145\/3095811 10.1145\/3095811 J. C. Campos, C. Fayollas, M. Gon\u00e7alves, C. Martinie, D. Navarre, P. Palanque, and M. Pinto. 2017. A More Intelligent Test Case Generation Approach Through Task Models Manipulation. Proc. ACM Hum.-Comput. Interact.1, EICS, Article 9 (June 2017), 20 pages. https:\/\/doi.org\/10.1145\/3095811"},{"key":"#cr-split#-e_1_2_1_6_1.1","doi-asserted-by":"crossref","unstructured":"J. C. Campos and M. D. Harrison. 2001. Model Checking Interactor Specifications. Automated Software Engineering 8 3(01 August 2001) 275--310. https:\/\/doi.org\/10.1023\/A:1011265604021 10.1023\/A:1011265604021","DOI":"10.1023\/A:1011265604021"},{"key":"#cr-split#-e_1_2_1_6_1.2","doi-asserted-by":"crossref","unstructured":"J. C. Campos and M. D. Harrison. 2001. Model Checking Interactor Specifications. Automated Software Engineering 8 3(01 August 2001) 275--310. https:\/\/doi.org\/10.1023\/A:1011265604021","DOI":"10.1023\/A:1011265604021"},{"key":"#cr-split#-e_1_2_1_7_1.1","doi-asserted-by":"crossref","unstructured":"J. C. Campos J. Saraiva C. Silva and J. C. Silva. 2012. GUIsurfer: A Reverse Engineering Framework for User Interface Software. In Reverse Engineering A.C. Telea (Ed.). In Tech Rijeka Chapter 2. https:\/\/doi.org\/10.5772\/32931 10.5772\/32931","DOI":"10.5772\/32931"},{"key":"#cr-split#-e_1_2_1_7_1.2","doi-asserted-by":"crossref","unstructured":"J. C. Campos J. Saraiva C. Silva and J. C. Silva. 2012. GUIsurfer: A Reverse Engineering Framework for User Interface Software. In Reverse Engineering A.C. Telea (Ed.). In Tech Rijeka Chapter 2. https:\/\/doi.org\/10.5772\/32931","DOI":"10.5772\/32931"},{"key":"e_1_2_1_8_1","volume-title":"Website. Retrieved","author":"CNBC.","year":"2017","unstructured":"CNBC. 2017 . Uber Suspends Self-driving Car Program after Arizona Crash . Website. Retrieved March 13, 2018 fromhttps:\/\/www.cnbc.com\/2017\/03\/26\/uber-self-driving-car-arizona-crash-suspended.html. CNBC. 2017. Uber Suspends Self-driving Car Program after Arizona Crash. Website. Retrieved March 13, 2018 fromhttps:\/\/www.cnbc.com\/2017\/03\/26\/uber-self-driving-car-arizona-crash-suspended.html."},{"key":"e_1_2_1_9_1","unstructured":"Daily Mail Reporter. 2011. Website. Retrieved August 8 2018 from http:\/\/www.dailymail.co.uk\/health\/article-1359778\/Mother-dies-nurse-administers-TEN-times-prescribed-drug.html Title = Mother Dies after Nurse makes Error Ad-ministering Drug.  Daily Mail Reporter. 2011. Website. Retrieved August 8 2018 from http:\/\/www.dailymail.co.uk\/health\/article-1359778\/Mother-dies-nurse-administers-TEN-times-prescribed-drug.html Title = Mother Dies after Nurse makes Error Ad-ministering Drug."},{"key":"e_1_2_1_10_1","unstructured":"United States Food and Drug Administration. 2015. Infusion Pumps. Website. Retrieved August 8 2018 from http:\/\/www.fda.gov\/MedicalDevices\/ProductsandMedicalProcedures\/GeneralHospitalDevicesandSupplies\/InfusionPumps\/.  United States Food and Drug Administration. 2015. Infusion Pumps. Website. Retrieved August 8 2018 from http:\/\/www.fda.gov\/MedicalDevices\/ProductsandMedicalProcedures\/GeneralHospitalDevicesandSupplies\/InfusionPumps\/."},{"volume-title":"Website. Retrieved","year":"2019","key":"e_1_2_1_11_1","unstructured":"Google. 2019 . Espresso . Website. Retrieved February 11, 2019 from https:\/\/developer.android.com\/training\/testing\/espresso\/. Google. 2019. Espresso. Website. Retrieved February 11, 2019 from https:\/\/developer.android.com\/training\/testing\/espresso\/."},{"volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"Hopcroft J. E.","key":"e_1_2_1_12_1","unstructured":"J. E. Hopcroft . 1979. Introduction to Automata Theory, Languages, and Computation . Addison-Wesley , Reading, Mass . J. E. Hopcroft. 1979. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading, Mass."},{"key":"e_1_2_1_13_1","volume-title":"Proceedings of the 6th International Workshop on Automation of Software Test (AST '11)","author":"Hu C.","year":"1982","unstructured":"C. Hu and I. Neamtiu . 2011. Automating GUI Testing for Android Applications . In Proceedings of the 6th International Workshop on Automation of Software Test (AST '11) . Association for Computing Machinery, New York, NY, USA, 77--83. https:\/\/doi.org\/10.1145\/ 1982 595.1982612 10.1145\/1982595.1982612 C. Hu and I. Neamtiu. 2011. Automating GUI Testing for Android Applications. In Proceedings of the 6th International Workshop on Automation of Software Test (AST '11). Association for Computing Machinery, New York, NY, USA, 77--83. https:\/\/doi.org\/10.1145\/1982595.1982612"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.11.703"},{"key":"e_1_2_1_15_1","volume-title":"Efficient Verification of Symmetric Concurrent Systems. In Computer Design: VLSI in Computers and Processors, 1993. ICCD'93. Proceedings., 1993 IEEE International Conference on. IEEE, 230--234","author":"Ip C. N.","year":"1993","unstructured":"C. N. Ip and D. L. Dill . 1993 . Efficient Verification of Symmetric Concurrent Systems. In Computer Design: VLSI in Computers and Processors, 1993. ICCD'93. Proceedings., 1993 IEEE International Conference on. IEEE, 230--234 . https:\/\/doi.org\/10.1109\/ICCD. 1993 .393375 10.1109\/ICCD.1993.393375 C. N. Ip and D. L. Dill. 1993. Efficient Verification of Symmetric Concurrent Systems. In Computer Design: VLSI in Computers and Processors, 1993. ICCD'93. Proceedings., 1993 IEEE International Conference on. IEEE, 230--234. https:\/\/doi.org\/10.1109\/ICCD.1993.393375"},{"volume-title":"Practical Programming with Formal Methods","author":"Jacky J.","key":"e_1_2_1_16_1","unstructured":"J. Jacky . 1997. The Way of Z : Practical Programming with Formal Methods . Cambridge University Press , Cambridge ;New York, NY, USA. J. Jacky. 1997.The Way of Z: Practical Programming with Formal Methods. Cambridge University Press, Cambridge ;New York, NY, USA."},{"key":"e_1_2_1_17_1","doi-asserted-by":"crossref","unstructured":"S. Jaidka S. Reeves and J. Bowen. 2019. A Coloured Petri Net Approach to Model and Analyse Safety-Critical Interactive Systems. (2019). To appear in APSEC 2019.  S. Jaidka S. Reeves and J. Bowen. 2019. A Coloured Petri Net Approach to Model and Analyse Safety-Critical Interactive Systems. (2019). To appear in APSEC 2019.","DOI":"10.1109\/APSEC48747.2019.00054"},{"key":"e_1_2_1_18_1","first-page":"3","article-title":"A Cookbook for Using the Model-view Controller User Interface Paradigm in Smalltalk-80","volume":"1","author":"Krasner Glenn E.","year":"1988","unstructured":"Glenn E. Krasner and Stephen T. Pope . 1988 . A Cookbook for Using the Model-view Controller User Interface Paradigm in Smalltalk-80 . J. Object Oriented Program. 1 , 3 (Aug. 1988), 26--49. http:\/\/dl.acm.org\/citation.cfm?id=50757.50759 Glenn E. Krasner and Stephen T. Pope. 1988. A Cookbook for Using the Model-view Controller User Interface Paradigm in Smalltalk-80. J. Object Oriented Program.1, 3 (Aug. 1988), 26--49. http:\/\/dl.acm.org\/citation.cfm?id=50757.50759","journal-title":"J. Object Oriented Program."},{"key":"e_1_2_1_19_1","doi-asserted-by":"crossref","unstructured":"P. Lee F. Thompson and H. Thimbleby. 2012. Analysis of Infusion Pump Error Logs and their Significance for Health Care. British Journal of Nursing (Mark Allen Publishing)21 (April 2012) S12 S14 S16--20.  P. Lee F. Thompson and H. Thimbleby. 2012. Analysis of Infusion Pump Error Logs and their Significance for Health Care. British Journal of Nursing (Mark Allen Publishing)21 (April 2012) S12 S14 S16--20.","DOI":"10.12968\/bjon.2012.21.Sup5.S12"},{"volume-title":"Proceedings of the 16th International Conference on Human-computer Interaction with Mobile Devices & Services (MobileHCI '14)","author":"Lettner F.","key":"e_1_2_1_20_1","unstructured":"F. Lettner , C. Grossauer , and C. Holzmann . 2014. Mobile Interaction Analysis: Towards a Novel Concept for Interaction Sequence Mining . In Proceedings of the 16th International Conference on Human-computer Interaction with Mobile Devices & Services (MobileHCI '14) . ACM, New York, NY, USA, 359--368. https:\/\/doi.org\/10.1145\/2628363.2628384 10.1145\/2628363.2628384 F. Lettner, C. Grossauer, and C. Holzmann. 2014. Mobile Interaction Analysis: Towards a Novel Concept for Interaction Sequence Mining. In Proceedings of the 16th International Conference on Human-computer Interaction with Mobile Devices & Services (MobileHCI '14). ACM, New York, NY, USA, 359--368. https:\/\/doi.org\/10.1145\/2628363.2628384"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491450"},{"key":"e_1_2_1_22_1","unstructured":"P. Masci. 2014. A Preliminary Hazard Analysis for the GIP Number Entry Software.  P. Masci. 2014. A Preliminary Hazard Analysis for the GIP Number Entry Software."},{"volume-title":"Proceedings of the 5th Workshop on Medical Cyber-Physical Systems. 1--14","author":"Masci P.","key":"e_1_2_1_23_1","unstructured":"P. Masci , Y. Zhang , P. L. Jones , H. Thimbleby , and P. Curzon . 2014. A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software . In Proceedings of the 5th Workshop on Medical Cyber-Physical Systems. 1--14 . P. Masci, Y. Zhang, P. L. Jones, H. Thimbleby, and P. Curzon. 2014. A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software. In Proceedings of the 5th Workshop on Medical Cyber-Physical Systems. 1--14."},{"key":"e_1_2_1_24_1","volume-title":"Website. Retrieved","author":"Matthews-King A.","year":"2018","unstructured":"A. Matthews-King . 2018 . Faulty Opiate Injection Pumps used in Gosport Scandal to be Reviewed Amid Fears Over Deaths Across NHS, Hunt says . Website. Retrieved July 17, 2018 from https:\/\/www.independent.co.uk\/news\/health\/gosport-scandal-opiate-painkillers-jane-barton-patient-deaths-a8415916.html. A. Matthews-King. 2018. Faulty Opiate Injection Pumps used in Gosport Scandal to be Reviewed Amid Fears Over Deaths Across NHS, Hunt says. Website. Retrieved July 17, 2018 from https:\/\/www.independent.co.uk\/news\/health\/gosport-scandal-opiate-painkillers-jane-barton-patient-deaths-a8415916.html."},{"volume-title":"Website. Retrieved","year":"2020","key":"e_1_2_1_25_1","unstructured":"Moodle. 2020 . Disappearing Students . Website. Retrieved February 11, 2020 from https:\/\/moodle.org\/mod\/forum\/discuss.php?d=137710. Moodle. 2020. Disappearing Students. Website. Retrieved February 11, 2020 from https:\/\/moodle.org\/mod\/forum\/discuss.php?d=137710."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1629"},{"edition":"3","volume-title":"G. J. Myers. 2012.The Art of Software Testing","key":"e_1_2_1_27_1","unstructured":"G. J. Myers. 2012.The Art of Software Testing ( 3 rd ed.. ed.). John Wiley & Sons , Hoboken, N.J. , Chapter 1, 1--5. G. J. Myers. 2012.The Art of Software Testing(3rd ed.. ed.). John Wiley & Sons, Hoboken, N.J., Chapter 1, 1--5."},{"key":"e_1_2_1_28_1","volume-title":"Elderly Patient's Cancer goes Unnoticed for Eight Months due to System Failure. Website. Retrieved","author":"Herald New Zealand","year":"2018","unstructured":"New Zealand Herald . 2018. Elderly Patient's Cancer goes Unnoticed for Eight Months due to System Failure. Website. Retrieved August 9, 2018 from https:\/\/www.nzherald.co.nz\/nz\/news\/article.cfm?c_id=1&objectid=12102251. New Zealand Herald. 2018. Elderly Patient's Cancer goes Unnoticed for Eight Months due to System Failure. Website. Retrieved August 9, 2018 from https:\/\/www.nzherald.co.nz\/nz\/news\/article.cfm?c_id=1&objectid=12102251."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-013-0128-9"},{"key":"#cr-split#-e_1_2_1_30_1.1","doi-asserted-by":"crossref","unstructured":"C. Norris IP and D. L. Dill. 1996. Better Verification through Symmetry. Formal Methods in System Design9 1 (01 August 1996) 41--75. https:\/\/doi.org\/10.1007\/BF00625968 10.1007\/BF00625968","DOI":"10.1007\/BF00625968"},{"key":"#cr-split#-e_1_2_1_30_1.2","doi-asserted-by":"crossref","unstructured":"C. Norris IP and D. L. Dill. 1996. Better Verification through Symmetry. Formal Methods in System Design9 1 (01 August 1996) 41--75. https:\/\/doi.org\/10.1007\/BF00625968","DOI":"10.1007\/BF00625968"},{"key":"e_1_2_1_31_1","doi-asserted-by":"crossref","unstructured":"P. Oladimeji H. Thimbleby and A. L. Cox. 2013. A Performance Review of Number Entry Interfaces. In Human-Computer Interaction -- INTERACT 2013 P. Kotz\u00e9 G. Marsden G. Lindgaard J. Wesson and M. Winckler (Eds.). Springer Berlin Heidelberg Berlin Heidelberg 365--382.  P. Oladimeji H. Thimbleby and A. L. Cox. 2013. A Performance Review of Number Entry Interfaces. In Human-Computer Interaction -- INTERACT 2013 P. Kotz\u00e9 G. Marsden G. Lindgaard J. Wesson and M. Winckler (Eds.). Springer Berlin Heidelberg Berlin Heidelberg 365--382.","DOI":"10.1007\/978-3-642-40483-2_26"},{"key":"e_1_2_1_32_1","doi-asserted-by":"crossref","unstructured":"F. Patern\u00f2 C. Santoro and L. D. Spano. 2012. Improving Support for Visual Task Modelling In Human-Centered Software Engineering.Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)7623 299--306.  F. Patern\u00f2 C. Santoro and L. D. Spano. 2012. Improving Support for Visual Task Modelling In Human-Centered Software Engineering.Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)7623 299--306.","DOI":"10.1007\/978-3-642-34347-6_21"},{"key":"e_1_2_1_33_1","volume-title":"A Medical Linear Accelerator. Website. Retrieved","author":"Porrello A. M.","year":"2018","unstructured":"A. M. Porrello . [n. d.]. Death and Denial: The Failure of the THERAC-25 , A Medical Linear Accelerator. Website. Retrieved August 8, 2018 from http:\/\/users.csc.calpoly.edu\/~jdalbey\/SWE\/Papers\/THERAC25.html. A. M. Porrello. [n. d.]. Death and Denial: The Failure of the THERAC-25, A Medical Linear Accelerator. Website. Retrieved August 8, 2018 from http:\/\/users.csc.calpoly.edu\/~jdalbey\/SWE\/Papers\/THERAC25.html."},{"key":"e_1_2_1_34_1","doi-asserted-by":"crossref","unstructured":"C. Romanyk R. McCallum and P. Salehi. 2016. A Model Based Approach to Web Application Design for Older Adults using MVC Design Pattern. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 9752. Springer Verlag 348--357.  C. Romanyk R. McCallum and P. Salehi. 2016. A Model Based Approach to Web Application Design for Older Adults using MVC Design Pattern. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 9752. Springer Verlag 348--357.","DOI":"10.1007\/978-3-319-39399-5_33"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2889160.2889226"},{"key":"e_1_2_1_36_1","volume-title":"User Interface Design with Matrix Algebra. ACM Transactions on Computer-Human Interaction(TOCHI)11, 2 (June","author":"Thimbleby H.","year":"2004","unstructured":"H. Thimbleby . 2004. User Interface Design with Matrix Algebra. ACM Transactions on Computer-Human Interaction(TOCHI)11, 2 (June 2004 ), 181--236. H. Thimbleby. 2004. User Interface Design with Matrix Algebra. ACM Transactions on Computer-Human Interaction(TOCHI)11, 2 (June 2004), 181--236."},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1570433.1570474"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2470654.2466190"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2383396"},{"key":"e_1_2_1_40_1","volume-title":"Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '11)","author":"Thimbleby H.","year":"1996","unstructured":"H. Thimbleby , A. Gimblett , and A. Cauchi . 2011. Buffer Automata: A UI Architecture Prioritising HCI Concerns for Interactive Devices . In Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '11) . ACM, New York, NY, USA, 73--78. https:\/\/doi.org\/10.1145\/ 1996 461.1996497 10.1145\/1996461.1996497 H. Thimbleby, A. Gimblett, and A. Cauchi. 2011. Buffer Automata: A UI Architecture Prioritising HCI Concerns for Interactive Devices. In Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '11). ACM, New York, NY, USA, 73--78. https:\/\/doi.org\/10.1145\/1996461.1996497"},{"key":"e_1_2_1_41_1","unstructured":"J. Turner. 2019.Supporting Interactive System Testing using Interaction Sequences. Ph.D. Dissertation. The University of Waikato Hamilton New Zealand.  J. Turner. 2019.Supporting Interactive System Testing using Interaction Sequences. Ph.D. Dissertation. The University of Waikato Hamilton New Zealand."},{"key":"e_1_2_1_42_1","volume-title":"Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '18)","author":"Turner J.","year":"2013","unstructured":"J. Turner , J. Bowen , and S. Reeves . 2018. Simulating Interaction Sequences . In Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '18) . ACM, New York, NY, USA, Article 8, 7 pages. https:\/\/doi.org\/10.1145\/32 2013 4.3220139 10.1145\/3220134.3220139 J. Turner, J. Bowen, and S. Reeves. 2018. Simulating Interaction Sequences. In Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '18). ACM, New York, NY, USA, Article 8, 7 pages. https:\/\/doi.org\/10.1145\/3220134.3220139"},{"key":"e_1_2_1_43_1","doi-asserted-by":"crossref","unstructured":"J. Turner J. Bowen and S. Reeves. 2018. Using Abstraction with Interaction Sequences for Interactive System Modelling. In Software Technologies: Applications and Foundations M. Mazzara I. Ober and G. Sala\u00fcn (Eds.). Springer International Publishing Cham 257--273.  J. Turner J. Bowen and S. Reeves. 2018. Using Abstraction with Interaction Sequences for Interactive System Modelling. In Software Technologies: Applications and Foundations M. Mazzara I. Ober and G. Sala\u00fcn (Eds.). Springer International Publishing Cham 257--273.","DOI":"10.1007\/978-3-030-04771-9_20"},{"key":"e_1_2_1_44_1","unstructured":"M. Utting and B. Legeard. 2007. Practical Model-based Testing : A Tools Approach. Morgan Kaufmann Publishers San Francisco CA.  M. Utting and B. Legeard. 2007. Practical Model-based Testing : A Tools Approach. Morgan Kaufmann Publishers San Francisco CA."},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2000.885865"},{"volume-title":"Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE '01)","author":"White L.","key":"e_1_2_1_46_1","unstructured":"L. White , H. Almezen , and N. Alzeidi . 2001. User-Based Testing of GUI Sequences and their Interactions . In Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE '01) . IEEE Computer Society, Washington, DC, USA, 54--63. http:\/\/dl.acm.org\/citation.cfm?id=851028.856281 L. White, H. Almezen, and N. Alzeidi. 2001. User-Based Testing of GUI Sequences and their Interactions. In Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE '01). IEEE Computer Society, Washington, DC, USA, 54--63. http:\/\/dl.acm.org\/citation.cfm?id=851028.856281"}],"container-title":["Proceedings of the ACM on Human-Computer Interaction"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3397873","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3397873","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:53Z","timestamp":1750199933000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3397873"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,18]]},"references-count":49,"journal-issue":{"issue":"EICS","published-print":{"date-parts":[[2020,6,18]]}},"alternative-id":["10.1145\/3397873"],"URL":"https:\/\/doi.org\/10.1145\/3397873","relation":{},"ISSN":["2573-0142"],"issn-type":[{"type":"electronic","value":"2573-0142"}],"subject":[],"published":{"date-parts":[[2020,6,18]]},"assertion":[{"value":"2020-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}