{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:41Z","timestamp":1725559001315},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540266129"},{"type":"electronic","value":"9783540315391"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11506843_19","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T21:58:08Z","timestamp":1279058288000},"page":"265-280","source":"Crossref","is-referenced-by-count":2,"title":["Network Element Testing Using TTCN-3: Benefits and Comparison"],"prefix":"10.1007","author":[{"given":"G. Bhaskar","family":"Rao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Keerthi","family":"Timmaraju","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Weigert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"ETSI ES 201873, The Testing and Test Control Notation TTCN-3, Part 1 (Core Language), Part 2 (Tabular Format), Part 3 (Graphical Format), Part 4 (Operational Semantics), Part 5 (TTCN-3 Runtime Interface), Part 6 (TTCN-3 Control Interfaces), \n                    \n                      http:\/\/www.etsi.org\/"},{"key":"19_CR2","unstructured":"Telelogic Tau Tester: TTCN-3 to C Code Generator, Reference Manuals. Telelogic (2004)"},{"key":"19_CR3","unstructured":"Weygant, P.: Clusters for High Availability: A Primer of HP Solutions, 2nd edn. Hewlett-Packard Company (2001)"},{"key":"19_CR4","unstructured":"Telelogic Tau G2: UML 2.0 to C\/C++\/Java Code Generator, Reference Manuals. Telelogic (2004)"},{"key":"19_CR5","unstructured":"Burton, S., Baresel, A., Schieferdecker, I.: Automated testing of automotive telematics systems using TTCN-3. In: 3rd Workshop on System Testing and Validation - SV 2004, Paris (December 2004)"},{"key":"19_CR6","unstructured":"ITU-T Z.120 (2000): Message Sequence Charts, MSC-2000, Geneva (October 1999)"},{"key":"19_CR7","volume-title":"Software Engineering A Practitioner\u2019s Approach","author":"R.S. Pressman","year":"1997","unstructured":"Pressman, R.S.: Software Engineering A Practitioner\u2019s Approach, 4th edn. McGraw-Hill, New York (1997)","edition":"4"},{"key":"19_CR8","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1007\/3-540-48213-X_10","volume-title":"SDL 2001: Meeting UML","author":"Paul Baker","year":"2001","unstructured":"Baker, P., Rudolph, E., Schieferdecker, I.: Graphical Test Specification - The Graphical Format of TTCN-3, Tenth International SDL FORUM, Copenhagen (June 2001)"},{"key":"19_CR9","unstructured":"ITU-T Recommendation X.680 (1997): Information Technology - Abstract Syntax Notation One (ASN.1): Specification of basic notation. Geneva (October 2000)"},{"key":"19_CR10","unstructured":"OMG: Unified Modeling Language v2.0 (UML). Object Management Group (2003)"}],"container-title":["Lecture Notes in Computer Science","SDL 2005: Model Driven"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11506843_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T02:44:13Z","timestamp":1619491453000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11506843_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540266129","9783540315391"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/11506843_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}