{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T09:08:06Z","timestamp":1748509686194,"version":"3.28.0"},"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":[{"role":"author","vocabulary":"crossref"}]},{"family":"Chuang Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T. H.","family":"Tse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Extensible Markup Language (XML) - W3C","year":"0","key":"13"},{"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)"},{"year":"0","key":"12"},{"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"},{"year":"0","key":"10"},{"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"},{"article-title":"A formal metamodeling approach to a transformation between visual and formal modeling techniques","year":"2002","author":"kim","key":"9"},{"year":"0","key":"8"}],"event":{"name":"2007 IEEE International Conference on Systems, Man and Cybernetics","start":{"date-parts":[[2007,10,7]]},"location":"Montreal, QC, Canada","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":[[2017,6,18]],"date-time":"2017-06-18T06:05:24Z","timestamp":1497765924000},"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]]}}}