{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:43:46Z","timestamp":1725543826340},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540341840"},{"type":"electronic","value":"9783540341857"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11754008_5","type":"book-chapter","created":{"date-parts":[[2006,4,26]],"date-time":"2006-04-26T17:22:40Z","timestamp":1146072160000},"page":"71-86","source":"Crossref","is-referenced-by-count":0,"title":["LaTe, a Non-fully Deterministic Testing Language"],"prefix":"10.1007","author":[{"given":"Emmanuel Donin","family":"de Rosi\u00e8re","sequence":"first","affiliation":[]},{"given":"Claude","family":"Jard","sequence":"additional","affiliation":[]},{"given":"Beno\u00eet","family":"Parreaux","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2464-6","volume-title":"The Verilog Hardware Description Language","author":"D.E. Thomas","year":"1996","unstructured":"Thomas, D.E., Moorby, P.R.: The Verilog Hardware Description Language, 3rd edn. Kluwer Academic Publishers, Dordrecht (1996)","edition":"3"},{"key":"5_CR2","unstructured":"Offerman, A., Goor, A.: An experimental user level implementation of tcp. Technical Report 1-68340-44(1997)07, Delft University of Technology (1997)"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"1604","DOI":"10.1109\/26.111442","volume":"39","author":"A.V. Aho","year":"1991","unstructured":"Aho, A.V., Dahbura, A.T., Lee, D., Uyar, M.U.: An optimization technique for protocol conformance test generation based on UIO sequences and rural chinese postman tours. IEEE Transactions on Communications\u00a039, 1604\u20131615 (1991)","journal-title":"IEEE Transactions on Communications"},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1145\/192218.192221","volume":"3","author":"R.K. Doong","year":"1994","unstructured":"Doong, R.K., Frankl, P.G.: The ASTOOT approach to testing object-oriented programs. ACM Transactions on Software Engineering and Methodology\u00a03, 101\u2013130 (1994)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/3-540-47993-7_10","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"Y. Cheon","year":"2002","unstructured":"Cheon, Y., Leavens, G.T.: A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, p. 231. Springer, Heidelberg (2002)"},{"key":"5_CR6","unstructured":"Beck, K., Gamma, E.: Junit test infected: Programmers love writing tests. Technical report, Java Report (1998)"},{"key":"5_CR7","unstructured":"Massol, V., Husted, T.: JUnit In Action. Manning (2003)"},{"key":"5_CR8","unstructured":"ITU-T Z.140: The Tree and Tabular Combined Notation Version 3 (TTCN-3): Core Language (2001)"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Pickin, S., Jard, C., Le Traon, Y., J\u00e9z\u00e9quel, J., Le Guennec, A.: System test synthesis from uml models of distributed software. In: FORTE 2002, IFIP Int. Conf. on Formal description techniques, Houston, Texas (2002)","DOI":"10.1007\/3-540-36135-9_7"},{"key":"5_CR10","unstructured":"Ghriga, M., Frankl, P.G.: Adaptive testing of non-deterministic communication protocols. In: Protocol Test Systems, pp. 347\u2013362 (1993)"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/3-540-61474-5_82","volume-title":"Computer Aided Verification","author":"J.C. Fernandez","year":"1996","unstructured":"Fernandez, J.C., Jard, C., J\u00e9ron, T., Viho, G.: Using on-the-fly verification techniques for the generation of test suites. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 348\u2013359. Springer, Heidelberg (1996)"},{"key":"5_CR12","unstructured":"Tock, L.P.: The bcg postscript format. Technical report, INRIA Rh\u00f4ne-Alpes (1995)"},{"key":"5_CR13","unstructured":"Fernandez, J.C.: Aldebaran user\u2019s manual. Technical report, Laboratoire de G\u00e9nie Informatique - Institut IMAG (1989)"}],"container-title":["Lecture Notes in Computer Science","Testing of Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11754008_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T02:49:57Z","timestamp":1552358997000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11754008_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540341840","9783540341857"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11754008_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}