{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T17:08:36Z","timestamp":1732036116542},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/ewdts.2015.7493120","type":"proceedings-article","created":{"date-parts":[[2016,6,16]],"date-time":"2016-06-16T20:15:55Z","timestamp":1466108155000},"page":"1-4","source":"Crossref","is-referenced-by-count":3,"title":["Decreasing the length of adaptive distinguishing experiments for nondeterministic merging-free finite state machines"],"prefix":"10.1109","author":[{"given":"Nina","family":"Yevtushenko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Natalia","family":"Kushik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/225058.225161"},{"journal-title":"Abstract Automata American Elsevier","year":"1972","author":"starke","key":"ref3"},{"key":"ref6","article-title":"On adaptive experiments for nondeterministic finite state machines","author":"kushik","year":"2014","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24580-0_12"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68759-9"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/12.272431"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/41.5.349"},{"key":"ref1","first-page":"125","article-title":"Testing Deterministic Implementations from their Nondeterministic Specifications","author":"petrenko","year":"1996","journal-title":"Proc IFIP Ninth Int l Workshop Testing Comm Systems"}],"event":{"name":"2015 IEEE East-West Design & Test Symposium (EWDTS)","start":{"date-parts":[[2015,9,26]]},"location":"Batumi, Georgia","end":{"date-parts":[[2015,9,29]]}},"container-title":["2015 IEEE East-West Design & Test Symposium (EWDTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7488713\/7493093\/07493120.pdf?arnumber=7493120","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T17:18:30Z","timestamp":1489771110000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7493120\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/ewdts.2015.7493120","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}