{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T21:01:09Z","timestamp":1781298069624,"version":"3.54.1"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1109\/icsmc.2007.4413576","type":"proceedings-article","created":{"date-parts":[[2008,7,18]],"date-time":"2008-07-18T13:19:35Z","timestamp":1216387175000},"page":"1298-1303","source":"Crossref","is-referenced-by-count":1,"title":["Transformation of UML interaction diagrams into contract specifications for object-oriented testing"],"prefix":"10.1109","author":[{"family":"Huo Yan Chen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"family":"Chuang Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"T. H.","family":"Tse","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"13","year":"0","journal-title":"Extensible Markup Language (XML) - W3C"},{"key":"11","doi-asserted-by":"crossref","first-page":"1064","DOI":"10.1109\/ICSMC.2003.1244553","article-title":"An approach for object-oriented cluster-level tests based on UML","volume":"2","author":"chen","year":"2003","journal-title":"Proceedings of the 2003 IEEE International Conference on Systems Man and Cybernetics (SMC 2003)"},{"key":"12","year":"0"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1278201.1278210"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/366378.366380"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/97945.97967"},{"key":"10","year":"0"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2002.1115027"},{"key":"6","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/3-540-45923-5_12","article-title":"AToM3: A Tool for multiformalism and meta-modelling","volume":"2306","author":"de lara","year":"2002","journal-title":"Lecture Notes in Computer Science"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.4018\/jdm.2003070103"},{"key":"4","article-title":"Transforming UML models to formal specifications","volume":"1618","author":"bruel","year":"1999","journal-title":"Lecture Notes in Computer Science Springer"},{"key":"9","article-title":"A formal metamodeling approach to a transformation between visual and formal modeling techniques","author":"kim","year":"2002"},{"key":"8","year":"0"}],"event":{"name":"2007 IEEE International Conference on Systems, Man and Cybernetics","location":"Montreal, QC, Canada","start":{"date-parts":[[2007,10,7]]},"end":{"date-parts":[[2007,10,10]]}},"container-title":["2007 IEEE International Conference on Systems, Man and Cybernetics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4413560\/4413561\/04413576.pdf?arnumber=4413576","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T20:29:53Z","timestamp":1781296193000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4413576\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2007.4413576","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}