{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T17:07:01Z","timestamp":1745946421026},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/issre.2003.1251054","type":"proceedings-article","created":{"date-parts":[[2005,4,25]],"date-time":"2005-04-25T18:49:51Z","timestamp":1114454991000},"page":"332-343","source":"Crossref","is-referenced-by-count":8,"title":["Test adequacy assessment for UML design model testing"],"prefix":"10.1109","author":[{"given":"S.","family":"Ghosh","sequence":"first","affiliation":[]},{"given":"R.","family":"France","sequence":"additional","affiliation":[]},{"given":"C.","family":"Braganza","sequence":"additional","affiliation":[]},{"given":"N.","family":"Kawane","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/62959.62964"},{"key":"ref11","first-page":"13","article-title":"Adequate testing and object-oriented programming","author":"perry","year":"1990","journal-title":"Journal of Object-oriented Pro-gramming"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504306"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1999.809330"},{"journal-title":"OMG Unified Modeling Language Specification Version 1 3","article-title":"The Object Management Group","year":"1999","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1993.366932"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/32.44376"},{"key":"ref4","first-page":"194","article-title":"A UML-based approach to system testing","author":"briand","year":"2001","journal-title":"4th International Conference on the UML"},{"key":"ref3","article-title":"Testing Object-Oriented Systems Models, Pat-terns, and Tools","author":"binder","year":"1999","journal-title":"Object Technology Series"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1992.753491"},{"key":"ref5","first-page":"165","article-title":"Case studies on testing object-oriented programs","author":"frankl","year":"1991","journal-title":"Proc 4th Symposium on Testing Analysis and Verification"},{"key":"ref8","first-page":"293","article-title":"Testing Object-Oriented Software Using the Category-Partition Method","author":"offutt","year":"1995","journal-title":"Proceedings of the 17th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS USA) 1995"},{"journal-title":"Executable UML A Foundation for Model Driven Architecture","year":"2002","author":"mellor","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.270"},{"key":"ref1","first-page":"383","article-title":"Using UML collaboration diagrams for static checking and test generation","author":"abdurazik","year":"2000","journal-title":"3rd International Conference on the UML"},{"key":"ref9","first-page":"416","article-title":"Generating test from UML spec-ifications","author":"offutt","year":"1999","journal-title":"2nd International Conference on the UML"}],"event":{"name":"14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003.","location":"Denver, Colorado, USA"},"container-title":["14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8855\/27999\/01251054.pdf?arnumber=1251054","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T18:36:00Z","timestamp":1489430160000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1251054\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/issre.2003.1251054","relation":{},"subject":[]}}