{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:26:40Z","timestamp":1750307200662,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,6,20]],"date-time":"2011-06-20T00:00:00Z","timestamp":1308528000000},"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":[[2011,6,20]]},"DOI":"10.1145\/2181101.2181108","type":"proceedings-article","created":{"date-parts":[[2012,4,10]],"date-time":"2012-04-10T12:19:38Z","timestamp":1334060378000},"page":"27-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Model-based test instantiation for applications with user interfaces"],"prefix":"10.1145","author":[{"given":"Benedikt","family":"Hauptmann","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen, Germany"}]}],"member":"320","published-online":{"date-parts":[[2011,6,20]]},"reference":[{"journal-title":"IEEE Standard Computer Dictionary. A Compilation of IEEE Standard Computer Glossaries. IEEE Std","first-page":"610","year":"1991","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062556"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.25"},{"volume-title":"Proceedings of the First International Workshop on Task Models and Diagrams for User Interface Design","year":"2002","author":"Calvary G.","key":"e_1_3_2_1_4_1"},{"volume-title":"Addison-Wesley","year":"1999","author":"Dustin E.","key":"e_1_3_2_1_5_1"},{"volume-title":"Addison-Wesley","year":"1999","author":"Fewster M.","key":"e_1_3_2_1_6_1"},{"volume-title":"GI Jahrestagung","year":"2009","author":"Grandy H.","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070540"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOSM.2008.4659253"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1964883"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAIC-PART.2006.34"},{"key":"e_1_3_2_1_12_1","volume-title":"Advances in Computers","volume":"80","author":"Memon A. M.","year":"2010"},{"volume-title":"Proceedings of the 12th International Workshop on Abstract State Machines","year":"2005","author":"Paiva A. C. R.","key":"e_1_3_2_1_13_1"},{"key":"e_1_3_2_1_14_1","unstructured":"A. Pimenta. Automated Specification Based Testing of Graphical User Interfaces. PhD thesis Engineering Faculty of Porto University Department of Electrical and Computer Engineering 2006.  A. Pimenta. Automated Specification Based Testing of Graphical User Interfaces . PhD thesis Engineering Faculty of Porto University Department of Electrical and Computer Engineering 2006."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.02.086"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/795670.796870"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-7491-3_1"},{"volume-title":"Morgan Kaufmann","year":"2006","author":"Utting M.","key":"e_1_3_2_1_18_1"},{"volume-title":"The University of Waikato","year":"2006","author":"Utting M.","key":"e_1_3_2_1_19_1"},{"key":"e_1_3_2_1_20_1","unstructured":"M. Veanes C. Campbell W. Grieskamp W. Schulte N. Tillmann and L. Nachmanson. Model-based testing of object-oriented reactive systems with spec explorer. Formal methods and testing 2008.   M. Veanes C. Campbell W. Grieskamp W. Schulte N. Tillmann and L. Nachmanson. Model-based testing of object-oriented reactive systems with spec explorer. Formal methods and testing 2008."},{"volume-title":"Technische Universit\u00e4t M\u00fcnchen","year":"2009","author":"Winter S.","key":"e_1_3_2_1_21_1"}],"event":{"name":"Profes '11: Conference on Product Focused Software Development and Process Improvement","sponsor":["Dipartimento di Informatica \"Renato M. Capocelli\", Universit\u00e0 degli Studi di Salerno, Italy Dipartimento di Informatica \"Renato M. Capocelli\", Universit\u00e0 degli Studi di Salerno, Italy","SER&Practices SER&Practices","Universit\u00e0 di Bari Universit\u00e0 di Bari","Daisy-Net Daisy-Net","Exprevia Exprevia SpA","Project Management Institute Project Management Institute","UNIBA Department of Informatics, UNIBA"],"location":"Torre Canne Brindisi Italy","acronym":"Profes '11"},"container-title":["Proceedings of the 12th International Conference on Product Focused Software Development and Process Improvement"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2181101.2181108","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2181101.2181108","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:06:15Z","timestamp":1750241175000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2181101.2181108"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6,20]]},"references-count":21,"alternative-id":["10.1145\/2181101.2181108","10.1145\/2181101"],"URL":"https:\/\/doi.org\/10.1145\/2181101.2181108","relation":{},"subject":[],"published":{"date-parts":[[2011,6,20]]},"assertion":[{"value":"2011-06-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}