{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:53:18Z","timestamp":1750308798697,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,10,5]],"date-time":"2009-10-05T00:00:00Z","timestamp":1254700800000},"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":[[2009,10,5]]},"DOI":"10.1145\/1656485.1656492","type":"proceedings-article","created":{"date-parts":[[2009,12,1]],"date-time":"2009-12-01T19:26:20Z","timestamp":1259695580000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["From design models to test models by means of test ideas"],"prefix":"10.1145","author":[{"given":"Michael","family":"Mlynarski","sequence":"first","affiliation":[{"name":"University of Paderborn, Paderborn, Germany"}]},{"given":"Baris","family":"G\u00fcldali","sequence":"additional","affiliation":[{"name":"University of Paderborn, Paderborn, Germany"}]},{"given":"Melanie","family":"Sp\u00e4th","sequence":"additional","affiliation":[{"name":"Capgemini sd&m AG, Munich, Germany"}]},{"given":"Gregor","family":"Engels","sequence":"additional","affiliation":[{"name":"University of Paderborn, Paderborn, Germany"}]}],"member":"320","published-online":{"date-parts":[[2009,10,5]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Applied Software Measurement Mcgraw-Hill","author":"Jones C.","year":"1996","unstructured":"Jones , C. Applied Software Measurement Mcgraw-Hill , 1996 Jones, C. Applied Software Measurement Mcgraw-Hill, 1996"},{"key":"e_1_3_2_1_2_1","volume-title":"Management und Optimierung des Testprozesses dpunkt","author":"Pol M.","year":"2002","unstructured":"Pol , M. ; Koomen , T. & Spillner , A. Management und Optimierung des Testprozesses dpunkt .verlag, 2002 Pol, M.; Koomen, T.&Spillner, A. Management und Optimierung des Testprozesses dpunkt.verlag, 2002"},{"key":"e_1_3_2_1_3_1","volume-title":"Practical Model-Based Testing: A Tools Approach Morgan Kaufmann","author":"Utting M.","year":"2007","unstructured":"Utting , M. & Legeard , B. Practical Model-Based Testing: A Tools Approach Morgan Kaufmann , 2007 Utting, M.&Legeard, B. Practical Model-Based Testing: A Tools Approach Morgan Kaufmann, 2007"},{"key":"e_1_3_2_1_4_1","volume-title":"Lohmann","author":"Heckel R.","year":"2003","unstructured":"Heckel , R. , Lohmann , M. : Towards model-driven testing. Electr. Notes Theor. Comput. Sci . 82(6) ( 2003 ) Heckel, R., Lohmann, M.: Towards model-driven testing. Electr. Notes Theor. Comput. Sci. 82(6) (2003)"},{"key":"e_1_3_2_1_5_1","volume-title":"UML Specification V2.1.1. www.omg.org\/cgi-bin\/doc?formal\/-07-02-05","author":"Object Management Group","year":"2007","unstructured":"Object Management Group : UML Specification V2.1.1. www.omg.org\/cgi-bin\/doc?formal\/-07-02-05 , 2007 Object Management Group: UML Specification V2.1.1. www.omg.org\/cgi-bin\/doc?formal\/-07-02-05, 2007"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1138929.1138932"},{"key":"e_1_3_2_1_7_1","unstructured":"Object Management Group: UML Testing Profile 1.0. http:\/\/www.omg.org\/cgi-bin\/doc?formal\/05-07-07 (2007)  Object Management Group: UML Testing Profile 1.0. http:\/\/www.omg.org\/cgi-bin\/doc?formal\/05-07-07 (2007)"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1506216.1506242"},{"key":"e_1_3_2_1_9_1","unstructured":"Object Management Group: Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification. http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/2007-07-07 (2007).  Object Management Group: Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification. http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/2007-07-07 (2007)."},{"key":"e_1_3_2_1_10_1","volume-title":"Prod. of the 16th IFIP International Conference on Testing of Communicating Systems (TestCom2004)","author":"Dai Z. R.","year":"2004","unstructured":"Dai , Z. R. ; Grabowski , J. ; Neukirchen , H. & Pals , H. From Design to Test with UML -- Applied to a Roaming Algorithm for Bluetooth Devices Testing of Communicating Systems . In Prod. of the 16th IFIP International Conference on Testing of Communicating Systems (TestCom2004) , LNI 2978, Springer , 2004 Dai, Z. R.; Grabowski, J.; Neukirchen, H.&Pals, H. From Design to Test with UML -- Applied to a Roaming Algorithm for Bluetooth Devices Testing of Communicating Systems. In Prod. of the 16th IFIP International Conference on Testing of Communicating Systems (TestCom2004), LNI 2978, Springer, 2004"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/786769.787022"},{"key":"e_1_3_2_1_12_1","volume-title":"A Survey on Model-based Testing Approaches: A Systematic Review Siemens Corporate Research","author":"Dias Neto A.","year":"2007","unstructured":"Dias Neto , A. ; Subramanyan , R. ; Vieira , M. & Tracassos , G. A Survey on Model-based Testing Approaches: A Systematic Review Siemens Corporate Research , 2007 Dias Neto, A.; Subramanyan, R.; Vieira, M.&Tracassos, G. A Survey on Model-based Testing Approaches: A Systematic Review Siemens Corporate Research, 2007"},{"key":"e_1_3_2_1_13_1","volume-title":"Modeling Languages, Concepts, and Tools","author":"Briand L. C.","year":"2001","unstructured":"Briand , L. C. & Labiche , Y. A UML-Based Approach to System Testing UML' '01: Proceedings of the 4th International Conference on The Unified Modeling Language , Modeling Languages, Concepts, and Tools , 2001 , 194--208 Briand, L. C.&Labiche, Y. A UML-Based Approach to System Testing UML' '01: Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 2001, 194--208"},{"key":"e_1_3_2_1_14_1","first-page":"281","volume-title":"M. Broy, et. al. (Eds.), Model-Based Testing of Reactive Systems, no. 3472 in LNCS","author":"Pretschner A.","year":"2005","unstructured":"Pretschner , A. ; Philipps , J. : Methodological Issues in Model-Based Testing , in M. Broy, et. al. (Eds.), Model-Based Testing of Reactive Systems, no. 3472 in LNCS , Springer-Verlag , 2005 , pp. 281 -- 291 Pretschner, A.; Philipps, J.: Methodological Issues in Model-Based Testing, in M. Broy, et. al. (Eds.), Model-Based Testing of Reactive Systems, no. 3472 in LNCS, Springer-Verlag, 2005, pp. 281--291"},{"key":"e_1_3_2_1_15_1","volume-title":"AGEDIS","author":"Hartman","year":"2004","unstructured":"A. Hartman : AGEDIS-Final Project Report, Deliverable 1.6 , AGEDIS 1999-20218, February 2004 A. Hartman: AGEDIS-Final Project Report, Deliverable 1.6, AGEDIS 1999-20218, February 2004"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01924-1_5"}],"event":{"name":"MoDeVVa '09: 2009 Models workshop on Model-Driven Engineering, Verification, and Validation","acronym":"MoDeVVa '09","location":"Denver Colorado USA"},"container-title":["Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1656485.1656492","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1656485.1656492","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:25:55Z","timestamp":1750278355000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1656485.1656492"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,5]]},"references-count":16,"alternative-id":["10.1145\/1656485.1656492","10.1145\/1656485"],"URL":"https:\/\/doi.org\/10.1145\/1656485.1656492","relation":{},"subject":[],"published":{"date-parts":[[2009,10,5]]},"assertion":[{"value":"2009-10-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}