{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T10:15:36Z","timestamp":1772532936443,"version":"3.50.1"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,10]]},"DOI":"10.1109\/icsmc.2007.4414060","type":"proceedings-article","created":{"date-parts":[[2008,1,4]],"date-time":"2008-01-04T20:52:49Z","timestamp":1199479969000},"page":"1292-1297","source":"Crossref","is-referenced-by-count":32,"title":["Test case generation by means of UML sequence diagrams and labeled transition systems"],"prefix":"10.1109","author":[{"given":"Emanuela G.","family":"Cartaxo","sequence":"first","affiliation":[]},{"given":"Francisco G. O.","family":"Neto","sequence":"additional","affiliation":[]},{"given":"Patricia D. L.","family":"Machado","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/1083274.1083279"},{"key":"17","first-page":"102","article-title":"utomated ttcn-3 test case generation by means of uml sequence diagrams and markov chains","author":"beyer","year":"2003","journal-title":"Asian Test Symposium"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2002.1115026"},{"key":"15","year":"0"},{"key":"16","author":"bousquet","year":"0","journal-title":"Conformance testing from uml specifications"},{"key":"13","first-page":"275","article-title":"UMLAUT: An extendible UML transformation framework","author":"ho","year":"1999","journal-title":"Automated Software Engineering"},{"key":"14","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/3-540-48683-6_12","article-title":"Test generation derived from model-checking","author":"je?ron","year":"1999","journal-title":"CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification"},{"key":"11","author":"mcgregor","year":"2001","journal-title":"A Practical Guide to Testing Object-Oriented Software"},{"key":"12","article-title":"Validating distributed software modelled with uml","author":"je?ze?quel","year":"1998","journal-title":"Int Workshop UML98"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/GLOCOM.1992.276537"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/32.729680"},{"key":"20","year":"0"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(02)00352-3"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302640"},{"key":"10","year":"0"},{"key":"7","author":"beizer","year":"1990","journal-title":"Software Testing Techniques"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1201\/b16592"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/949952.940123"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/839268.839270"},{"key":"9","author":"binder","year":"1999","journal-title":"Testing Object-Oriented Systems Models Patterns and Tools"},{"key":"8","article-title":"Model-based software testing","author":"el-far","year":"2001","journal-title":"Encyclopedia on Software Engineering"}],"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\/04414060.pdf?arnumber=4414060","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T14:58:55Z","timestamp":1557154735000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4414060\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2007.4414060","relation":{},"subject":[],"published":{"date-parts":[[2007,10]]}}}