{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:23:30Z","timestamp":1750307010032,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,9,30]],"date-time":"2012-09-30T00:00:00Z","timestamp":1348963200000},"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":[[2012,9,30]]},"DOI":"10.1145\/2428516.2428525","type":"proceedings-article","created":{"date-parts":[[2013,1,11]],"date-time":"2013-01-11T15:43:47Z","timestamp":1357919027000},"page":"49-54","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Automatic generation of test models and properties from UML models with OCL constraints"],"prefix":"10.1145","author":[{"given":"Miguel A.","family":"Francisco","sequence":"first","affiliation":[{"name":"Interoud Innovation S.L. (Spain)"}]},{"given":"Laura M.","family":"Castro","sequence":"additional","affiliation":[{"name":"University of A Coru\u00f1a (Spain)"}]}],"member":"320","published-online":{"date-parts":[[2012,9,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2011.17"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411273.1411275"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159789.1159792"},{"key":"e_1_3_2_1_4_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. , Secaucus, NJ, USA , 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., Secaucus, NJ, USA, 2007."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30569-9_3"},{"key":"e_1_3_2_1_6_1","volume-title":"ECOOP Workshop on Integration and Transformation of UML models","author":"Benattou M.","year":"2002","unstructured":"M. Benattou , J. M. Bruel , and N. Hameurlain . Generating test data from ocl specification . In ECOOP Workshop on Integration and Transformation of UML models , 2002 . M. Benattou, J. M. Bruel, and N. Hameurlain. Generating test data from ocl specification. In ECOOP Workshop on Integration and Transformation of UML models, 2002."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/2008503.2008548"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2011.02.010"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/646159.680018"},{"key":"e_1_3_2_1_10_1","first-page":"545","volume-title":"6th Annual International Conference on Object-Oriented and Internet-based Technologies, Concepts, and Applications for a Networked World (Net. ObjectDays 2005","author":"Ciupa I.","year":"2005","unstructured":"I. Ciupa and A. Leitner . Automatic testing based on design by contract . In 6th Annual International Conference on Object-Oriented and Internet-based Technologies, Concepts, and Applications for a Networked World (Net. ObjectDays 2005 ), pages 545 -- 557 , 2005 . I. Ciupa and A. Leitner. Automatic testing based on design by contract. In 6th Annual International Conference on Object-Oriented and Internet-based Technologies, Concepts, and Applications for a Networked World (Net. ObjectDays 2005), pages 545--557, 2005."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_13_1","volume-title":"13th International Conference on Information Systems Development: Methods and Tools, Theory and Practice Conference, Advances in Theory, Practice and Education, 9--11","author":"Demuth B.","year":"2004","unstructured":"B. Demuth . The dresden ocl toolkit and its role in information systems development . In 13th International Conference on Information Systems Development: Methods and Tools, Theory and Practice Conference, Advances in Theory, Practice and Education, 9--11 September , 2004 . B. Demuth. The dresden ocl toolkit and its role in information systems development. In 13th International Conference on Information Systems Development: Methods and Tools, Theory and Practice Conference, Advances in Theory, Practice and Education, 9--11 September, 2004."},{"key":"e_1_3_2_1_14_1","volume-title":"2nd International Fujaba Days \"MDA with UML and Rule-based Object Manipulation\", September 15--17","author":"Demuth B.","year":"2004","unstructured":"B. Demuth , S. Loecher , and S. Zschaler . Structure of the dresden ocl toolkit extended abstract. In 2nd International Fujaba Days \"MDA with UML and Rule-based Object Manipulation\", September 15--17 , 2004 . B. Demuth, S. Loecher, and S. Zschaler. Structure of the dresden ocl toolkit extended abstract. In 2nd International Fujaba Days \"MDA with UML and Rule-based Object Manipulation\", September 15--17, 2004."},{"key":"e_1_3_2_1_15_1","first-page":"250","volume":"6286","author":"Derrick J.","year":"2010","unstructured":"J. Derrick , N. Walkinshaw , T. Arts , C. B. Earle , F. Cesarini , L.-A. Fredlund , V. Gul\u00edas , J. Hughes , and S. Thompson . Property-based testing - the protest project. Lecture Notes in Computer Science , 6286 LNCS: 250 -- 271 , 2010 . J. Derrick, N. Walkinshaw, T. Arts, C. B. Earle, F. Cesarini, L.-A. Fredlund, V. Gul\u00edas, J. Hughes, and S. Thompson. Property-based testing - the protest project. Lecture Notes in Computer Science, 6286 LNCS:250--271, 2010.","journal-title":"Property-based testing - the protest project. Lecture Notes in Computer Science"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1353673.1353681"},{"volume-title":"http:\/\/www.erlang.org\/doc\/apps\/jinterface\/index.html","year":"2012","key":"e_1_3_2_1_17_1","unstructured":"Jinterface. http:\/\/www.erlang.org\/doc\/apps\/jinterface\/index.html , 2012 . Jinterface. http:\/\/www.erlang.org\/doc\/apps\/jinterface\/index.html, 2012."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/646930.710411"},{"key":"e_1_3_2_1_19_1","first-page":"295","volume-title":"Technology of Object-Oriented Languages and Systems (TOOLS '98)","author":"Kramer R.","year":"1998","unstructured":"R. Kramer . icontract - the java(tm) design by contract(tm) tool . In Technology of Object-Oriented Languages and Systems (TOOLS '98) , pages 295 -- 307 , 1998 . R. Kramer. icontract - the java(tm) design by contract(tm) tool. In Technology of Object-Oriented Languages and Systems (TOOLS '98), pages 295--307, 1998."},{"key":"e_1_3_2_1_20_1","volume-title":"Design by contract with jml. www.jmlspecs.org","author":"Leavens G. T.","year":"2006","unstructured":"G. T. Leavens and Y. Cheon . Design by contract with jml. www.jmlspecs.org , 2006 . G. T. Leavens and Y. Cheon. Design by contract with jml. www.jmlspecs.org, 2006."},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of the Nordic workshop on Software Development Tools and Techniques","author":"Madsen P.","year":"2002","unstructured":"P. Madsen . Testing by contract - combining unit testing and design by contract . Proceedings of the Nordic workshop on Software Development Tools and Techniques , 2002 . P. Madsen. Testing by contract - combining unit testing and design by contract. Proceedings of the Nordic workshop on Software Development Tools and Techniques, 2002."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_3_2_1_23_1","volume-title":"Object-Oriented Software Construction","author":"Meyer B.","year":"1997","unstructured":"B. Meyer . Object-Oriented Software Construction . Prentice-Hall, Inc. , second edition, 1997 . B. Meyer. Object-Oriented Software Construction. Prentice-Hall, Inc., second edition, 1997."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04425-0_52"},{"key":"e_1_3_2_1_25_1","volume-title":"http:\/\/www.parasoft.com\/","author":"Parasoft","year":"2012","unstructured":"Parasoft corporation. http:\/\/www.parasoft.com\/ , 2012 . Parasoft corporation. http:\/\/www.parasoft.com\/, 2012."},{"key":"e_1_3_2_1_26_1","volume-title":"The","author":"Rumbaugh J.","year":"2004","unstructured":"J. Rumbaugh , I. Jacobson , and G. Booch . Unified Modeling Language Reference Manual , The ( 2 nd Edition). Pearson Higher Education , 2004 . J. Rumbaugh, I. Jacobson, and G. Booch. Unified Modeling Language Reference Manual, The (2nd Edition). Pearson Higher Education, 2004.","edition":"2"},{"key":"e_1_3_2_1_27_1","volume-title":"Automatic Test Case Generation for OCL: a Mutation Approach. Technical report","author":"Salas P. A.","year":"2005","unstructured":"P. A. Salas and B. K. Aichernig . Automatic Test Case Generation for OCL: a Mutation Approach. Technical report , 2005 . P. A. Salas and B. K. Aichernig. Automatic Test Case Generation for OCL: a Mutation Approach. Technical report, 2005."},{"key":"e_1_3_2_1_28_1","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"Utting M.","year":"2007","unstructured":"M. Utting and B. Legeard . Practical Model-Based Testing: A Tools Approach . Morgan Kaufmann Publishers Inc ., San Francisco, CA, USA, 2007 . M. Utting and B. Legeard. Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2007."},{"key":"e_1_3_2_1_29_1","volume-title":"April","author":"Utting M.","year":"2006","unstructured":"M. Utting , A. Pretschner , and B. Legeard . A taxonomy of model-based testing. Technical report , April 2006 . M. Utting, A. Pretschner, and B. Legeard. A taxonomy of model-based testing. Technical report, April 2006."},{"key":"e_1_3_2_1_30_1","volume-title":"The Object Constraint Language: Getting Your Models Ready for MDA","author":"Warmer J.","year":"2003","unstructured":"J. Warmer and A. Kleppe . The Object Constraint Language: Getting Your Models Ready for MDA . Addison-Wesley Longman Publishing Co., Inc. , 2 edition, 2003 . J. Warmer and A. Kleppe. The Object Constraint Language: Getting Your Models Ready for MDA. Addison-Wesley Longman Publishing Co., Inc., 2 edition, 2003."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/646853.707766"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"}],"event":{"name":"MODELS '12: ACM\/IEEE 15th International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Innsbruck Austria","acronym":"MODELS '12"},"container-title":["Proceedings of the 12th Workshop on OCL and Textual Modelling"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2428516.2428525","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2428516.2428525","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:49:01Z","timestamp":1750236541000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2428516.2428525"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,30]]},"references-count":32,"alternative-id":["10.1145\/2428516.2428525","10.1145\/2428516"],"URL":"https:\/\/doi.org\/10.1145\/2428516.2428525","relation":{},"subject":[],"published":{"date-parts":[[2012,9,30]]},"assertion":[{"value":"2012-09-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}