{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,23]],"date-time":"2024-07-23T13:20:55Z","timestamp":1721740855890},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,6,27]],"date-time":"2013-06-27T00:00:00Z","timestamp":1372291200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1007\/s10009-013-0285-y","type":"journal-article","created":{"date-parts":[[2013,6,26]],"date-time":"2013-06-26T08:45:55Z","timestamp":1372236355000},"page":"285-294","source":"Crossref","is-referenced-by-count":3,"title":["A conformance test suite for TTCN-3 tools"],"prefix":"10.1007","volume":"16","author":[{"given":"Benjamin","family":"Zeiss","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andras","family":"Kovacs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikolay","family":"Pakulin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bogdan","family":"Stanca-Kaposta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,6,27]]},"reference":[{"key":"285_CR1","unstructured":"Ford, B., et al.: RubySpec. http:\/\/rubyspec.org"},{"key":"285_CR2","unstructured":"Esin, A., Novikov, A., Yavorskiy, R.: Experiments on semantics based testing of a compiler. http:\/\/www.mi.ras.ru\/rey\/papers\/asm05filatov.pdf (2004)"},{"key":"285_CR3","unstructured":"ETSI. TTCN-3 Home Page. http:\/\/www.ttcn-3.org"},{"key":"285_CR4","unstructured":"European Telecommunications Standards Institute (ETSI): ETSI ES 201 873 V4.2.1 (2010\u201307): Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Parts 1\u201310 (2010)"},{"key":"285_CR5","unstructured":"European Telecommunications Standards Institute (ETSI): ETSI ES 102 950 V1.1.1 (2011\u201304): Methods for Testing and Specification (MTS); TTCN-3 Conformance Test Suite; Parts 1\u20133 (2011)"},{"key":"285_CR6","unstructured":"European Telecommunications Standards Institute (ETSI): ETSI ES 102 950 V1.2.1 (2012\u201304): Methods for Testing and Specification (MTS); TTCN-3 Conformance Test Suite; Parts 1\u20133 (2012)"},{"key":"285_CR7","unstructured":"ISO. ISO\/IEC 9899:1999\u2014Programming Languages - C (1999)"},{"key":"285_CR8","unstructured":"ISO. ISO\/IEC 14882:2011\u2014Information technology\u2014Program- ming languages-C++ (2011)"},{"key":"285_CR9","unstructured":"Java Community Process: Java Compatibility Test Tools (Java CTT). http:\/\/jcp.org\/en\/resources\/tdk"},{"key":"285_CR10","unstructured":"Java Community Process: JSR 901: Java Language Specification. http:\/\/jcp.org\/en\/jsr\/detail?id=901"},{"key":"285_CR11","doi-asserted-by":"crossref","unstructured":"Xavier, L.: Formal certification of a compiler back-end or: programming a compiler with a proof assistant. SIGPLAN Not. 41, 42\u201354 (2006)","DOI":"10.1145\/1111320.1111042"},{"key":"285_CR12","unstructured":"Matsumoto, Y.: Ruby. http:\/\/www.ruby-lang.org"},{"key":"285_CR13","unstructured":"Perennial: C++VS: Perennial C++ Validation Suite\/CSVA. http:\/\/www.peren.com"},{"key":"285_CR14","unstructured":"Hall, P.: The Plum Hall Validation Suite for C\/Suite++\/ LibSuite++. http:\/\/www.plumhall.com\/"},{"key":"285_CR15","doi-asserted-by":"crossref","unstructured":"Zelenova, S.A., Zelenov, S.V.: Model-based testing of optimizing compilers. In Testing of Software and Communicating Systems, volume 4581 of Lecture Notes in Computer Science (LNCS), pages 365\u2013377 (2007)","DOI":"10.1007\/978-3-540-73066-8_25"},{"key":"285_CR16","unstructured":"Thomas, D., Hunt, A.: RubyTests\/Rubicon. http:\/\/rubyforge.org\/projects\/rubytests"},{"key":"285_CR17","unstructured":"van Rossum, G.: Python. http:\/\/www.python.org"}],"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-013-0285-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-013-0285-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-013-0285-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,16]],"date-time":"2019-07-16T07:47:59Z","timestamp":1563263279000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-013-0285-y"}},"subtitle":["Black-Box functional testing of TTCN-3 syntax and semantics"],"short-title":[],"issued":{"date-parts":[[2013,6,27]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,6]]}},"alternative-id":["285"],"URL":"https:\/\/doi.org\/10.1007\/s10009-013-0285-y","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,6,27]]}}}