{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:23:01Z","timestamp":1750306981019,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,7,2]],"date-time":"2013-07-02T00:00:00Z","timestamp":1372723200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","award":["257793","318786","316853"],"award-info":[{"award-number":["257793","318786","316853"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]},{"name":"VERDE","award":["ITEA 2~08020"],"award-info":[{"award-number":["ITEA 2~08020"]}]},{"name":"MODELPLEX","award":["IST-34081"],"award-info":[{"award-number":["IST-34081"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,7,2]]},"DOI":"10.1145\/2491279.2491282","type":"proceedings-article","created":{"date-parts":[[2013,8,23]],"date-time":"2013-08-23T13:36:29Z","timestamp":1377264989000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Fokus!MBT"],"prefix":"10.1145","author":[{"given":"Marc-Florian","family":"Wendland","sequence":"first","affiliation":[{"name":"Fraunhofer Institut FOKUS, Kaiserin-Augusta-Alle, Berlin"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Hoffmann","sequence":"additional","affiliation":[{"name":"Fraunhofer Institut FOKUS, Kaiserin-Augusta-Alle, Berlin"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ina","family":"Schieferdecker","sequence":"additional","affiliation":[{"name":"Fraunhofer Institut FOKUS, Kaiserin-Augusta-Alle, Berlin"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,7,2]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2010.46"},{"key":"e_1_3_2_1_2_1","volume-title":"Berlin, 2011","author":"Bureck M.","year":"2013","unstructured":"Bureck , M. et al., \"Model-Based Test Automation with Fokus!MBT and ModelBus,\" in 1st ETSI Model-Based Testing User Conference 2011 , Berlin, 2011 . URL: http:\/\/www.model-based-testing.de\/mbtuc11. Last visit: 6th May , 2013 . Bureck, M. et al., \"Model-Based Test Automation with Fokus!MBT and ModelBus,\" in 1st ETSI Model-Based Testing User Conference 2011, Berlin, 2011. URL: http:\/\/www.model-based-testing.de\/mbtuc11. Last visit: 6th May, 2013."},{"key":"e_1_3_2_1_3_1","volume-title":"http:\/\/www.conformiq.com. Last visit: 6th","author":"Conformiq","year":"2013","unstructured":"Conformiq , http:\/\/www.conformiq.com. Last visit: 6th May , 2013 Conformiq, http:\/\/www.conformiq.com. Last visit: 6th May, 2013"},{"key":"e_1_3_2_1_4_1","first-page":"873","volume":"201","author":"European Telecommunications Standards Institute (ETSI), \"","year":"2007","unstructured":"European Telecommunications Standards Institute (ETSI), \" ES 201 873 - 871 V3.2.1 ( 2007 -02): The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language,\" 2007. European Telecommunications Standards Institute (ETSI), \"ES 201 873-1 V3.2.1 (2007-02): The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language,\" 2007.","journal-title":"ES"},{"key":"e_1_3_2_1_5_1","first-page":"873","volume":"201","author":"European Telecommunications Standards Institute (ETSI)","year":"2008","unstructured":"European Telecommunications Standards Institute (ETSI) , ES 201 873 - 876 V3.4.1 ( 2008 -09) The Testing and Test Control Notation version 3; Part 6: TTCN-3 Control Interface, 2007. European Telecommunications Standards Institute (ETSI), ES 201 873-6 V3.4.1 (2008-09) The Testing and Test Control Notation version 3; Part 6: TTCN-3 Control Interface, 2007.","journal-title":"ES"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the 9th International Conference on Quality Software, QSIC","author":"Felderer M.","year":"2009","unstructured":"Felderer , M. Model -driven System Testing of Service-Oriented Systems , in: Proceedings of the 9th International Conference on Quality Software, QSIC 2009 , Jeju, Korea. Felderer, M. et al, Model-driven System Testing of Service-Oriented Systems, in: Proceedings of the 9th International Conference on Quality Software, QSIC 2009, Jeju, Korea."},{"key":"e_1_3_2_1_7_1","volume-title":"Software Test Automation","author":"Foster M.","year":"1999","unstructured":"Foster , M. and Graham , D. , Software Test Automation . Addison-Wesley Professionals , 1999 . ISBN: 978-0201331400 Foster, M. and Graham, D., Software Test Automation. Addison-Wesley Professionals, 1999. ISBN: 978-0201331400"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11940197_1"},{"key":"e_1_3_2_1_9_1","first-page":"189","volume":"94","author":"Grieskamp W.","year":"2006","unstructured":"Grieskamp , W. , Model-Based Testing in the Field: Lessons Learned , Lecture Notes in Informatics , Vol P-94 ( 2006 ), Pages 189 -- 196 . Grieskamp, W., Model-Based Testing in the Field: Lessons Learned, Lecture Notes in Informatics, Vol P-94 (2006), Pages 189--196.","journal-title":"Lecture Notes in Informatics"},{"key":"e_1_3_2_1_10_1","volume-title":"http:\/\/www.btc-ag.com\/de\/SID-B0230587-9D415B19\/3006.htm, last visit: 6th","author":"Rational Rhapsody Automatic Test","year":"2013","unstructured":"IBM Rational Rhapsody Automatic Test Generation Add-on , http:\/\/www.btc-ag.com\/de\/SID-B0230587-9D415B19\/3006.htm, last visit: 6th May , 2013 IBM Rational Rhapsody Automatic Test Generation Add-on, http:\/\/www.btc-ag.com\/de\/SID-B0230587-9D415B19\/3006.htm, last visit: 6th May, 2013"},{"key":"e_1_3_2_1_11_1","unstructured":"International Software Testing Qualifications Board (ISTQB): ISTQB\/GTB standard glossary for testing terms. http:\/\/www.software-tester.ch\/PDF-Files\/CT_Glossar_DE_EN_V21.pdf. Last visit: 6th May 2013  International Software Testing Qualifications Board (ISTQB): ISTQB\/GTB standard glossary for testing terms. http:\/\/www.software-tester.ch\/PDF-Files\/CT_Glossar_DE_EN_V21.pdf. Last visit: 6th May 2013"},{"key":"e_1_3_2_1_12_1","volume-title":"http:\/\/research.microsoft.com\/en-us\/projects\/specexplorer\/. Last visit: 6th","author":"Microsoft Spec Explorer","year":"2013","unstructured":"Microsoft Spec Explorer : http:\/\/research.microsoft.com\/en-us\/projects\/specexplorer\/. Last visit: 6th May , 2013 . Microsoft Spec Explorer: http:\/\/research.microsoft.com\/en-us\/projects\/specexplorer\/. Last visit: 6th May, 2013."},{"key":"e_1_3_2_1_13_1","volume-title":"http:\/\/www.fokus.fraunhofer.de\/distrib\/motion\/utml\/, last visit: 6th","author":"Tester","year":"2013","unstructured":"MD Tester , http:\/\/www.fokus.fraunhofer.de\/distrib\/motion\/utml\/, last visit: 6th May , 2013 MDTester, http:\/\/www.fokus.fraunhofer.de\/distrib\/motion\/utml\/, last visit: 6th May, 2013"},{"volume-title":"http:\/\/www.midas-project.eu. Last visit: 6th","year":"2013","key":"e_1_3_2_1_14_1","unstructured":"MIDAS project , http:\/\/www.midas-project.eu. Last visit: 6th May , 2013 . MIDAS project, http:\/\/www.midas-project.eu. Last visit: 6th May, 2013."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_3"},{"key":"e_1_3_2_1_16_1","volume-title":"Last visit: 6th","author":"Object Management Group (OMG), \"Unified Modeling Language (UML),\" http:\/\/www.omg.org\/spec\/UML\/.","year":"2013","unstructured":"Object Management Group (OMG), \"Unified Modeling Language (UML),\" http:\/\/www.omg.org\/spec\/UML\/. Last visit: 6th May , 2013 . Object Management Group (OMG), \"Unified Modeling Language (UML),\" http:\/\/www.omg.org\/spec\/UML\/. Last visit: 6th May, 2013."},{"key":"e_1_3_2_1_17_1","volume-title":"Last visit: 6th","author":"Object Management Group (OMG), \"UML Testing Profile,\" http:\/\/www.omg.org\/spec\/UTP\/.","year":"2013","unstructured":"Object Management Group (OMG), \"UML Testing Profile,\" http:\/\/www.omg.org\/spec\/UTP\/. , Last visit: 6th May , 2013 . Object Management Group (OMG), \"UML Testing Profile,\" http:\/\/www.omg.org\/spec\/UTP\/., Last visit: 6th May, 2013."},{"key":"e_1_3_2_1_18_1","volume-title":"http:\/\/www.omg.org\/spec\/MARTE\/1.1\/PDF\/","author":"Object Management Group (OMG), \"UML Profile for Modeling and Analysis of Real-time Embedded Systems (MARTE),\" formal\/2011-06-02","year":"2011","unstructured":"Object Management Group (OMG), \"UML Profile for Modeling and Analysis of Real-time Embedded Systems (MARTE),\" formal\/2011-06-02 , http:\/\/www.omg.org\/spec\/MARTE\/1.1\/PDF\/ , 2011 . Object Management Group (OMG), \"UML Profile for Modeling and Analysis of Real-time Embedded Systems (MARTE),\" formal\/2011-06-02, http:\/\/www.omg.org\/spec\/MARTE\/1.1\/PDF\/, 2011."},{"key":"e_1_3_2_1_19_1","volume-title":"Last Visit: 6th","author":"Object Management Group (OMG), \"Systems Engineering Modeling Language (SysML),\" http:\/\/www.omgsysml.org.","year":"2013","unstructured":"Object Management Group (OMG), \"Systems Engineering Modeling Language (SysML),\" http:\/\/www.omgsysml.org. Last Visit: 6th May 2013 . Object Management Group (OMG), \"Systems Engineering Modeling Language (SysML),\" http:\/\/www.omgsysml.org. Last Visit: 6th May 2013."},{"key":"e_1_3_2_1_20_1","first-page":"281","volume":"3472","author":"Pretschner A.","year":"2004","unstructured":"Pretschner , A. and Phillips , J. , \" Methodological Issues in Model-based Testing. In: Model-based Testing of Reactive Systems,\" LNCS 3472 , pp. 281 -- 291 , 2004 . ISBN: 978-3-540-26278-7 Pretschner, A. and Phillips, J., \"Methodological Issues in Model-based Testing. In: Model-based Testing of Reactive Systems,\" LNCS 3472, pp. 281--291, 2004. ISBN: 978-3-540-26278-7","journal-title":"LNCS"},{"volume-title":"http:\/\/www.rasen-project.eu. Last visit: 6th","year":"2013","key":"e_1_3_2_1_21_1","unstructured":"RASEN project , http:\/\/www.rasen-project.eu. Last visit: 6th May , 2013 . RASEN project, http:\/\/www.rasen-project.eu. Last visit: 6th May, 2013."},{"key":"e_1_3_2_1_22_1","volume-title":"http:\/\/www.remics.eu. Last visit: 6th","author":"Re","year":"2013","unstructured":"Re MICS project , http:\/\/www.remics.eu. Last visit: 6th May , 2013 . ReMICS project, http:\/\/www.remics.eu. Last visit: 6th May, 2013."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2009.39"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02674-4_19"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2012.13"},{"key":"e_1_3_2_1_26_1","first-page":"39","volume":"3","author":"Schieferdecker I.","year":"2007","unstructured":"Schieferdecker , I. , \" Modellbasiertes Testen , \" OBJEKTSpektrum 3\/07 , S. 39 -- 45 , 2007 (in German). Schieferdecker, I., \"Modellbasiertes Testen, \" OBJEKTSpektrum 3\/07, S. 39--45, 2007 (in German).","journal-title":"OBJEKTSpektrum"},{"key":"e_1_3_2_1_27_1","volume-title":"http:\/\/www.smartesting.com\/index.php\/cms\/en\/product\/certify-it. Last visit: 6th","author":"Smartesting Certify IT","year":"2013","unstructured":"Smartesting Certify IT , http:\/\/www.smartesting.com\/index.php\/cms\/en\/product\/certify-it. Last visit: 6th May , 2013 Smartesting CertifyIT, http:\/\/www.smartesting.com\/index.php\/cms\/en\/product\/certify-it. Last visit: 6th May, 2013"},{"key":"e_1_3_2_1_28_1","volume-title":"Schweiz und \u00d6sterreich,\" ObjektSpektrum","author":"Spillner A.","year":"2011","unstructured":"Spillner , A. et al., \"Wie wird in der Praxis getestet? Umfrage in Deutschland , Schweiz und \u00d6sterreich,\" ObjektSpektrum , May 2011 (in German) ; www.sigs-datacom.de\/fileadmin\/user_upload\/zeitschriften\/os\/2011\/Testing\/spillner_vosseberg_OS_testing_11.pdf Last visit: 6th May, 2013. Spillner, A. et al., \"Wie wird in der Praxis getestet? Umfrage in Deutschland, Schweiz und \u00d6sterreich,\" ObjektSpektrum, May 2011 (in German); www.sigs-datacom.de\/fileadmin\/user_upload\/zeitschriften\/os\/2011\/Testing\/spillner_vosseberg_OS_testing_11.pdf Last visit: 6th May, 2013."},{"key":"e_1_3_2_1_29_1","volume-title":"http:\/\/www.topcased.org\/index.php?idd_projet_pere=102. Last visit: 30th","author":"GenDoc","year":"2012","unstructured":"TOPCASED GenDoc : http:\/\/www.topcased.org\/index.php?idd_projet_pere=102. Last visit: 30th December , 2012 . TOPCASED GenDoc: http:\/\/www.topcased.org\/index.php?idd_projet_pere=102. Last visit: 30th December, 2012."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2010.47"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2010.44"},{"key":"e_1_3_2_1_32_1","volume-title":"Formalisierung von Testausf\u00fchrungsergebnissen in Konzepte des UML Testing Profils. Bachelor thesis at University of Applied Sciences Berlin","author":"Ulrich S.","year":"2012","unstructured":"Ulrich , S. , Formalisierung von Testausf\u00fchrungsergebnissen in Konzepte des UML Testing Profils. Bachelor thesis at University of Applied Sciences Berlin , 2012 . Ulrich, S., Formalisierung von Testausf\u00fchrungsergebnissen in Konzepte des UML Testing Profils. Bachelor thesis at University of Applied Sciences Berlin, 2012."},{"volume-title":"http:\/\/www.itea-verde.org\/. Last visit: 6th","year":"2013","key":"e_1_3_2_1_33_1","unstructured":"VERDE project , http:\/\/www.itea-verde.org\/. Last visit: 6th May , 2013 . VERDE project, http:\/\/www.itea-verde.org\/. Last visit: 6th May, 2013."},{"key":"e_1_3_2_1_34_1","volume-title":"Conjunction with the 6th European Conference on Modelling Foundations and Applications (ECMFA) 2010","author":"Wendland M.-F.","year":"2010","unstructured":"Wendland , M.-F. , \" Fokus ! MBT - A flexible and extensible toolset for Model-based testing approaches,\" in 3rd Proceedings of Model-based Testing in Practice Workshop (MoTIP) 2010 , in Conjunction with the 6th European Conference on Modelling Foundations and Applications (ECMFA) 2010 , Paris , 2010 . Wendland, M.-F., \"Fokus!MBT - A flexible and extensible toolset for Model-based testing approaches,\" in 3rd Proceedings of Model-based Testing in Practice Workshop (MoTIP) 2010, in Conjunction with the 6th European Conference on Modelling Foundations and Applications (ECMFA) 2010, Paris, 2010."},{"key":"e_1_3_2_1_35_1","volume-title":"Online-Themenspecial","author":"Wendland M.-F.","year":"2010","unstructured":"Wendland , M.-F. , Schieferdecker , I. , and Hoffmann , A ., \" Modellbasiertes Testen mit Fokus!MBT\" OBJEKTSpektrum , Online-Themenspecial , 2010 . (in German) Wendland, M.-F., Schieferdecker, I., and Hoffmann, A., \"Modellbasiertes Testen mit Fokus!MBT\" OBJEKTSpektrum, Online-Themenspecial, 2010. (in German)"},{"key":"e_1_3_2_1_36_1","volume-title":"Fraunhofer FOKUS Berlin, 2011","author":"Wendland M.-F.","year":"2011","unstructured":"Wendland , M.-F. , and Bureck , M ., \" Model-based Test Automation -- Fokus!MBT,\" in 2nd Eclipse Integrated Development Day , Fraunhofer FOKUS Berlin, 2011 . http:\/\/wiki.eclipse.org\/Eclipse_IDD_Berlin 2011 . Last visit: 6th May, 2013. Wendland, M.-F., and Bureck, M., \"Model-based Test Automation -- Fokus!MBT,\" in 2nd Eclipse Integrated Development Day, Fraunhofer FOKUS Berlin, 2011. http:\/\/wiki.eclipse.org\/Eclipse_IDD_Berlin2011. Last visit: 6th May, 2013."}],"event":{"name":"ECOOP '13: European Conference on Object-Oriented Programming","sponsor":["CNRS Centre National De La Rechercue Scientifique","UM2 University Montpellier 2","AITO Assoc Internationale por les Technologies Objects","SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Montpellier France","acronym":"ECOOP '13"},"container-title":["Proceedings of the workshop on ACadeMics Tooling with Eclipse"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491279.2491282","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2491279.2491282","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:38Z","timestamp":1750235978000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491279.2491282"}},"subtitle":["a multi-paradigmatic test modeling environment"],"short-title":[],"issued":{"date-parts":[[2013,7,2]]},"references-count":36,"alternative-id":["10.1145\/2491279.2491282","10.1145\/2491279"],"URL":"https:\/\/doi.org\/10.1145\/2491279.2491282","relation":{},"subject":[],"published":{"date-parts":[[2013,7,2]]},"assertion":[{"value":"2013-07-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}