{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T15:29:04Z","timestamp":1773588544674,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,5,10]],"date-time":"2008-05-10T00:00:00Z","timestamp":1210377600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,5,10]]},"DOI":"10.1145\/1368088.1368212","type":"proceedings-article","created":{"date-parts":[[2008,5,15]],"date-time":"2008-05-15T14:36:48Z","timestamp":1210862208000},"page":"827-830","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Using JULE to generate a compliance test suite for the UML standard"],"prefix":"10.1145","author":[{"given":"Panuchart","family":"Bunyakiati","sequence":"first","affiliation":[{"name":"UCL, London, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anthony","family":"Finkelstein","sequence":"additional","affiliation":[{"name":"UCL, London, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Skene","sequence":"additional","affiliation":[{"name":"UCL, London, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clovis","family":"Chapman","sequence":"additional","affiliation":[{"name":"UCL, London, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,5,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2005.63"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134420"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566191"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the IEEE IRI","author":"Bunyakiati P.","unstructured":"Bunyakiati, P., Finkelstein, A. and Rosenblum, D. 2007. The Certification of Software Tools with respect to Software Standards. In Proceedings of the IEEE IRI, Las Vegas, USA, 724--729."},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the UK E-Science All Hands Meeting","author":"Chapman C","unstructured":"Chapman, C, Goonatilake, C., Emmerich, W., Farrellee, M., Tannenbaum, T., Livny, M., Calleja, M. and Dove, M. 2005. Condor Birdbath - Web Service interface to Condor. In Proceedings of the UK E-Science All Hands Meeting, Nottingham, UK."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/647535.729387"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/298512"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1002\/1097-024X(200009)30:11%3C1203::AID-SPE338%3E3.3.CO;2-E"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Gogolla M. Bohling J. and Richters M. 2003. Validation of UML and OCL Models by Automatic Snapshot Generation. In Proceedings of the UML''2003 Lecture Notes in Computer Science Vol. 2863 Springer Berlin.","DOI":"10.1007\/978-3-540-45221-8_23"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1146359"},{"key":"e_1_3_2_1_11_1","unstructured":"JUnit November 2007 DOI=http:\/\/www.junit.org\/"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the IEEE ASE, CA, USA.","author":"Khurshid S.","unstructured":"Khurshid, S. and Marinov, D. 2001. TestEra, \"A novel framework for automated testing of Java programs\", In Proceedings of the IEEE ASE, CA, USA."},{"key":"e_1_3_2_1_13_1","unstructured":"Meudec C. 1998 Automatic Generation of Software Test Cases from Formal Specifications. Doctoral Thesis the Queen''s University of Belfast."},{"key":"e_1_3_2_1_14_1","unstructured":"The Object Management Group (OMG) The Object Constraint Language (OCL) specification DOI=http:\/\/www.omg.org\/."},{"key":"e_1_3_2_1_15_1","unstructured":"The Object Management Group (OMG) The Unified Modeling Language (UML) specification DOI=http:\/\/www.omg.org\/."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1138304.1138315"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007531"},{"key":"e_1_3_2_1_18_1","unstructured":"Wong K. 1998. The Rigi User''s Manual - Version 5.4.4. DOI=http:\/\/www.rigi.cs.uvic.ca\/downloads\/rigi\/doc\/"}],"event":{"name":"ICSE '08: International Conference on Software Engineering","location":"Leipzig Germany","acronym":"ICSE '08","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 30th international conference on Software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1368088.1368212","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1368088.1368212","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T13:49:41Z","timestamp":1773582581000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1368088.1368212"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,10]]},"references-count":18,"alternative-id":["10.1145\/1368088.1368212","10.1145\/1368088"],"URL":"https:\/\/doi.org\/10.1145\/1368088.1368212","relation":{},"subject":[],"published":{"date-parts":[[2008,5,10]]},"assertion":[{"value":"2008-05-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}