{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T05:43:31Z","timestamp":1648878211403},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2003,8,1]],"date-time":"2003-08-01T00:00:00Z","timestamp":1059696000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["STTT"],"published-print":{"date-parts":[[2003,8]]},"DOI":"10.1007\/s10009-003-0109-6","type":"journal-article","created":{"date-parts":[[2004,3,20]],"date-time":"2004-03-20T14:26:30Z","timestamp":1079792790000},"page":"397-400","source":"Crossref","is-referenced-by-count":1,"title":["Main issues in protocol testing"],"prefix":"10.1007","volume":"4","author":[{"given":"Dieter","family":"Hogrefe","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,8,1]]},"reference":[{"key":"109_CIT1","unstructured":"ITU-T, Geneva, Switzerland (1999) Specification and description language (SDL). ITU-T Recommendation Z.100"},{"key":"109_CIT2","unstructured":"Ellsberger J, Hogrefe D, Sarma A (1997) SDL \u2013 object oriented language for communication systems. Prentice-Hall, Englewood Cliffs, NJ"},{"key":"109_CIT3","unstructured":"ITU-T, Geneva, Switzerland (1999) Message sequence charts (MSC). ITU-T Recommendation Z.100"},{"key":"109_CIT4","unstructured":"Grabowski J, Hogrefe D (1999) An introduction to TTCN-3. Proceedings of the 12th IFIP international workshop on testing communicating systems (IWTCS\u201999). Kluwer, Budapest"},{"key":"109_CIT5","unstructured":"ETSI (2002) Methods for testing and specification (MTS). The tree and tabular combined notation version 3. TTCN-3. ES\/MTS-00063, Sophia Antipolis, France"},{"key":"109_CIT6","unstructured":"ISO\/IEC (1989) Information technology \u2013 OSI conformance testing methodology and framework. International Standard IS 9646"},{"key":"109_CIT7","unstructured":"John Larmouth (1999) ASN.1 complete. Morgan Kaufmann, San Francisco"},{"key":"109_CIT8","unstructured":"ITU-T (2000) Encoding control notation (ECN), Rec. X.692. Geneva, Switzerland"},{"key":"109_CIT9","doi-asserted-by":"crossref","unstructured":"Schmitt M, Grabowski J, Hogrefe D, Koch B, Ek A (1998) Autolink \u2013 putting SDL-based test generation into practice. In: Proceedings of the 11th international IFIP workshop on testing of communicating systems (IWTCS\u201998), Tomsk, Russia, August 1998","DOI":"10.1007\/978-0-387-35381-4_14"},{"key":"109_CIT10","unstructured":"http:\/\/www.etsi.org\/frameset\/home.htm?\/pressroom\/\nPrevious\/2002\/MTS_IPT.htm"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-003-0109-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-003-0109-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-003-0109-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-003-0109-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T07:25:17Z","timestamp":1559114717000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-003-0109-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,8]]},"references-count":10,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2003,8]]}},"alternative-id":["109"],"URL":"http:\/\/dx.doi.org\/10.1007\/s10009-003-0109-6","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,8]]}}}