{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T16:33:26Z","timestamp":1732034006365},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642245794"},{"type":"electronic","value":"9783642245800"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24580-0_12","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T10:21:42Z","timestamp":1320229302000},"page":"162-178","source":"Crossref","is-referenced-by-count":27,"title":["Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs"],"prefix":"10.1007","author":[{"given":"Alexandre","family":"Petrenko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nina","family":"Yevtushenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., Yannakakis, M.: Distinguishing Tests for Nondeterministic and Probabilistic Machines. In: 27th ACM Symp. on Theory of Comp., pp. 363\u2013372 (1995)","key":"12_CR1","DOI":"10.1145\/225058.225161"},{"issue":"10","key":"12_CR2","doi-asserted-by":"publisher","first-page":"1330","DOI":"10.1109\/TC.2004.85","volume":"53","author":"R.M. Hierons","year":"2004","unstructured":"Hierons, R.M.: Testing from a Non-Deterministic Finite State Machine Using Adaptive State Counting. IEEE Transactions on Computers\u00a053(10), 1330\u20131342 (2004)","journal-title":"IEEE Transactions on Computers"},{"issue":"6","key":"12_CR3","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1134\/S0361768808060030","volume":"34","author":"M.L. Gromov","year":"2008","unstructured":"Gromov, M.L., Evtushenko, N.V., Kolomeets, A.V.: On the Synthesis of Adaptive Tests for Nondeterministic Finite State Machines. Progr. and Comp. Software\u00a034(6), 322\u2013329 (2008)","journal-title":"Progr. and Comp. Software"},{"issue":"2","key":"12_CR4","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1109\/32.265636","volume":"20","author":"G.L. Luo","year":"1994","unstructured":"Luo, G.L., Bochmann, G.v., Petrenko, A.: Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized Wp-method. IEEE Transactions on Software Engineering\u00a020(2), 149\u2013161 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"12_CR5","first-page":"55","volume-title":"ISSTA 2004 Software Eng. Notes","author":"L. Nachmanson","year":"2004","unstructured":"Nachmanson, L., Veanes, M., Schulte, W., Tillmann, N., Grieskamp, W.: Optimal Strategies for Testing Nondeterministic Systems. In: ISSTA 2004 Software Eng. Notes, vol.\u00a029, pp. 55\u201364. ACM, New York (2004)"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/11759744_9","volume-title":"Formal Approaches to Software Testing","author":"A. Petrenko","year":"2006","unstructured":"Petrenko, A., Yevtushenko, N.: Conformance Tests as Checking Experiments for Partial Nondeterministic FSM. In: Grieskamp, W., Weise, C. (eds.) FATES 2005. LNCS, vol.\u00a03997, pp. 118\u2013133. Springer, Heidelberg (2006)"},{"issue":"6","key":"12_CR7","first-page":"99","volume":"1","author":"A. Petrenko","year":"2009","unstructured":"Petrenko, A., Yevtushenko, N.: Refining Specifications in Adaptive Testing of Nondeterministic Finite State Machines. Vestnik Tomskogo Gos. Universiteta\u00a01(6), 99\u2013114 (2009)","journal-title":"Vestnik Tomskogo Gos. Universiteta"},{"doi-asserted-by":"crossref","unstructured":"Petrenko, A., Yevtushenko, N., Bochmann, G.v.: Testing Deterministic Implementations from their Nondeterministic Specifications. In: Proceedings of the IFIP Ninth International Workshop on Testing of Communicating Systems, pp. 125\u2013140 (1996)","key":"12_CR8","DOI":"10.1007\/978-0-387-35062-2_10"},{"issue":"9","key":"12_CR9","doi-asserted-by":"publisher","first-page":"1154","DOI":"10.1109\/TC.2005.152","volume":"54","author":"A. Petrenko","year":"2005","unstructured":"Petrenko, A., Yevtushenko, N.: Testing from Partial Deterministic FSM Specifications. IEEE Transactions on Computers\u00a054(9), 1154\u20131165 (2005)","journal-title":"IEEE Transactions on Computers"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-642-05031-2_9","volume-title":"Testing of Software and Communication Systems","author":"A. Simao","year":"2009","unstructured":"Simao, A., Petrenko, A., Yevtushenko, N.: Generating Reduced Tests for FSMs with Extra States. In: N\u00fa\u00f1ez, M., Baker, P., Merayo, M.G. (eds.) TESTCOM 2009. LNCS, vol.\u00a05826, pp. 129\u2013145. Springer, Heidelberg (2009)"},{"issue":"1","key":"12_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TSE.2003.1166585","volume":"29","author":"F. Zhang","year":"2003","unstructured":"Zhang, F., Cheung, T.: Optimal Transfer Trees and Distinguishing Trees for Testing Observable Nondeterministic Finite-State Machines. IEEE Transactions on Software Engineering\u00a029(1), 1\u201314 (2003)","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24580-0_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T00:23:45Z","timestamp":1558311825000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24580-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642245794","9783642245800"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24580-0_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}