{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:12:14Z","timestamp":1750306334841,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,6,21]],"date-time":"2016-06-21T00:00:00Z","timestamp":1466467200000},"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":[[2016,6,21]]},"DOI":"10.1145\/2933242.2948735","type":"proceedings-article","created":{"date-parts":[[2016,6,14]],"date-time":"2016-06-14T12:37:15Z","timestamp":1465907835000},"page":"138-148","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Systematic automation of scenario-based testing of user interfaces"],"prefix":"10.1145","author":[{"given":"Jos\u00e9 C.","family":"Campos","sequence":"first","affiliation":[{"name":"Universidade do Minho & HASLab\/INESC TEC, Braga, Portugal"}]},{"given":"Camille","family":"Fayollas","sequence":"additional","affiliation":[{"name":"University of Toulouse, Toulouse, France"}]},{"given":"C\u00e9lia","family":"Martinie","sequence":"additional","affiliation":[{"name":"University of Toulouse, Toulouse, France"}]},{"given":"David","family":"Navarre","sequence":"additional","affiliation":[{"name":"University of Toulouse, Toulouse, France"}]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[{"name":"University of Toulouse, Toulouse, France"}]},{"given":"Miguel","family":"Pinto","sequence":"additional","affiliation":[{"name":"Universidade do Minho & HASLab\/INESC TEC, Braga, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2016,6,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.v38:11"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1996461.1996516"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133265.1133275"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-013-0199-6"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1996461.1996515"},{"key":"e_1_3_2_1_6_1","volume-title":"Proc. IFIP TC13 INTERACT 2015","volume":"9299","author":"Fahssi R.","year":"2015","unstructured":"Fahssi , R. , Martinie , C. and Palanque P. Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors . Proc. IFIP TC13 INTERACT 2015 , vol. 9299 of Lecture Notes in Computer Science, Springer ( 2015 ), 192--212. Fahssi, R., Martinie, C. and Palanque P. Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors. Proc. IFIP TC13 INTERACT 2015, vol. 9299 of Lecture Notes in Computer Science, Springer (2015), 192--212."},{"key":"e_1_3_2_1_7_1","volume-title":"A Generic Approach for Assessing Compatibility Between Task Descriptions and Interactive Systems: Application to the Effectiveness of a Flight Control Unit. i-com 14, 3","author":"Fayollas C.","year":"2015","unstructured":"Fayollas , C. , Martinie , C. , Navarre , D. and Palanque , P . A Generic Approach for Assessing Compatibility Between Task Descriptions and Interactive Systems: Application to the Effectiveness of a Flight Control Unit. i-com 14, 3 ( 2015 ), 170--191. Fayollas, C., Martinie, C., Navarre, D. and Palanque, P. A Generic Approach for Assessing Compatibility Between Task Descriptions and Interactive Systems: Application to the Effectiveness of a Flight Control Unit. i-com 14, 3 (2015), 170--191."},{"volume-title":"Ergonomic requirements for office work with visual display terminals (VDTs) - Part 11: Guidance on usability","year":"1998","key":"e_1_3_2_1_8_1","unstructured":"ISO 9241-11 : Ergonomic requirements for office work with visual display terminals (VDTs) - Part 11: Guidance on usability ( 1998 ). ISO 9241-11: Ergonomic requirements for office work with visual display terminals (VDTs) - Part 11: Guidance on usability (1998)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2015.7107403"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40276-0_17"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2774225.2774845"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/2042182.2042235"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1027801"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/646166.680841"},{"key":"e_1_3_2_1_16_1","volume-title":"Proc. IFIP TC2\/WG2.7 Work. Conf. on Eng. for Human-Computer Interaction (EHCI 1995","author":"Palanque P.","year":"1995","unstructured":"Palanque , P. , Bastide , R. and Seng\u00e8s , V . Validating interactive system design through the verification of formal task and system models . Proc. IFIP TC2\/WG2.7 Work. Conf. on Eng. for Human-Computer Interaction (EHCI 1995 ), Chapman & Hall ( 1995 ), 189--212 Palanque, P., Bastide, R. and Seng\u00e8s, V. Validating interactive system design through the verification of formal task and system models. Proc. IFIP TC2\/WG2.7 Work. Conf. on Eng. for Human-Computer Interaction (EHCI 1995), Chapman & Hall (1995), 189--212"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139062367"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2648618"},{"key":"e_1_3_2_1_19_1","first-page":"4","volume":"11","author":"Rossignol V. SCADE","year":"2014","unstructured":"Rossignol , V. SCADE Display\u00ae for the Design of Airborne and Ground-Based Radar Human-Machine Interfaces (HMIs). Infowaves 11 , 4 ( 2014 ). Rossignol, V. SCADE Display\u00ae for the Design of Airborne and Ground-Based Radar Human-Machine Interfaces (HMIs). Infowaves 11, 4 (2014).","journal-title":"Infowaves"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.03.108"},{"key":"e_1_3_2_1_21_1","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"Utting M.","year":"2007","unstructured":"Utting , M. and Legeard , B . Practical Model-Based Testing: A Tools Approach . Morgan Kaufmann Publishers Inc ., San Francisco, CA, USA, 2007 . Utting, M. and Legeard, B. Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2007."},{"key":"e_1_3_2_1_22_1","volume-title":"Proc. HCI 93","author":"Wilson S.","year":"1993","unstructured":"Wilson , S. , Johnson , P. , Kelly , C. , Cunningham , J. and Markopoulos , P . Beyond hacking: A model based approach to user interface design, People and computers VIII , Proc. HCI 93 , Cambridge University Press , BCS HCI ( 1993 ), 217--231. Wilson, S., Johnson, P., Kelly, C., Cunningham, J. and Markopoulos, P. Beyond hacking: A model based approach to user interface design, People and computers VIII, Proc. HCI 93, Cambridge University Press, BCS HCI (1993), 217--231."}],"event":{"name":"EICS'16: ACM SIGCHI Symposium on Engineering Interactive Computing Systems","sponsor":["iMinds iMinds","UHasselt Hasselt University","ACM Association for Computing Machinery","SIGCHI ACM Special Interest Group on Computer-Human Interaction","EDM Expertise Center for Digital Media"],"location":"Brussels Belgium","acronym":"EICS'16"},"container-title":["Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2933242.2948735","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2933242.2948735","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:54:52Z","timestamp":1750222492000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2933242.2948735"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6,21]]},"references-count":21,"alternative-id":["10.1145\/2933242.2948735","10.1145\/2933242"],"URL":"https:\/\/doi.org\/10.1145\/2933242.2948735","relation":{},"subject":[],"published":{"date-parts":[[2016,6,21]]},"assertion":[{"value":"2016-06-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}