{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T05:25:19Z","timestamp":1750829119058,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T00:00:00Z","timestamp":1284940800000},"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":[[2010,9,20]]},"DOI":"10.1145\/1865875.1865877","type":"proceedings-article","created":{"date-parts":[[2010,11,12]],"date-time":"2010-11-12T14:38:38Z","timestamp":1289572718000},"page":"9-16","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Automating test cases generation"],"prefix":"10.1145","author":[{"given":"Federico","family":"Ciccozzi","sequence":"first","affiliation":[{"name":"M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"}]},{"given":"Antonio","family":"Cicchetti","sequence":"additional","affiliation":[{"name":"M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"}]},{"given":"Toni","family":"Siljam\u00e4ki","sequence":"additional","affiliation":[{"name":"Ericsson AB, Stockholm, Sweden"}]},{"given":"Jenis","family":"Kavadiya","sequence":"additional","affiliation":[{"name":"Tata Consultancy Services, Hyderabad, Andhra Pradesh, India"}]}],"member":"320","published-online":{"date-parts":[[2010,9,20]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"281","volume-title":"Model-Based Testing of Reactive Systems","author":"Abbors F.","year":"2004","unstructured":"F. Abbors , T. P\u00e4\u00e4j\u00e4rvi , R. Teittinen , D. Tru\u015fcan , and J. Lilius . Methodological Issues in Model-Based Testing . In Model-Based Testing of Reactive Systems , pages 281 -- 291 , 2004 . F. Abbors, T. P\u00e4\u00e4j\u00e4rvi, R. Teittinen, D. Tru\u015fcan, and J. Lilius. Methodological Issues in Model-Based Testing. In Model-Based Testing of Reactive Systems, pages 281--291, 2004."},{"key":"e_1_3_2_1_2_1","volume-title":"Model-Driven Testing: Using the UML Testing Profile","author":"Baker P.","year":"2007","unstructured":"P. Baker , Z. R. Dai , J. Grabowski , O. Haugen , I. Schieferdecker , and C. Williams . Model-Driven Testing: Using the UML Testing Profile . Springer-Verlag New York, Inc. , 2007 . P. Baker, Z. R. Dai, J. Grabowski, O. Haugen, I. Schieferdecker, and C. Williams. Model-Driven Testing: Using the UML Testing Profile. Springer-Verlag New York, Inc., 2007."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.02.084"},{"key":"e_1_3_2_1_4_1","volume-title":"On the Unification Power of Models. Software and System Modeling (SoSym), 4(2):171--188","author":"B\u00e9zivin J.","year":"2005","unstructured":"J. B\u00e9zivin . On the Unification Power of Models. Software and System Modeling (SoSym), 4(2):171--188 , 2005 . J. B\u00e9zivin. On the Unification Power of Models. Software and System Modeling (SoSym), 4(2):171--188, 2005."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.06.019"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/646157.679863"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.08.005"},{"key":"e_1_3_2_1_8_1","first-page":"15","volume-title":"In Proceedings of FATES'01","author":"Hong H. S.","year":"2001","unstructured":"H. S. Hong , I. Lee , O. Sokolsky , and S. D. Cha . Automatic test generation from statecharts using model checking . In In Proceedings of FATES'01 , pages 15 -- 30 , 2001 . H. S. Hong, I. Lee, O. Sokolsky, and S. D. Cha. Automatic test generation from statecharts using model checking. In In Proceedings of FATES'01, pages 15--30, 2001."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/AST.2007.2"},{"key":"e_1_3_2_1_10_1","first-page":"286","volume-title":"Model Driven Engineering. In In Proceedings of IFM '02","author":"Kent S.","year":"2002","unstructured":"S. Kent . Model Driven Engineering. In In Proceedings of IFM '02 , pages 286 -- 298 . Springer-Verlag , 2002 . S. Kent. Model Driven Engineering. In In Proceedings of IFM '02, pages 286--298. Springer-Verlag, 2002."},{"key":"e_1_3_2_1_11_1","volume-title":"Executable UML: A Foundation for Model-Driven Architectures","author":"Mellor S. J.","year":"2002","unstructured":"S. J. Mellor and M. Balcer . Executable UML: A Foundation for Model-Driven Architectures . Addison-Wesley Longman Publishing Co., Inc. , 2002 . S. J. Mellor and M. Balcer. Executable UML: A Foundation for Model-Driven Architectures. Addison-Wesley Longman Publishing Co., Inc., 2002."},{"key":"e_1_3_2_1_12_1","volume-title":"Schloss Dagstuhl","author":"Mens T.","year":"2004","unstructured":"T. Mens , K. Czarnecki , and P. Van Gorp . A Taxonomy of Model Transformations. In Language Engineering for Model-Driven Software Development. IBFI , Schloss Dagstuhl , Germany , 2004 . T. Mens, K. Czarnecki, and P. Van Gorp. A Taxonomy of Model Transformations. In Language Engineering for Model-Driven Software Development. IBFI, Schloss Dagstuhl, Germany, 2004."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1138929.1138931"},{"key":"e_1_3_2_1_14_1","first-page":"281","volume-title":"Model-Based Testing of Reactive Systems","author":"Pretschner A.","year":"2004","unstructured":"A. Pretschner and J. Philipps . Methodological Issues in Model-Based Testing . In Model-Based Testing of Reactive Systems , pages 281 -- 291 , 2004 . A. Pretschner and J. Philipps. Methodological Issues in Model-Based Testing. In Model-Based Testing of Reactive Systems, pages 281--291, 2004."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2008.7"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICIT.2007.29"},{"key":"e_1_3_2_1_17_1","first-page":"23","volume-title":"Software Engineering","author":"Sokenou D.","year":"2010","unstructured":"D. Sokenou and S. Wei\u00dfleder . ParTeG - Integrating Model-based Testing and Model Transformations . In Software Engineering , pages 23 -- 24 , 2010 . D. Sokenou and S. Wei\u00dfleder. ParTeG - Integrating Model-based Testing and Model Transformations. In Software Engineering, pages 23--24, 2010."},{"key":"e_1_3_2_1_18_1","first-page":"423","volume-title":"Software Engineering (Workshops)","author":"Wei\u00dfleder S.","year":"2008","unstructured":"S. Wei\u00dfleder and D. Sokenou . Automatic Test Case Generation from UML Models and OCL Expressions . In Software Engineering (Workshops) , pages 423 -- 426 , 2008 . S. Wei\u00dfleder and D. Sokenou. Automatic Test Case Generation from UML Models and OCL Expressions. In Software Engineering (Workshops), pages 423--426, 2008."}],"event":{"name":"ASE10: IEEE\/ACM International Conference on Automated Software Engineering","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Antwerpen Belgium","acronym":"ASE10"},"container-title":["Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1865875.1865877","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1865875.1865877","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:47Z","timestamp":1750248527000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1865875.1865877"}},"subtitle":["from xtUML system models to QML test models"],"short-title":[],"issued":{"date-parts":[[2010,9,20]]},"references-count":18,"alternative-id":["10.1145\/1865875.1865877","10.1145\/1865875"],"URL":"https:\/\/doi.org\/10.1145\/1865875.1865877","relation":{},"subject":[],"published":{"date-parts":[[2010,9,20]]},"assertion":[{"value":"2010-09-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}