{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T01:56:54Z","timestamp":1725847014463},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662492239"},{"type":"electronic","value":"9783662492246"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-49224-6_2","type":"book-chapter","created":{"date-parts":[[2016,1,11]],"date-time":"2016-01-11T08:35:44Z","timestamp":1452501344000},"page":"11-21","source":"Crossref","is-referenced-by-count":0,"title":["The Synergy Between User Experience Design and Software Testing"],"prefix":"10.1007","author":[{"given":"A. P.","family":"van der Meer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Kherrazi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Noroozi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Wierda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,12]]},"reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-540-78917-8_2","volume-title":"Formal Methods and Testing","author":"M Veanes","year":"2008","unstructured":"Veanes, M., Campbell, C., Grieskamp, W., Schulte, W., Tillmann, N., Nachmanson, L.: Model-based testing of object-oriented reactive systems with Spec explorer. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol. 4949, pp. 39\u201376. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-78917-8_2"},{"key":"2_CR2","unstructured":"The Eclipse Foundation: Acceleo. http:\/\/www.eclipse.org\/acceleo\/"},{"key":"2_CR3","unstructured":"The Eclipse Foundation: Eclipse Modeling Framework Project (EMF). http:\/\/www.eclipse.org\/modeling\/emf\/"},{"key":"2_CR4","unstructured":"The Eclipse Foundation: MoDisco Homepage. http:\/\/www.eclipse.org\/MoDisco\/"},{"key":"2_CR5","unstructured":"The Eclipse Foundation: QVTo. http:\/\/wiki.eclipse.org\/QVTo"},{"key":"2_CR6","unstructured":"Microsoft: NModel. https:\/\/nmodel.codeplex.com\/"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Jacky, J: PyModel: model-based testing in Python. In: Proceedings of the 10th Python in Science Conference, pp. 43\u201348 (2011)","DOI":"10.25080\/Majora-ebaa42b7-008"},{"key":"2_CR8","volume-title":"EMF: Eclipse Modeling Frame-Work 2.0","author":"D Steinberg","year":"2009","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Frame-Work 2.0, 2nd edn. Addison-Wesley Professional, Reading (2009)","edition":"2"},{"key":"2_CR9","unstructured":"Model-based Testing with SpecExplorer. http:\/\/research.microsoft.com\/en-us\/projects\/specexplorer"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Manca, M., Patern, F., Santoro, C., Spano, L.D.: Considering task pre-conditions in model-based user interface design and generation. In: Symposium on Engineering Interactive Computing Systems, pp. 149\u2013154. ACM (2014)","DOI":"10.1145\/2607023.2610283"},{"key":"2_CR11","unstructured":"Patern, F., Santoro, C., Spano, L.D., Raggett, D.: MBUI - Task Models, W3C Working Group Note 08 April 2014"},{"key":"2_CR12","unstructured":"Windows Automation API: UI Automation. http:\/\/msdn.microsoft.com\/enus\/library\/windows\/desktop\/ee684009(v=vs.85).aspx"},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/j.entcs.2008.03.108","volume":"208","author":"JL Silva","year":"2008","unstructured":"Silva, J.L., Campos, J.C., Paiva, A.C.R.: Model-based user interface testing with Spec explorer and ConcurTaskTrees. Electron. Notes Theor. Comput. Sci. 208, 77\u201393 (2008). doi: 10.1016\/j.entcs.2008.03.108","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"2_CR14","doi-asserted-by":"publisher","unstructured":"Barbosa, A., Paiva, A.C.R., Campos, J.C.: Test case generation from mutated task models. In : Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2011), pp. 175\u2013184. ACM (2011). doi: 10.1145\/1996461.1996516","DOI":"10.1145\/1996461.1996516"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"814","DOI":"10.1007\/978-3-642-05089-3_53","volume-title":"FM 2009: Formal Methods","author":"UH Hjort","year":"2009","unstructured":"Hjort, U.H., Illum, J., Larsen, K.G., Petersen, M.A., Skou, A.: Model-based GUI testing using Uppaal at Novo Nordisk. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol. 5850, pp. 814\u2013818. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-05089-3_53"},{"key":"2_CR16","unstructured":"Paiva, A.C.R.: Automated Specification-based Testing of Graphical User Interfaces, Ph.D. thesis, Faculty of Engineering, Porto University, Porto, Portugal (1997)"},{"key":"2_CR17","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/s10515-013-0128-9","volume":"21","author":"B Nguyen","year":"2013","unstructured":"Nguyen, B., Robbins, B., Banerjee, I., Memon, A.: GUITAR: an innovative tool for AU-tomated testing of GUI-driven software. Autom. Softw. Eng. 21, 65\u2013105 (2013). doi: 10.1007\/s10515-013-0128-9","journal-title":"Autom. Softw. Eng."},{"issue":"1","key":"2_CR18","first-page":"41","volume":"1","author":"I Alsmadi","year":"2010","unstructured":"Alsmadi, I., Samarah, S., Saifan, A., AL Zamil, M.G.: Automatic model based methods to improve test effectiveness. Univ. J. Comput. Sci. Eng. Technol. 1(1), 41\u201349 (2010)","journal-title":"Univ. J. Comput. Sci. Eng. Technol."}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49224-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,13]],"date-time":"2020-09-13T20:25:07Z","timestamp":1600028707000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49224-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662492239","9783662492246"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49224-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}