{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:06:22Z","timestamp":1725710782195},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,6,13]]},"DOI":"10.1145\/1996461.1996516","type":"proceedings-article","created":{"date-parts":[[2011,6,14]],"date-time":"2011-06-14T14:45:32Z","timestamp":1308062732000},"page":"175-184","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Test case generation from mutated task models"],"prefix":"10.1145","author":[{"given":"Ana","family":"Barbosa","sequence":"first","affiliation":[{"name":"Universidade do Porto Faculdade de Engenharia, Porto, Portugal"}]},{"given":"Ana C.R.","family":"Paiva","sequence":"additional","affiliation":[{"name":"Universidade do Porto Faculdade de Engenharia, Porto, Portugal"}]},{"given":"Jos\u00e9 Creissac","family":"Campos","sequence":"additional","affiliation":[{"name":"Universidade do Minho Campus de Gualtar, Braga, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2011,6,13]]},"reference":[{"volume-title":"Ergonomic requirements for office work with visual display terminals (VDTs) -- Part 11: Guidance on usability","key":"e_1_3_2_1_1_1","unstructured":"ISO 9241-11. Ergonomic requirements for office work with visual display terminals (VDTs) -- Part 11: Guidance on usability . First Edition ed. 1998: International Organization for Standardization ISO 9241-11. Ergonomic requirements for office work with visual display terminals (VDTs) -- Part 11: Guidance on usability. First Edition ed. 1998: International Organization for Standardization"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/503112.503114"},{"key":"e_1_3_2_1_3_1","first-page":"228","volume-title":"Department of Electrical and Computer Engineering.","author":"Paiva A.C.R.","year":"2007","unstructured":"Paiva , A.C.R. , Automated Specification-Based Testing of Graphical User Interfaces , in Department of Electrical and Computer Engineering. 2007 , Engineering Faculty of Porto University (Ph.D thesis): Porto. p. 228 . Paiva, A.C.R., Automated Specification-Based Testing of Graphical User Interfaces, in Department of Electrical and Computer Engineering. 2007, Engineering Faculty of Porto University (Ph.D thesis): Porto. p. 228."},{"key":"e_1_3_2_1_4_1","volume-title":"2nd International Workshop on Formal Methods for Interactive Systems.","author":"Silva J.L.","year":"2007","unstructured":"Silva , J.L. , J.C. Campos , and A.C.R. Paiva . Modelbased user interface testing with Spec Explorer and ConcurTaskTrees . in 2nd International Workshop on Formal Methods for Interactive Systems. 2007 . Lancaster, UK. Silva, J.L., J.C. Campos, and A.C.R. Paiva. Modelbased user interface testing with Spec Explorer and ConcurTaskTrees. in 2nd International Workshop on Formal Methods for Interactive Systems. 2007. Lancaster, UK."},{"key":"e_1_3_2_1_5_1","volume-title":"Model-Based Design and Evaluation of Interactive Applications","author":"Patern\u00f2 F.","year":"1999","unstructured":"Patern\u00f2 , F. , Model-Based Design and Evaluation of Interactive Applications . 1999 , London, UK : Springer- Verlag . Patern\u00f2, F., Model-Based Design and Evaluation of Interactive Applications. 1999, London, UK: Springer- Verlag."},{"key":"e_1_3_2_1_6_1","volume-title":"Fit for Developing Software: Framework for Integrated Tests","author":"Mugridge R.","year":"2005","unstructured":"Mugridge , R. and W. Cunningham , Fit for Developing Software: Framework for Integrated Tests . 1 st Edition ed. 2005 : Prentice Hall . 384. Mugridge, R. and W. Cunningham, Fit for Developing Software: Framework for Integrated Tests. 1st Edition ed. 2005: Prentice Hall. 384.","edition":"1"},{"key":"e_1_3_2_1_7_1","unstructured":"Card S.K. T.P. Moran and A. Newell The Psychology of Human-Computer Interaction 1986: Lawrence Erlbaum Associates. 469. Card S.K. T.P. Moran and A. Newell The Psychology of Human-Computer Interaction 1986: Lawrence Erlbaum Associates. 469."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/257089.257312"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1027801"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(87)90085-7"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007529"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Jacky J. et al. Model-Based Software Testing and Analysis with C#. 2007: Cambridge University Press. 366. Jacky J. et al. Model-Based Software Testing and Analysis with C#. 2007: Cambridge University Press. 366.","DOI":"10.1017\/CBO9780511619540"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321681"},{"key":"e_1_3_2_1_14_1","volume-title":"GUI Ripping: Reverse Engineering of Graphical User Interfaces for Testing. in Proceedings of the 10th Working Conference on Reverse Engineering (WCRE'03)","author":"Memon A.","year":"2003","unstructured":"Memon , A. , I. Banerjee , and A. Nagarajan . GUI Ripping: Reverse Engineering of Graphical User Interfaces for Testing. in Proceedings of the 10th Working Conference on Reverse Engineering (WCRE'03) . 2003 . Washington, DC, USA: IEEE CS. Memon, A., I. Banerjee, and A. Nagarajan. GUI Ripping: Reverse Engineering of Graphical User Interfaces for Testing. in Proceedings of the 10th Working Conference on Reverse Engineering (WCRE'03). 2003. Washington, DC, USA: IEEE CS."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/11576280_31"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the 3rd International Conference on Software and Data Technologies (ICSOFT'08)","author":"Moreira R.M.L.M.","year":"2008","unstructured":"Moreira , R.M.L.M. and A.C.R. Paiva , Visual Abstract Notation for GUI Modelling and Testing : VAN4GUIM , in Proceedings of the 3rd International Conference on Software and Data Technologies (ICSOFT'08) , J. Cordeiro, et al., Editors. 2008 , INSTICC Press: Gaia, Portugal. Moreira, R.M.L.M. and A.C.R. Paiva, Visual Abstract Notation for GUI Modelling and Testing: VAN4GUIM, in Proceedings of the 3rd International Conference on Software and Data Technologies (ICSOFT'08), J. Cordeiro, et al., Editors. 2008, INSTICC Press: Gaia, Portugal."},{"key":"e_1_3_2_1_17_1","first-page":"202","volume-title":"2nd International Conference on Software Technology and Engineering (ICSTE'10)","author":"Cunha M.","year":"2010","unstructured":"Cunha , M. , et al., PETTool : A Pattern-Based GUI Testing Tool , in 2nd International Conference on Software Technology and Engineering (ICSTE'10) . 2010 . p. 202 -- 206 . Cunha, M., et al., PETTool: A Pattern-Based GUI Testing Tool, in 2nd International Conference on Software Technology and Engineering (ICSTE'10). 2010. p. 202--206."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"Reason J. Human Error. 1990: Cambridge University Press. Reason J. Human Error. 1990: Cambridge University Press.","DOI":"10.1017\/CBO9781139062367"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJWET.2008.018099"},{"key":"e_1_3_2_1_21_1","volume-title":"Formal Methods and testing: an outcome of the FORTEST network.","author":"Veans M.","year":"2008","unstructured":"Veans , M. , et al. , Model-based testing of object-oriented reactive systems with Spec Explorer , in Formal Methods and testing: an outcome of the FORTEST network. 2008 , Springer-Verlag . p. 39--76. Veans, M., et al., Model-based testing of object-oriented reactive systems with Spec Explorer, in Formal Methods and testing: an outcome of the FORTEST network. 2008, Springer-Verlag. p. 39--76."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30569-9_3"}],"event":{"name":"EICS '11: ACM SIGCHI Symposium on Engineering Interactive Computing Systems","sponsor":["SIGCHI ACM Special Interest Group on Computer-Human Interaction"],"location":"Pisa Italy","acronym":"EICS '11"},"container-title":["Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1996461.1996516","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T18:28:13Z","timestamp":1673461693000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1996461.1996516"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6,13]]},"references-count":21,"alternative-id":["10.1145\/1996461.1996516","10.1145\/1996461"],"URL":"https:\/\/doi.org\/10.1145\/1996461.1996516","relation":{},"subject":[],"published":{"date-parts":[[2011,6,13]]},"assertion":[{"value":"2011-06-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}