{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:09:04Z","timestamp":1750306144132,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,6,26]],"date-time":"2017-06-26T00:00:00Z","timestamp":1498435200000},"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":[],"published-print":{"date-parts":[[2017,6,26]]},"DOI":"10.1145\/3102113.3102149","type":"proceedings-article","created":{"date-parts":[[2017,10,3]],"date-time":"2017-10-03T18:24:08Z","timestamp":1507055048000},"page":"129-132","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Supporting interactive system testing with interaction sequences"],"prefix":"10.1145","author":[{"given":"Jessica","family":"Turner","sequence":"first","affiliation":[{"name":"University of Waikato, Hamilton, New Zealand"}]},{"given":"Judy","family":"Bowen","sequence":"additional","affiliation":[{"name":"University of Waikato, Hamilton, New Zealand"}]},{"given":"Steve","family":"Reeves","sequence":"additional","affiliation":[{"name":"University of Waikato, Hamilton, New Zealand"}]}],"member":"320","published-online":{"date-parts":[[2017,6,26]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the 1st South-East European Workshop on Formal Methods.","author":"Belli Fevzi","year":"2003","unstructured":"Fevzi Belli . 2003 . A Holistic View for Finite-State Modeling and Testing of User Interactions . In Proceedings of the 1st South-East European Workshop on Formal Methods. Fevzi Belli. 2003. A Holistic View for Finite-State Modeling and Testing of User Interactions. In Proceedings of the 1st South-East European Workshop on Formal Methods."},{"key":"e_1_3_2_1_3_1","volume-title":"Retrieved","author":"Reporter Daily Mail","year":"2011","unstructured":"Daily Mail Reporter . 2011 . Mother Dies after Nurse makes Error Administering Drug. (23 February 2011) . Retrieved July 27, 2015 from http:\/\/www.dailymail.co.uk\/health\/article-1359778\/Mother-dies-nurse-administers-TEN-times-prescribed-drug.html. Daily Mail Reporter. 2011. Mother Dies after Nurse makes Error Administering Drug. (23 February 2011). Retrieved July 27, 2015 from http:\/\/www.dailymail.co.uk\/health\/article-1359778\/Mother-dies-nurse-administers-TEN-times-prescribed-drug.html."},{"key":"e_1_3_2_1_4_1","unstructured":"John E Hopcroft. 1979. Introduction to Automata Theory Languages and Computation. Pearson Education India.  John E Hopcroft. 1979. Introduction to Automata Theory Languages and Computation. Pearson Education India."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-013-0128-9"},{"key":"e_1_3_2_1_6_1","volume-title":"Retrieved","author":"Porrello Anne Marie","year":"2015","unstructured":"Anne Marie Porrello . n.d. Death and Denial: The Failure of the THERAC-25, A Medical Linear Accelerator. (n.d.) . Retrieved July 27, 2015 from http:\/\/users.csc.calpoly.edu\/~jdalbey\/SWE\/Papers\/THERAC25.html. Anne Marie Porrello. n.d. Death and Denial: The Failure of the THERAC-25, A Medical Linear Accelerator. (n.d.). Retrieved July 27, 2015 from http:\/\/users.csc.calpoly.edu\/~jdalbey\/SWE\/Papers\/THERAC25.html."},{"key":"e_1_3_2_1_7_1","volume-title":"When code can kill or cure. (2","author":"Economist The","year":"2012","unstructured":"The Economist . 2012. When code can kill or cure. (2 June 2012 ). Retrieved December 9, 2015 from http:\/\/www.economist.com\/node\/21556098. The Economist. 2012. When code can kill or cure. (2 June 2012). Retrieved December 9, 2015 from http:\/\/www.economist.com\/node\/21556098."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1005361.1005364"},{"key":"e_1_3_2_1_9_1","volume-title":"Retrieved","author":"U.S. Food and Drug Administration","year":"2016","unstructured":"U.S. Food and Drug Administration . 2016 . Infusion Pumps. (23 February 2016) . Retrieved September 29, 2016 from http:\/\/www.fda.gov\/MedicalDevices\/ProductsandMedicalProcedures\/GeneralHospitalDevicesandSupplies\/InfusionPumps\/. U.S. Food and Drug Administration. 2016. Infusion Pumps. (23 February 2016). Retrieved September 29, 2016 from http:\/\/www.fda.gov\/MedicalDevices\/ProductsandMedicalProcedures\/GeneralHospitalDevicesandSupplies\/InfusionPumps\/."}],"event":{"name":"EICS '17: ACM SIGCHI Symposium on Engineering Interactive Computing Systems","sponsor":["SIGCHI ACM Special Interest Group on Computer-Human Interaction"],"location":"Lisbon Portugal","acronym":"EICS '17"},"container-title":["Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3102113.3102149","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3102113.3102149","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:39:25Z","timestamp":1750217965000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3102113.3102149"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,26]]},"references-count":9,"alternative-id":["10.1145\/3102113.3102149","10.1145\/3102113"],"URL":"https:\/\/doi.org\/10.1145\/3102113.3102149","relation":{},"subject":[],"published":{"date-parts":[[2017,6,26]]},"assertion":[{"value":"2017-06-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}