{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T13:49:44Z","timestamp":1766065784216,"version":"3.28.0"},"reference-count":33,"publisher":"Institution of Engineering and Technology (IET)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IET Softw."],"published-print":{"date-parts":[[2008,4,14]]},"DOI":"10.1049\/iet-sen:20060061","type":"journal-article","created":{"date-parts":[[2008,4,2]],"date-time":"2008-04-02T23:11:08Z","timestamp":1207177868000},"page":"79-93","source":"Crossref","is-referenced-by-count":50,"title":["Automatic test case generation using unified modeling language (UML) state diagrams"],"prefix":"10.1049","volume":"2","author":[{"given":"P.","family":"Samuel","sequence":"first","affiliation":[{"name":"Department of Computer Science and Engineering, Indian Institute of Technology, Kharagpur, West Bengal 721302, India"}]},{"given":"R.","family":"Mall","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, Indian Institute of Technology, Kharagpur, West Bengal 721302, India"}]},{"given":"A.K.","family":"Bothra","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, Indian Institute of Technology, Kharagpur, West Bengal 721302, India"}]}],"member":"265","reference":[{"key":"10.1049\/iet-sen:20060061_r1","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1002\/(SICI)1099-1689(199609\/12)6:3\/4<125::AID-STVR121>3.0.CO;2-X","volume":"6","author":"Binder","year":"1996","ISSN":"http:\/\/id.crossref.org\/issn\/0960-0833","issn-type":"print"},{"key":"10.1049\/iet-sen:20060061_r2","doi-asserted-by":"crossref","first-page":"738","DOI":"10.1145\/242223.242288","volume":"28","author":"Osterweil","year":"1996","ISSN":"http:\/\/id.crossref.org\/issn\/0360-0300","issn-type":"print"},{"key":"10.1049\/iet-sen:20060061_r3","unstructured":"Mall, R.: \u2018Fundamentals of Software Engineering\u2019, 2nd(Prentice Hall 2003)"},{"key":"10.1049\/iet-sen:20060061_r4","first-page":"309","volume":"46","author":"Cavarra","year":"2004"},{"key":"10.1049\/iet-sen:20060061_r5","first-page":"187","volume":"146","author":"Kim","year":"1999"},{"key":"10.1049\/iet-sen:20060061_r6","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/347324.348870","volume":"25","author":"Buy","year":"2000","journal-title":"Proc. Int. Symp. Software Testing and Analysis"},{"key":"10.1049\/iet-sen:20060061_r7","unstructured":"OMG: Unified Modeling Language Specification, Version 2.0, Object Management Group, www.omg.org, August 2005"},{"key":"10.1049\/iet-sen:20060061_r8","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1007\/3-540-46852-8_30","volume":"1723","author":"Offutt","year":"1999","journal-title":"Proc. 2nd Int. Conf. UML, Lecture Notes in Computer Science"},{"key":"10.1049\/iet-sen:20060061_r9","volume":"23","author":"Hajnal","year":"1998","journal-title":"Proc. ACM SIGSOFT Int. Symp. Software Testing and Analysis"},{"key":"10.1049\/iet-sen:20060061_r10","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1145\/196092.193171","volume":"3","author":"Jeng","year":"1994","ISSN":"http:\/\/id.crossref.org\/issn\/1049-331X","issn-type":"print"},{"key":"10.1049\/iet-sen:20060061_r11","doi-asserted-by":"crossref","first-page":"870","DOI":"10.1109\/32.57624","volume":"16","author":"Korel","year":"1990","ISSN":"http:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/iet-sen:20060061_r12","unstructured":"No Magic Inc: MagicDraw UML, Version 9.5 Golden, CO, www.magicdraw.com"},{"key":"10.1049\/iet-sen:20060061_r13","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1002\/stvr.264","volume":"13","author":"Offutt","year":"2003","ISSN":"http:\/\/id.crossref.org\/issn\/0960-0833","issn-type":"print"},{"key":"10.1049\/iet-sen:20060061_r14","doi-asserted-by":"crossref","first-page":"770","DOI":"10.1109\/TSE.2004.79","volume":"30","author":"Briand","year":"2004","ISSN":"http:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/iet-sen:20060061_r15","doi-asserted-by":"crossref","first-page":"676","DOI":"10.1145\/62959.62964","volume":"31","author":"Ostrand","year":"1998","ISSN":"http:\/\/id.crossref.org\/issn\/0001-0782","issn-type":"print"},{"key":"10.1049\/iet-sen:20060061_r16","first-page":"296","author":"Kansomkeat","year":"2003","journal-title":"Proc. SAICSIT 2003"},{"key":"10.1049\/iet-sen:20060061_r17","volume":"25","author":"Hartmann","year":"2000","journal-title":"Proc. Int. Symp. Software Testing and Analysis"},{"key":"10.1049\/iet-sen:20060061_r18","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1109\/ISSRE.1999.809330","author":"Scheetz","year":"1999","journal-title":"Proc. 10th Int. Symp. Software Reliability Engineering, ISSRE 99"},{"key":"10.1049\/iet-sen:20060061_r19","first-page":"194","volume":"2185","author":"Briand","year":"2001","journal-title":"Proc. 4th Int. Conf. UML, LNCS"},{"key":"10.1049\/iet-sen:20060061_r20","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/3-540-40011-7_28","volume":"1939","author":"Abdurazik","year":"2000","journal-title":"Proc. 3rd Int. Conf. UML, Lecture Notes in Computer Science"},{"journal-title":"Proc. 4th Int. Software Quality Week Europe and International Internet Quality Week Europe","year":"2002","author":"Bertolino","key":"10.1049\/iet-sen:20060061_r21"},{"key":"10.1049\/iet-sen:20060061_r22","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1002\/stvr.270","volume":"13","author":"Andrews","year":"2003","ISSN":"http:\/\/id.crossref.org\/issn\/0960-0833","issn-type":"print"},{"key":"10.1049\/iet-sen:20060061_r23","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1109\/APSEC.2004.55","author":"Linzhang","year":"2004","journal-title":"Proc. 11th Asia-Pacific Software Engineering Conf. (APSEC04)"},{"key":"10.1049\/iet-sen:20060061_r24","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/j.entcs.2004.02.072","volume":"116","author":"Cavalli","year":"2004","ISSN":"http:\/\/id.crossref.org\/issn\/1571-0661","issn-type":"print"},{"key":"10.1049\/iet-sen:20060061_r25","first-page":"383397","volume":"2460","author":"Basanieri","year":"2002","journal-title":"Proc. the 5th Int. Conf. UML, LNCS"},{"key":"10.1049\/iet-sen:20060061_r26","doi-asserted-by":"crossref","first-page":"332","DOI":"10.1109\/ISSRE.2003.1251054","author":"Ghosh","year":"2003","journal-title":"Proc. 14th Int. Symp. Software Reliability Engineering (ISSRE03)"},{"key":"10.1049\/iet-sen:20060061_r27","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1109\/ASE.2002.1115026","author":"Fraikin","year":"2002","journal-title":"Proc. 17th IEEE Int. Conf. Automated Software Engineering"},{"key":"10.1049\/iet-sen:20060061_r28","first-page":"234","volume":"3442","author":"Rountev","year":"2005","journal-title":"Proc. 8th Int. Conf. Fundamental Approaches to Software Engineering"},{"key":"10.1049\/iet-sen:20060061_r29","unstructured":"\u2018A survey of UML-based coverage criteria for software testing\u2019, Technical Report, 2005 National University of Ireland, Maynooth, Co. Kildare Ireland"},{"key":"10.1049\/iet-sen:20060061_r30","doi-asserted-by":"crossref","first-page":"2428","DOI":"10.1007\/3-540-45110-2_147","volume":"2724","author":"Baresel","year":"2003","journal-title":"Proc. Genetic and Evolutionary Computation GECCO 2003"},{"key":"10.1049\/iet-sen:20060061_r31","first-page":"105","volume":"14","author":"McMinn","year":"2004"},{"key":"10.1049\/iet-sen:20060061_r32","doi-asserted-by":"crossref","first-page":"1013","DOI":"10.1145\/1068009.1068182","author":"McMinn","year":"2005","journal-title":"Proc. Conf. Genetic and Evolutionary Computation"},{"key":"10.1049\/iet-sen:20060061_r33","first-page":"119","author":"Tonella","year":"2004","journal-title":"Proc. ACM SIGSOFT Int. Symp. Software Testing and Analysis"}],"container-title":["IET Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/iet-sen_20060061?crawler=true&mimetype=application\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,12]],"date-time":"2024-11-12T18:24:43Z","timestamp":1731435883000},"score":1,"resource":{"primary":{"URL":"http:\/\/digital-library.theiet.org\/doi\/10.1049\/iet-sen%3A20060061"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4,14]]},"references-count":33,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2008,4,14]]}},"alternative-id":["10.1049\/iet-sen:20060061"],"URL":"https:\/\/doi.org\/10.1049\/iet-sen:20060061","relation":{},"ISSN":["1751-8806","1751-8814"],"issn-type":[{"type":"print","value":"1751-8806"},{"type":"electronic","value":"1751-8814"}],"subject":[],"published":{"date-parts":[[2008,4,14]]}}}