{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:44:49Z","timestamp":1725749089815},"reference-count":14,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/hase.2002.1173128","type":"proceedings-article","created":{"date-parts":[[2003,6,26]],"date-time":"2003-06-26T01:03:42Z","timestamp":1056589422000},"page":"237-239","source":"Crossref","is-referenced-by-count":1,"title":["Extended-model based testing by directed Chinese postman algorithm"],"prefix":"10.1109","author":[{"given":"J.","family":"Takahashi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Y.","family":"Kakuda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Intelligent Test Automation","author":"robinson","year":"2000","journal-title":"Testing and Quality Engineering"},{"key":"ref11","first-page":"83","article-title":"An Automated Testing Oracle for Verifying GUI Objects","author":"takahashi","year":"2000","journal-title":"ACM Software Eng Notes"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-47984-8_34"},{"key":"ref13","article-title":"The Directed Chinese Postman Problem","author":"thimbleby","year":"2000","journal-title":"Technical Report"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/52.730835"},{"key":"ref4","article-title":"Model-Based Testing in Practice","author":"dalas","year":"1999","journal-title":"ICSE '99"},{"journal-title":"Black-Box Testing","year":"1995","author":"beizer","key":"ref3"},{"key":"ref6","first-page":"237","article-title":"programming using odd and even points","author":"guan","year":"1962","journal-title":"Chinese Math"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/BF01580113"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/32.965342"},{"journal-title":"The Complete Guide to Software Testing","year":"1976","author":"hetzel","key":"ref7"},{"journal-title":"Software Testing Techniques","year":"1983","author":"beizer","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/6.632499"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/32.908959"}],"event":{"name":"7th IEEE International Symposium on High Assurance Systems Engineering. HASE 2002","acronym":"HASE-02","location":"Tokyo, Japan"},"container-title":["7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8375\/26364\/01173128.pdf?arnumber=1173128","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T22:30:08Z","timestamp":1489444208000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1173128\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/hase.2002.1173128","relation":{},"subject":[]}}