{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T12:22:51Z","timestamp":1763641371981},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540212195"},{"type":"electronic","value":"9783540247043"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-24704-3_6","type":"book-chapter","created":{"date-parts":[[2010,7,28]],"date-time":"2010-07-28T00:13:44Z","timestamp":1280276024000},"page":"76-94","source":"Crossref","is-referenced-by-count":14,"title":["On Testing Partially Specified IOTS through Lossless Queues"],"prefix":"10.1007","author":[{"given":"Jia","family":"Le Huo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Petrenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Balemi, S.: Control of Discrete Event Systems: Theory and Application. Ph.D. thesis, Swiss Federal Inst. of Technology, Zurich, Switzerland (1992)"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-24617-6_7","volume-title":"Formal Approaches to Software Testing","author":"M. Bijl van der","year":"2004","unstructured":"van der Bijl, M., Rensink, A., Tretmans, J.: Compositional Testing with IOCO. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol.\u00a02931, pp. 86\u2013100. Springer, Heidelberg (2004)"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/3-540-45510-8_9","volume-title":"Modeling and Verification of Parallel Processes","author":"E. Brinksma","year":"2001","unstructured":"Brinksma, E., Tretmans, J.: Testing Transition Systems: An Annotated Bibliography. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. LNCS, vol.\u00a02067, p. 187. Springer, Heidelberg (2001)"},{"key":"6_CR4","volume-title":"The Book of Traces","author":"M. Clerbout","year":"1995","unstructured":"Clerbout, M., Latteux, M., Roos, Y.: Semi-Commutations. In: Diekert, V., Rozenberg, G. (eds.) The Book of Traces, World Scientific, Singapore (1995)"},{"key":"6_CR5","volume-title":"Formal Description Techniques and Protocol Specification, Testing and Verification","author":"L. Herrink","year":"1997","unstructured":"Herrink, L., Tretmans, J.: Refusal Testing for Classes of Transition Systems with Inputs and Outputs. In: Mizuno, T., Shiratori, N., Higashino, T., Togashi, A. (eds.) Formal Description Techniques and Protocol Specification, Testing and Verification, Chapman & Hill, Boca Raton (1997)"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Jard, C., J\u00e9ron, T., Tanguy, L., Viho, C.: Remote Testing Can be as Powerful as Local Testing. In: The Proceedings of the IFIP Joint International Conference, Methods for Protocol Engineering and Distributed Systems, FORTE XII\/PSTV XIX, China (1999)","DOI":"10.1007\/978-0-387-35578-8_2"},{"key":"6_CR7","unstructured":"Lynch, N., Tuttle, M.R.: An Introduction to Input\/Output Automata. In: CWI Quarterly, vol.\u00a02(3) (1989)"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/3-540-44830-6_11","volume-title":"Testing of Communicating Systems","author":"A. Petrenko","year":"2003","unstructured":"Petrenko, A., Yevtushenko, N., Huo, J.L.: Testing Transition Systems with Input and Output Testers. In: Hogrefe, D., Wiles, A. (eds.) TestCom 2003. LNCS, vol.\u00a02644, pp. 129\u2013145. Springer, Heidelberg (2003)"},{"key":"6_CR9","unstructured":"Phalippou, M.: Executable Testers. In: The Proceedings of the IFIP Sixth International Workshop on Protocol Test Systems, IWPTS 1993, France (1993)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR\u201993","author":"R. Segala","year":"1993","unstructured":"Segala, R.: Quiescence, Fairness, Testing and the Notion of Implementation. In: Best, E. (ed.) CONCUR 1993. LNCS, vol.\u00a0715, Springer, Heidelberg (1993)"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Tan, Q.M., Petrenko, A.: Test Generation for Specifications Modeled by Input\/Output Automata. In: The Proceedings of the IFIP 11th International Workshop on Testing of Communicating Systems, IWTCS 1998, Russia (1998)","DOI":"10.1007\/978-0-387-35381-4_6"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Tretmans, J.: Test Generation with Inputs, Outputs and Repetitive Quiescence. In: Software-Concepts and Tools, vol.\u00a017(3) (1996)","DOI":"10.1007\/3-540-61042-1_42"},{"key":"6_CR13","volume-title":"Protocol Specification, Testing and Verification, XII","author":"J. Tretmans","year":"1992","unstructured":"Tretmans, J., Verhaard, L.: A Queue Model Relating Synchronous and Asynchronous Communication. In: Linn Jr., R.J., \u00dcyar, M.\u00dc. (eds.) Protocol Specification, Testing and Verification, XII, Elsevier Science Publishers B. V., North-Holland (1992)"},{"key":"6_CR14","unstructured":"Verhaard, L., Tretmans, J., Kim, P., Brinksma, E.: On Asynchronous Testing. In: Proceedings of the IFIP 5th International Workshop on Protocol Test Systems, IWPTS 1992, Canada (1992)"}],"container-title":["Lecture Notes in Computer Science","Testing of Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24704-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T19:27:23Z","timestamp":1559330843000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24704-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212195","9783540247043"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24704-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}