{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:21:49Z","timestamp":1775053309292,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540201755","type":"print"},{"value":"9783540399797","type":"electronic"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39979-7_19","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T14:52:22Z","timestamp":1277218342000},"page":"289-302","source":"Crossref","is-referenced-by-count":9,"title":["Concerning the Ordering of Adaptive Test Sequences"],"prefix":"10.1007","author":[{"given":"Robert M.","family":"Hierons","sequence":"first","affiliation":[]},{"given":"Hasan","family":"Ural","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1049\/sej.1993.0024","volume":"8","author":"H. AboElFotoh","year":"1993","unstructured":"AboElFotoh, H., Abou-Rabia, O., Ural, H.: A test generation algorithm for protocols modeled as non-deterministic FSMs. The Software Engineering Journal\u00a08, 184\u2013188 (1993)","journal-title":"The Software Engineering Journal"},{"key":"19_CR2","first-page":"63","volume-title":"Proceedings of Protocol Specification, Testing, and Verification VIII","author":"E. Brinksma","year":"1988","unstructured":"Brinksma, E.: A theory for the derivation of tests. In: Proceedings of Protocol Specification, Testing, and Verification VIII, Atlantic City, pp. 63\u201374. North-Holland, Amsterdam (1988)"},{"key":"19_CR3","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-0-387-35516-0_10","volume-title":"Testing of Communicating Systems","author":"J. Grabowski","year":"2000","unstructured":"Grabowski, J., Wiles, A., Willcock, C., Hogrefe, D.: On the design of the new testing language TTCN-3. In: Testing of Communicating Systems, Ottawa, August 29 - September 1, pp. 161\u2013176. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"19_CR4","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1093\/comjnl\/46.3.307","volume":"46","author":"R.M. Hierons","year":"2003","unstructured":"Hierons, R.M.: Generating candidates when testing a deterministic implementation against a non-deterministic finite state machine. The Computer Journal\u00a046, 307\u2013318 (2003)","journal-title":"The Computer Journal"},{"key":"19_CR5","unstructured":"Joint Technical Committee ISO\/IEC JTC 1. International Standard ISO\/IEC 9646-1. Information Technology - Open Systems Interconnection \u2013 Conformance testing methodology and framework - Part 1: General concepts. ISO\/IEC (1994)"},{"key":"19_CR6","unstructured":"ITU-T. Recommendation Z.500 Framework on formal methods in conformance testing. International Telecommunications Union, Geneva, Switzerland (1997)"},{"key":"19_CR7","doi-asserted-by":"publisher","first-page":"1089","DOI":"10.1109\/5.533956","volume":"84","author":"D. Lee","year":"1996","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite-state machines - a survey. Proceedings of the IEEE\u00a084, 1089\u20131123 (1996)","journal-title":"Proceedings of the IEEE"},{"key":"19_CR8","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/S0169-7552(96)00017-7","volume":"29","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Conformance testing with labelled transitions systems: Implementation relations and test generation. Computer Networks and ISDN Systems\u00a029, 49\u201379 (1996)","journal-title":"Computer Networks and ISDN Systems"},{"key":"19_CR9","unstructured":"Tripathy, P., Naik, K.: Generation of adaptive test cases from non-deterministic finite state models. In: Proceedings of the 5th International Workshop on Protocol Test Systems, Montreal, pp. 309\u2013320 (September 1992)"},{"key":"19_CR10","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-0-387-35198-8_12","volume-title":"IFIP TC6 10th International Workshop on Testing of Communicating Systems","author":"S. Yoo","year":"1997","unstructured":"Yoo, S., Kim, M., Kang, D.: An approach to dynamic protocol testing. In: IFIP TC6 10th International Workshop on Testing of Communicating Systems, Cheju Island, Korea, pp. 183\u2013199. Chapman and Hall, London (1997)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems - FORTE 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39979-7_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,14]],"date-time":"2019-03-14T19:11:08Z","timestamp":1552590668000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39979-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201755","9783540399797"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39979-7_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}