{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T11:47:04Z","timestamp":1773834424718,"version":"3.50.1"},"reference-count":33,"publisher":"Association for Computing Machinery (ACM)","issue":"EICS","license":[{"start":{"date-parts":[[2017,6,30]],"date-time":"2017-06-30T00:00:00Z","timestamp":1498780800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"North Portugal Regional Operational Programme (NORTE 2020) & uropean Regional Development Fund","award":["NORTE-01-0145-FEDER-000016"],"award-info":[{"award-number":["NORTE-01-0145-FEDER-000016"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Hum.-Comput. Interact."],"published-print":{"date-parts":[[2017,6,30]]},"abstract":"<jats:p>Ensuring that an interactive application allows users to perform their activities and reach their goals is critical to the overall usability of the interactive application. Indeed, the effectiveness factor of usability directly refers to this capability. Assessing effectiveness is a real challenge for usability testing as usability tests only cover a very limited number of tasks and activities. This paper proposes an approach towards automated testing of effectiveness of interactive applications. To this end we resort to two main elements: an exhaustive description of users' activities and goals using task models, and the generation of scenarios (from the task models) to be tested over the application. However, the number of scenarios can be very high (beyond the computing capabilities of machines) and we might end up testing multiple similar scenarios. In order to overcome these problems, we propose strategies based on task models manipulations (e.g., manipulating task nodes, operator nodes, information...) resulting in a more intelligent test case generation approach. For each strategy, we investigate its relevance (both in terms of test case generation and in terms of validity compared to the original task models) and we illustrate it with a small example. Finally, the proposed strategies are applied on a real-size case study demonstrating their relevance and validity to test interactive applications.<\/jats:p>","DOI":"10.1145\/3095811","type":"journal-article","created":{"date-parts":[[2017,6,30]],"date-time":"2017-06-30T18:11:33Z","timestamp":1498846293000},"page":"1-20","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["A More Intelligent Test Case Generation Approach through Task Models Manipulation"],"prefix":"10.1145","volume":"1","author":[{"given":"Jos\u00e9 Creissac","family":"Campos","sequence":"first","affiliation":[{"name":"HASLab\/INESC TEC &amp; Department of Informatics\/University of Minho, Braga, Portugal"}]},{"given":"Camille","family":"Fayollas","sequence":"additional","affiliation":[{"name":"ICS-IRIT, University Toulouse III, Toulouse, France"}]},{"given":"Marcelo","family":"Gon\u00e7alves","sequence":"additional","affiliation":[{"name":"HASLab\/INESC TEC &amp; Department of Informatics\/University of Minho, Braga, Portugal"}]},{"given":"C\u00e9lia","family":"Martinie","sequence":"additional","affiliation":[{"name":"ICS-IRIT, University Toulouse III, Toulouse, France"}]},{"given":"David","family":"Navarre","sequence":"additional","affiliation":[{"name":"ICS-IRIT, University Toulouse I, Toulouse, France"}]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[{"name":"ICS-IRIT, University Toulouse III, Toulouse, France"}]},{"given":"Miguel","family":"Pinto","sequence":"additional","affiliation":[{"name":"HASLab\/INESC TEC &amp; Department of Informatics\/University of Minho, Braga, France"}]}],"member":"320","published-online":{"date-parts":[[2017,6,30]]},"reference":[{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1083183.1083185"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.77"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1996461.1996515"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2933242.2948735"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/358886.358895"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/57167.57203"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2933242.2933258"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1037\/h0055392"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1822018.1822041"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1518701.1518980"},{"key":"e_1_2_1_12_1","volume-title":"Kluwer Academic Publishers","author":"Hassenzahl Marc","unstructured":"Marc Hassenzahl . 2004. Funology. Kluwer Academic Publishers , Norwell, MA, USA , Chapter The Thing and I: Understanding the Relationship Between User and Product , 31--42. http:\/\/dl.acm.org\/citation.cfm?id=1139008.1139015 Marc Hassenzahl. 2004. Funology. Kluwer Academic Publishers, Norwell, MA, USA, Chapter The Thing and I: Understanding the Relationship Between User and Product, 31--42. http:\/\/dl.acm.org\/citation.cfm?id=1139008.1139015"},{"key":"e_1_2_1_13_1","unstructured":"ISO\/IEC. 2010. ISO\/IEC 25010 - Systems and software engineering - Systems and software Quality Requirements and Evaluation (SQuaRE) - System and software quality models. Technical Report.  ISO\/IEC. 2010. ISO\/IEC 25010 - Systems and software engineering - Systems and software Quality Requirements and Evaluation (SQuaRE) - System and software quality models. Technical Report."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/235833.236050"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/998675.999432"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2015.7107403"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1228175.1228261"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2774225.2774845"},{"key":"e_1_2_1_19_1","volume-title":"Structuring and Composition Mechanisms to Address Scalability Issues in Task Models","author":"Martinie C\u00e9lia","unstructured":"C\u00e9lia Martinie , Philippe Palanque , and Marco Winckler . 2011. Structuring and Composition Mechanisms to Address Scalability Issues in Task Models . Springer Berlin Heidelberg, Berlin , Heidelberg , 589--609. C\u00e9lia Martinie, Philippe Palanque, and Marco Winckler. 2011. Structuring and Composition Mechanisms to Address Scalability Issues in Task Models. Springer Berlin Heidelberg, Berlin, Heidelberg, 589--609."},{"key":"e_1_2_1_20_1","volume-title":"A comprehensive framework for testing graphical user interfaces. Ph","author":"Memon Atif M.","unstructured":"Atif M. Memon . 2001. A comprehensive framework for testing graphical user interfaces. Ph . D. University of Pittsburgh . Atif M. Memon. 2001. A comprehensive framework for testing graphical user interfaces. Ph.D. University of Pittsburgh."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503244"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2648618"},{"key":"e_1_2_1_23_1","unstructured":"In\u00eas Coimbra Morgado. 2016. Automated Pattern-Based Testing of Mobile Applications. Ph.D. Faculdade de Engenharia da Universidade do Porto.  In\u00eas Coimbra Morgado. 2016. Automated Pattern-Based Testing of Mobile Applications. Ph.D. Faculdade de Engenharia da Universidade do Porto."},{"key":"e_1_2_1_24_1","volume-title":"Myers and Corey Sandler","author":"Glenford","year":"2004","unstructured":"Glenford J. Myers and Corey Sandler . 2004 . The Art of Software Testing. John Wiley & Sons . Glenford J. Myers and Corey Sandler. 2004. The Art of Software Testing. John Wiley & Sons."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/646166.680841"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-013-0128-9"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/271771.271785"},{"key":"e_1_2_1_28_1","volume-title":"Mendes","author":"Paiva Ana C. R.","year":"2008","unstructured":"Ana C. R. Paiva , Jo\u00e3o C. P. Faria , and Pedro M. C . Mendes . 2008 . Reverse Engineered Formal Models for GUI Testing. Springer Berlin Heidelberg , Berlin, Heidelberg, 218--233. Ana C. R. Paiva, Jo\u00e3o C. P. Faria, and Pedro M. C. Mendes. 2008. Reverse Engineered Formal Models for GUI Testing. Springer Berlin Heidelberg, Berlin, Heidelberg, 218--233."},{"key":"e_1_2_1_29_1","volume-title":"The Handbook of Task Analysis for Human-Computer Interaction","author":"Patern\u00f2 Fabio","unstructured":"Fabio Patern\u00f2 . 2004. ConcurTaskTrees: An Engineered Notation for Task Models . In The Handbook of Task Analysis for Human-Computer Interaction , Dan Diaper and Neville Stanton (Eds.). Lawrence Erlbaum Associates , Chapter 24, 483--501. Fabio Patern\u00f2. 2004. ConcurTaskTrees: An Engineered Notation for Task Models. In The Handbook of Task Analysis for Human-Computer Interaction, Dan Diaper and Neville Stanton (Eds.). Lawrence Erlbaum Associates, Chapter 24, 483--501."},{"key":"e_1_2_1_30_1","unstructured":"Carmen Santoro. 2005. A task model-based approach for design and evaluation of innovative user interfaces. Ph.D. Presses universitaires de Louvain.  Carmen Santoro. 2005. A task model-based approach for design and evaluation of innovative user interfaces. Ph.D. Presses universitaires de Louvain."},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1822018.1822045"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.03.108"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.08.016"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.456"}],"container-title":["Proceedings of the ACM on Human-Computer Interaction"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3095811","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3095811","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:36:53Z","timestamp":1750217813000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3095811"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,30]]},"references-count":33,"journal-issue":{"issue":"EICS","published-print":{"date-parts":[[2017,6,30]]}},"alternative-id":["10.1145\/3095811"],"URL":"https:\/\/doi.org\/10.1145\/3095811","relation":{},"ISSN":["2573-0142"],"issn-type":[{"value":"2573-0142","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,6,30]]},"assertion":[{"value":"2017-06-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}