{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:29:20Z","timestamp":1725661760593},"reference-count":6,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,7]]},"DOI":"10.1109\/snpd.2007.432","type":"proceedings-article","created":{"date-parts":[[2007,8,22]],"date-time":"2007-08-22T19:35:35Z","timestamp":1187811335000},"page":"882-887","source":"Crossref","is-referenced-by-count":1,"title":["A Formal Testing Framework for UML Statecharts"],"prefix":"10.1109","author":[{"given":"Xuede","family":"Zhan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","first-page":"79","article-title":"K-NN Search for Moving Query Point","author":"song","year":"2001","journal-title":"Proceedings of 7th SSTD Symposium"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/564691.564730"},{"key":"1","first-page":"97","article-title":"Semantic Caching in Location-Dependent Query Processing","author":"zheng","year":"2001","journal-title":"Proceedings of 7th SSTD Symposium"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/B978-155860869-6\/50033-0"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/342009.335427"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/B978-012722442-8\/50052-5"}],"event":{"name":"Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel\/Distributed Computing (SNPD 2007)","start":{"date-parts":[[2007,7,30]]},"location":"Qingdao, China","end":{"date-parts":[[2007,8,1]]}},"container-title":["Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel\/Distributed Computing (SNPD 2007)"],"original-title":[],"link":[{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx5\/4287452\/4287802\/04287973.pdf?arnumber=4287973","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T21:53:09Z","timestamp":1489614789000},"score":1,"resource":{"primary":{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/4287973\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7]]},"references-count":6,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.1109\/snpd.2007.432","relation":{},"subject":[],"published":{"date-parts":[[2007,7]]}}}