{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:09:03Z","timestamp":1725566943820},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540281283"},{"type":"electronic","value":"9783540318231"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11535409_76","type":"book-chapter","created":{"date-parts":[[2010,9,28]],"date-time":"2010-09-28T05:23:48Z","timestamp":1285651428000},"page":"522-527","source":"Crossref","is-referenced-by-count":0,"title":["EFSM-based Testing Strategy for APIs Test of Embedded OS"],"prefix":"10.1007","author":[{"given":"SongXia","family":"Hao","sequence":"first","affiliation":[]},{"given":"XiChang","family":"Zhong","sequence":"additional","affiliation":[]},{"given":"Yun","family":"Wang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"76_CR1","unstructured":"Bowen, J.P., Bogdanov, K. (eds.) pp. 91\u2013101. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"76_CR2","doi-asserted-by":"crossref","unstructured":"Petrenko, A., Boroday, S., Groz, R.: Confirming configurations in EFSM. In: Proceeding of FORTE XII (1999)","DOI":"10.1007\/978-0-387-35578-8_1"},{"key":"76_CR3","unstructured":"Zhong, X.-C., Zhang, N.: Embedded Software and Hopen System. BUAA press (2004)"},{"key":"76_CR4","unstructured":"Hopen 3.0 C library and API Manual, \n                    \n                      http:\/\/www.hopen.com.cn"},{"key":"76_CR5","unstructured":"Edvardsson, J.: A survey on automatic test data generation. In: ECSEL, October 1999, pp. 21\u201328 (1999)"},{"issue":"8","key":"76_CR6","doi-asserted-by":"publisher","first-page":"870","DOI":"10.1109\/32.57624","volume":"16","author":"B. Korel","year":"1990","unstructured":"Korel, B.: Automated Software Test Data Generation. IEEE Transactions on Software Engineering\u00a016(8), 870\u2013879 (1990)","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Embedded Software and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11535409_76.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:52:27Z","timestamp":1619506347000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11535409_76"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540281283","9783540318231"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/11535409_76","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}