{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:59:45Z","timestamp":1725544785478},"publisher-location":"Berlin, Heidelberg","reference-count":16,"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_11","type":"book-chapter","created":{"date-parts":[[2006,4,26]],"date-time":"2006-04-26T17:22:40Z","timestamp":1146072160000},"page":"161-176","source":"Crossref","is-referenced-by-count":5,"title":["Use of TTCN-3 for Software Module Testing"],"prefix":"10.1007","author":[{"given":"Andreas Johan","family":"Nyberg","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.1996.566769","volume-title":"A prototype of a concurrent behavior monitoring tool for testing of concurrent programs","author":"E. Itoh","year":"1996","unstructured":"Itoh, E., Furukawa, Z., Ushijima, K.: A prototype of a concurrent behavior monitoring tool for testing of concurrent programs. IEEE, Los Alamitos (1996)"},{"key":"11_CR2","unstructured":"Tai, K.C.: Testing of Concurrent Software, Computer Software and Applications Conference, COMPSAC 1989, Proceedings of the 13th Annual International, September 20-22 (1989)"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Tai, K.: Definitions and detection of deadlock, livelock, and starvation in concurrent programs. In: Proceedings 1994 International Conference Parallel Processing (1994)","DOI":"10.1109\/ICPP.1994.84"},{"key":"11_CR4","unstructured":"Mackinnon, T., Freeman, S., Craig, P.: Endo-Testing: Unit Testing with Mock Objects. In: Proceedings XP 2000 (2000)"},{"key":"11_CR5","unstructured":"CUnit 2005: CUnit (2005), from CUnit Web site: http:\/\/cunit.sourceforge.net\/ (Retrieved November 9, 2005)"},{"key":"11_CR6","unstructured":"JUnit 2005: JUnit (2005), from JUnit Web site: http:\/\/junit.org\/index.htm (Retrieved November 9, 2005)"},{"key":"11_CR7","unstructured":"Moseley, S., Randall, S., Wiles, A., Schulz, S.: IPv6 Test Specifications from ETSI. Global Ipv6 Summit, Barcelona (June 2005)"},{"key":"11_CR8","unstructured":"Hwang, G., Tai, K., Huang, T.: Reachability Testing: an approach to testing concurrent software. In: Proceedings Software Engineering Conference, 1994, First Asia-Pacific, December 7-9 (1994)"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Carver, R.: Mutation-based testing of concurrent programs. In: Proceedings International Test Conference, October 17-21 (1993)","DOI":"10.1109\/TEST.1993.470617"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Thomas, D., Hunt, A.: Mock Objects. Software, IEEE\u00a019(3) (May-June 2002)","DOI":"10.1109\/MS.2002.1003449"},{"key":"11_CR11","volume-title":"A Mapping of OMG IDL to TTCN-3","author":"M. Ebner","year":"2001","unstructured":"Ebner, M.: A Mapping of OMG IDL to TTCN-3. University of L\u00fcbeck, Germany (2001)"},{"key":"11_CR12","first-page":"41","volume-title":"Software Testing Techniques","author":"B. Beizer","year":"1990","unstructured":"Beizer, B.: Software Testing Techniques, 2nd edn., pp. 41\u201354. Van Nostrand Reinhold, New York (1990)","edition":"2"},{"key":"11_CR13","unstructured":"ETSI ES 201 873, Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; V3.0.0, Sophia Antipolis (March 2005)"},{"key":"11_CR14","unstructured":"InformationTechnology, OSI conformance testing methodology and framework. ISO\/IEC (1994-1997), International Telecommunication Union recommendation X.290"},{"key":"11_CR15","unstructured":"ISO\/IEC 9899:1999: Programming languages - C, New York, NY, USA (1999-12)"},{"key":"11_CR16","doi-asserted-by":"publisher","DOI":"10.1002\/0470017317","volume-title":"TTCN-3 Test Systems in Practice: An Introduction to TTCN-3","author":"C. Willcock","year":"2005","unstructured":"Willcock, C., Dei\u00df, T., Tobies, S., Keil, S., Engler, F., Schulz, S.: TTCN-3 Test Systems in Practice: An Introduction to TTCN-3. John Wiley and Sons Ltd., England (2005)"}],"container-title":["Lecture Notes in Computer Science","Testing of Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11754008_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:03:58Z","timestamp":1619507038000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11754008_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540341840","9783540341857"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11754008_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}