{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T06:49:13Z","timestamp":1676443753342},"reference-count":17,"publisher":"Oxford University Press (OUP)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Computer Journal"],"published-print":{"date-parts":[[2009,5,1]]},"DOI":"10.1093\/comjnl\/bxn027","type":"journal-article","created":{"date-parts":[[2008,5,21]],"date-time":"2008-05-21T16:36:45Z","timestamp":1211387805000},"page":"334-347","source":"Crossref","is-referenced-by-count":4,"title":["Test Selection for Hierarchical and Communicating Finite State Machines"],"prefix":"10.1093","volume":"52","author":[{"given":"F.","family":"Ipate","sequence":"first","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2008,5,20]]},"reference":[{"key":"4_26269427","doi-asserted-by":"crossref","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","year":"1996","journal-title":"PROC. IEEE"},{"key":"5_31138029","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0140-3664(95)92852-N","volume":"18","year":"1995","journal-title":"COMPUT COMMUN"},{"key":"6_31138030","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1016\/0140-3664(95)96834-D","volume":"18","year":"1995","journal-title":"COMPUT COMMUN"},{"key":"7_26269420","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1109\/32.16602","volume":"15","year":"1989","journal-title":"IEEE TRANS SOFTW ENG"},{"key":"9_31138031","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0140-3664(92)90092-S","volume":"15","year":"1992","journal-title":"COMPUT COMMUN"},{"key":"10_26269417","first-page":"178","volume":"4","year":"1978","journal-title":"IEEE TRANS SOFTW ENG"},{"key":"12_31138032","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1049\/ip-sen:19990602","volume":"146","year":"1999","journal-title":"IEE PROC"},{"key":"13_26268088","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1109\/32.265636","volume":"20","year":"1994","journal-title":"IEEE TRANS SOFTW ENG"},{"key":"14_31138033","first-page":"191","volume":"64","year":"2005","journal-title":"FUNDAM INFORM"},{"key":"15_31138034","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/j.tcs.2005.12.002","volume":"353","year":"2006","journal-title":"THEORET COMPUT SCI"},{"key":"16_27742937","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1109\/32.87284","volume":"17","year":"1991","journal-title":"IEEE TRANS SOFTW ENG"},{"key":"18_31138035","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","year":"1992","journal-title":"IEEE COMPUT"},{"key":"19_31138037","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/s002000100090","volume":"13","year":"2002","journal-title":"APPL ALGEBRA ENG COMMUN COMPUT"},{"key":"22_31138038","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1007\/s10270-004-0077-7","volume":"4","year":"2005","journal-title":"SOFTW SYS MODEL"},{"key":"24_31138039","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1002\/stvr.301","volume":"14","year":"2004","journal-title":"SOFTW TEST VERIF RELIAB"},{"key":"25_31138040","first-page":"273","volume":"31","year":"1999","journal-title":"TOOLS"},{"key":"26_31138041","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1049\/ip-sen:19971789","volume":"144","year":"1997","journal-title":"IEE PROC SOFTW"}],"container-title":["The Computer Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/comjnl\/article-pdf\/52\/3\/334\/1067204\/bxn027.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,11]],"date-time":"2019-02-11T13:26:50Z","timestamp":1549891610000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/comjnl\/article-lookup\/doi\/10.1093\/comjnl\/bxn027"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,20]]},"references-count":17,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2009,4,27]]},"published-print":{"date-parts":[[2009,5,1]]}},"URL":"https:\/\/doi.org\/10.1093\/comjnl\/bxn027","relation":{},"ISSN":["0010-4620","1460-2067"],"issn-type":[{"value":"0010-4620","type":"print"},{"value":"1460-2067","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,5,20]]}}}