{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T09:44:54Z","timestamp":1760607894596},"reference-count":34,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1996,12,1]],"date-time":"1996-12-01T00:00:00Z","timestamp":849398400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Networks and ISDN Systems"],"published-print":{"date-parts":[[1996,12]]},"DOI":"10.1016\/s0169-7552(96)00016-5","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T02:57:10Z","timestamp":1027652230000},"page":"15-47","source":"Crossref","is-referenced-by-count":7,"title":["TTCN: Towards a formal semantics and validation of test suites"],"prefix":"10.1016","volume":"29","author":[{"given":"Finn","family":"Kristoffersen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Walter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0169-7552(96)00016-5_BIB1","series-title":"Proc. PSTV XII","article-title":"Automated validation of TTCN test suites","author":"B\u00e4r","year":"1992"},{"key":"10.1016\/S0169-7552(96)00016-5_BIB2","doi-asserted-by":"crossref","DOI":"10.1016\/0304-3975(85)90088-X","article-title":"Algebra of communicating processes with abstraction","volume":"37","author":"Bergstra","year":"1985","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0169-7552(96)00016-5_BIB3","doi-asserted-by":"crossref","DOI":"10.1007\/BF01211434","article-title":"Towards a formal foundation of the specification and description language SDL","author":"Broy","year":"1991","journal-title":"Formal Aspects Comput."},{"key":"10.1016\/S0169-7552(96)00016-5_BIB4","series-title":"Proc. PTS V","article-title":"On inconclusive verdict in conformance testing","author":"Chanson","year":"1992"},{"key":"10.1016\/S0169-7552(96)00016-5_BIB5","series-title":"Proc. FORTE '90","article-title":"Translation from TTCN to LOTOS and the validation of test cases","author":"Dubuc","year":"1991"},{"key":"10.1016\/S0169-7552(96)00016-5_BIB6","year":"1991","journal-title":"ETSI Technical Committee Methods for Testing and Specification"},{"key":"10.1016\/S0169-7552(96)00016-5_BIB7","year":"1994","journal-title":"ITU-T TS SG10 Q8 and ISO SC21 WG1 P54 Southampton output"},{"key":"10.1016\/S0169-7552(96)00016-5_BIB8","article-title":"An operational semantic model for basic SDL","author":"Godskesen","year":"1991","journal-title":"TFL Tech. Rept., TFL RR 1991\u20131992"},{"key":"10.1016\/S0169-7552(96)00016-5_BIB9","article-title":"Process algebra and structured operational semantics","author":"Groote","year":"1991"},{"key":"10.1016\/S0169-7552(96)00016-5_BIB10","article-title":"Observable behaviour of SDL specifications for the purpose of testing","author":"Hogrefe","year":"1989","journal-title":"CCITT X\/3"},{"key":"10.1016\/S0169-7552(96)00016-5_BIB11","article-title":"Information processing systems \u2014 Open Systems Interconnection \u2014 LOTOS \u2014 A formal description technique based on the temporal ordering of observational behaviour","author":"ISO","year":"1989","journal-title":"ISO 8807"},{"key":"10.1016\/S0169-7552(96)00016-5_BIB12","year":"1994","journal-title":"ISO\/IEC 9646-1"},{"key":"10.1016\/S0169-7552(96)00016-5_BIB13","year":"1994","journal-title":"ISO\/IEC 9646-2"},{"key":"10.1016\/S0169-7552(96)00016-5_BIB14","year":"1992","journal-title":"ISO\/IEC 9646-3"},{"key":"10.1016\/S0169-7552(96)00016-5_BIB15","volume":"1","year":"1993","journal-title":"ISO\/IEC 9646-3 DAM"},{"key":"10.1016\/S0169-7552(96)00016-5_BIB16","year":"1994","journal-title":"Telelogic AB"},{"issue":"7","key":"10.1016\/S0169-7552(96)00016-5_BIB17","doi-asserted-by":"crossref","DOI":"10.1109\/49.44561","article-title":"Conformance evaluation methodology and protocol testing","volume":"7","author":"Linn","year":"1989","journal-title":"IEEE J. Selected Areas Commun."},{"key":"10.1016\/S0169-7552(96)00016-5_BIB18_1","unstructured":"F. Kristoffersen and T. Walter, Test case validation TTCN test case validation against SDL specifications, TIK-Rept. No. 8"},{"key":"10.1016\/S0169-7552(96)00016-5_BIB18_2","article-title":"Test case validation TTCN test case validation against SDL specifications","author":"Kristoffersen","year":"1994","journal-title":"Tele Danmark Research Rept. TDR RR 1994-1"},{"key":"10.1016\/S0169-7552(96)00016-5_BIB19","author":"Milner","year":"1989"},{"key":"10.1016\/S0169-7552(96)00016-5_BIB20","series-title":"A structural approach to operational semantics","author":"Plotkin","year":"1981"},{"key":"10.1016\/S0169-7552(96)00016-5_BIB21","doi-asserted-by":"crossref","DOI":"10.1016\/0169-7552(92)90015-I","article-title":"TTCN: The international notation for specifying tests of communications systems","volume":"23","author":"Probert","year":"1992","journal-title":"Computer Networks ISDN Systems"},{"key":"10.1016\/S0169-7552(96)00016-5_BIB22","author":"Reed","year":"1993"},{"key":"10.1016\/S0169-7552(96)00016-5_BIB23","series-title":"Proc. PSTV VIII","article-title":"Translation of test specifications in TTCN to LOTOS","author":"Sarikaya","year":"1988"},{"key":"10.1016\/S0169-7552(96)00016-5_BIB24","doi-asserted-by":"crossref","DOI":"10.1016\/0169-7552(89)90004-4","article-title":"Conformance testing: Architectures and test sequences","volume":"17","author":"Sarikaya","year":"1989","journal-title":"Computer Networks ISDN Systems"},{"key":"10.1016\/S0169-7552(96)00016-5_BIB25","series-title":"Definition of MR and CRL Version 2.1, SPECS-Semantics and Analysis, SPECS consortium","year":"1990"},{"key":"10.1016\/S0169-7552(96)00016-5_BIB26","series-title":"Proc. Protocol Specification, Testing and Verification","article-title":"Principles for validation of abstract test suites specified in concurrent TTCN","author":"T\u00f6r\u00f6","year":"1995"},{"key":"10.1016\/S0169-7552(96)00016-5_BIB27","article-title":"Conformance testing based on formal system models","author":"Velthuys","year":"1992"},{"key":"10.1016\/S0169-7552(96)00016-5_BIB28","series-title":"IWPTS IV, IFIP","first-page":"31","article-title":"On test coverage metrics for communication protocols","author":"Vuong","year":"1991"},{"key":"10.1016\/S0169-7552(96)00016-5_BIB29","series-title":"Proc. PSTV XII","article-title":"A common semantics representation for SDL and TTCN","author":"Walter","year":"1992"},{"key":"10.1016\/S0169-7552(96)00016-5_BIB30","article-title":"Methods for testing and specification (MTS) semantical relationship between SDL and TTCN a common semantics representation","author":"Walter","year":"1993"},{"key":"10.1016\/S0169-7552(96)00016-5_BIB31","series-title":"Proc. PTS V","article-title":"An operational semantics for concurrent TTCN","author":"Walter","year":"1992"},{"key":"10.1016\/S0169-7552(96)00016-5_BIB32","year":"1989","journal-title":"Model and Notation, Service Definition, X.200"},{"key":"10.1016\/S0169-7552(96)00016-5_BIB33","author":"IUT","year":"1992","journal-title":"Functional Specification and Description Language SDL. ITU-T Recommendation"}],"container-title":["Computer Networks and ISDN Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169755296000165?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169755296000165?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,14]],"date-time":"2019-04-14T02:20:27Z","timestamp":1555208427000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0169755296000165"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,12]]},"references-count":34,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,12]]}},"alternative-id":["S0169755296000165"],"URL":"https:\/\/doi.org\/10.1016\/s0169-7552(96)00016-5","relation":{},"ISSN":["0169-7552"],"issn-type":[{"value":"0169-7552","type":"print"}],"subject":[],"published":{"date-parts":[[1996,12]]}}}