{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,24]],"date-time":"2025-03-24T06:29:20Z","timestamp":1742797760748,"version":"3.30.1"},"reference-count":57,"publisher":"Elsevier BV","issue":"11-12","license":[{"start":{"date-parts":[[1999,9,1]],"date-time":"1999-09-01T00:00:00Z","timestamp":936144000000},"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":["Information and Software Technology"],"published-print":{"date-parts":[[1999,9]]},"DOI":"10.1016\/s0950-5849(99)00037-3","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T18:22:28Z","timestamp":1027621348000},"page":"781-798","source":"Crossref","is-referenced-by-count":13,"title":["A framework for the specification of test cases for real-time distributed systems"],"prefix":"10.1016","volume":"41","author":[{"given":"T.","family":"Walter","sequence":"first","affiliation":[]},{"given":"J.","family":"Grabowski","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"year":"1990","series-title":"Software Testing Techniques","author":"Beizer","key":"10.1016\/S0950-5849(99)00037-3_BIB1"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB2","unstructured":"ANSI\/IEEE. Glossary of Software Engineering Terminology. ANSI\/IEEE Std 729-1983, ANSI\/IEEE Std 729-1983, 1983."},{"year":"1979","series-title":"The Art of Software Testing","author":"Myers","key":"10.1016\/S0950-5849(99)00037-3_BIB3"},{"year":"1989","series-title":"Software Engineering","author":"Sommerville","key":"10.1016\/S0950-5849(99)00037-3_BIB4"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB5","unstructured":"ISO. Information Technology-OSI-Conformance Testing Methodology and Framework-Parts 1-7. ISO, IS 9646, 1994-1997."},{"key":"10.1016\/S0950-5849(99)00037-3_BIB6","series-title":"Embedded Systems","article-title":"A note on the meaning of embedded systems","volume":"284","author":"K\u00fcndig","year":"1986"},{"year":"1991","series-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Manna","key":"10.1016\/S0950-5849(99)00037-3_BIB7"},{"year":"1996","series-title":"Real-Time Systems-Abstractions, Languages, and Design Methodologies","key":"10.1016\/S0950-5849(99)00037-3_BIB8"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB9","series-title":"Distributed Systems","article-title":"Real Time and Dependability Concepts","author":"Kopetz","year":"1993"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB10","series-title":"Real-Time: Theory and Practise","article-title":"From timed to hybrid systems","author":"Maler","year":"1991"},{"year":"1994","series-title":"Computer Organization and Design The Hardware\/Software Interface","author":"Patterson","key":"10.1016\/S0950-5849(99)00037-3_BIB11"},{"year":"1998","series-title":"The CORBA Reference Guide\u2014Understanding the Common Object Request Broker Architecture","author":"Pope","key":"10.1016\/S0950-5849(99)00037-3_BIB12"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB13","article-title":"Programming service tests with TTCN","volume":"11","author":"Anlauf","year":"1998"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB14","article-title":"Application of a TTCN based conformance test environment on the Internet email protocol","volume":"10","author":"Bi","year":"1997"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB15","series-title":"Formale Beschreibungstechniken f\u00fcr Verteilte Systeme, Band 29, Nummer 9","article-title":"Formal based testing of ATM signalling","author":"Schieferdecker","year":"1996"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB16","doi-asserted-by":"crossref","unstructured":"I. Schieferdecker, M. Li, A. Hoffmann, Conformance Testing of TINA Service Components-the TTCN\/CORBA Gateway, in: Proceedings of the 5th International Conference on Intelligence in Services and Networks, Antwerp, Belgium, May 1998.","DOI":"10.1007\/BFb0056984"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB17","unstructured":"ISO. Information Technology-OSI-Conformance Testing Methodology and Framework-Part 1: General Concepts. ISO IS 9646-1, 1994."},{"key":"10.1016\/S0950-5849(99)00037-3_BIB18","article-title":"PerfTTCN, a TTCN language extension for performance testing","volume":"10","author":"Schieferdecker","year":"1997"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB19","article-title":"Test architectures for distributed systems\u2014state of the art and beyond (invited paper)","volume":"11","author":"Walter","year":"1998"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB20","series-title":"Kommunikation in Verteilten Systemen, Informatik aktuell","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-60729-5_13","article-title":"A proposal for a real-time extension of TTCN","author":"Walter","year":"1997"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB21","unstructured":"ISO. Information Technology-OSI-Conformance Testing Methodology and Framework-Parts 3: The Tree and Tabular Combined Notation (TTCN). ISO IS 9646-3, 1997."},{"key":"10.1016\/S0950-5849(99)00037-3_BIB22","first-page":"975","article-title":"Proposal for the Operational Semantics of Concurrent TTCN","author":"Baumgarten","year":"1996","journal-title":"Technical Report, GMD"},{"year":"1994","series-title":"OSI Conformance Testing Methodology and TTCN","author":"Baumgarten","key":"10.1016\/S0950-5849(99)00037-3_BIB23"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB24","doi-asserted-by":"crossref","unstructured":"F. Kristoffersen, T. Walter, Towards a formal semantics and validation of test suites, Computer Network and ISDN Systems 29 (1996).","DOI":"10.1016\/S0169-7552(96)00016-5"},{"issue":"7","key":"10.1016\/S0950-5849(99)00037-3_BIB25","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 Journal on Selected Areas in Communications"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB26","doi-asserted-by":"crossref","DOI":"10.1016\/0169-7552(92)90015-I","article-title":"The international notation for specifying tests of communications systems","volume":"23","author":"Probert","year":"1992","journal-title":"Computer Networks and ISDN Systems"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB27","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 and ISDN Systems"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB28","series-title":"Real-Time: Theory in Practice","article-title":"Timed transition systems","volume":"600","author":"Henzinger","year":"1991"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB29","article-title":"Real-time TTCN for testing real-time and multimedia systems","volume":"10","author":"Walter","year":"1997"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB30","series-title":"Protocol Specification, Testing and Verification XII","article-title":"A common semantics representation for SDL and TTCN","author":"Walter","year":"1992"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB31","series-title":"Protocol Test Systems V","article-title":"An operational semantics for concurrent TTCN","author":"Walter","year":"1992"},{"issue":"7","key":"10.1016\/S0950-5849(99)00037-3_BIB32","doi-asserted-by":"crossref","DOI":"10.1145\/360248.360251","article-title":"Formal verification of parallel programs","volume":"19","author":"Keller","year":"1976","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB33","doi-asserted-by":"crossref","DOI":"10.1145\/227595.227602","article-title":"The benefits of relaxing punctuality","volume":"43","author":"Alur","year":"1996","journal-title":"Journal of the ACM"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB34","series-title":"Broadband Communications","article-title":"Multimedia multipoint teleteaching over the ATM pilot","volume":"1044","author":"Znaty","year":"1996"},{"year":"1995","series-title":"Multimedia: computing, Communications and Applications","author":"Steinmetz","key":"10.1016\/S0950-5849(99)00037-3_BIB35"},{"issue":"3","key":"10.1016\/S0950-5849(99)00037-3_BIB36","doi-asserted-by":"crossref","DOI":"10.1109\/49.53016","article-title":"Synchronization properties in multimedia systems","volume":"8","author":"Steinmetz","year":"1990","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB37","doi-asserted-by":"crossref","unstructured":"A. Vogel, B. Kerherv\u00e9, G.v. Bochmann, J. Gecsei, Distributed multimedia and QOS: a survey. In IEEE MultiMedia, 1995.","DOI":"10.1109\/93.388195"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB38","unstructured":"ITU. Data Communication Networks Open Systems Interconnection (OSI) Model and Notation, Service Definition. X.200-X.219, 1988."},{"key":"10.1016\/S0950-5849(99)00037-3_BIB39","series-title":"High Performance Networking","article-title":"The OSI 95 connection-mode transport service\u2014the enhanced QoS","author":"Danthine","year":"1993"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB40","article-title":"Review of quality of service architectures","volume":"November","author":"Aurrecoechea","year":"1995","journal-title":"ACM Multimedia Systems Journal"},{"year":"1994","series-title":"Distributed Systems Concepts and Design","author":"Coulouris","key":"10.1016\/S0950-5849(99)00037-3_BIB41"},{"year":"1995","series-title":"Black-box Testing: Techniques for Functional Testing of Software and Systems","author":"Beizer","key":"10.1016\/S0950-5849(99)00037-3_BIB42"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB43","unstructured":"J. de Meer, V. Heymer, J. Burmeister, R. Hirr, A. Rennoch, Distributed Testing, in: Workshop on Protocol Test Systems, Participants proceedings, also available from http:\/\/www.fokus.gmd.de, 1991."},{"key":"10.1016\/S0950-5849(99)00037-3_BIB44","doi-asserted-by":"crossref","DOI":"10.1016\/0920-5489(94)90003-5","article-title":"Test generation with respect to distributed interfaces","volume":"16","author":"Luo","year":"1994","journal-title":"Computer Standards & Interfaces"},{"issue":"1","key":"10.1016\/S0950-5849(99)00037-3_BIB45","doi-asserted-by":"crossref","DOI":"10.1109\/5.736348","article-title":"Primary tool for time transfer","volume":"87","author":"Lewandowski","year":"1999","journal-title":"Proceedings of the IEEE"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB46","unstructured":"R. Jain, G. Babic, A. Durresi, ATM Forum Performance Testing Specification-Baseline Text. ATM Forum Document Number: BTD-TEST-TM-PERF.00.05 (96-0810R8), February 1998."},{"issue":"3","key":"10.1016\/S0950-5849(99)00037-3_BIB47","doi-asserted-by":"crossref","DOI":"10.1109\/32.75415","article-title":"Modeling and verification of time dependent systems using time petri nets","volume":"17","author":"Berthomieu","year":"1991","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"9","key":"10.1016\/S0950-5849(99)00037-3_BIB48","doi-asserted-by":"crossref","DOI":"10.1109\/TCOM.1976.1093424","article-title":"Recoverability of communication protocols","volume":"24","author":"Merlin","year":"1976","journal-title":"IEEE Transactions on Communications"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB49","doi-asserted-by":"crossref","DOI":"10.1016\/0304-3975(94)90010-8","article-title":"A theory of timed automata","volume":"126","author":"Alur","year":"1994","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB50","doi-asserted-by":"crossref","DOI":"10.1016\/S0140-3664(96)01153-X","article-title":"Validation of protocols with temporal constraints","volume":"19","author":"Cacciari","year":"1996","journal-title":"Computer Communications"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB51","series-title":"Multimedia Transport and Teleservices","article-title":"A formal description technique supporting expression of quality of service and media synchronization","volume":"882","author":"Bowman","year":"1994"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB52","unstructured":"D. Hogrefe, S. Leue, Specifying Real-Time Requirements for Communication Protocols, Technical Report IAM 92-015, University of Berne, 1992."},{"key":"10.1016\/S0950-5849(99)00037-3_BIB53","series-title":"Formal Description Techniques VI","article-title":"An enhanced version of timed LOTOS and its application to a case study","author":"L\u00e9onard","year":"1994"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB54","series-title":"Protocol Specification, Testing and Verification VII","article-title":"Introduction of quantitative relative time into LOTOS","author":"Quemada","year":"1987"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB55","series-title":"Protocol Specification, Testing and Verification XV","article-title":"Specifying real-time requirements for SDL specifications\u2014a temporal logic based approach","author":"Leue","year":"1996"},{"key":"10.1016\/S0950-5849(99)00037-3_BIB56","series-title":"Formal Description Techniques IX Theory, Application and Tools","article-title":"Implementation of multimedia systems based on a real-time extension of Estelle","author":"Fischer","year":"1996"},{"year":"1996","series-title":"The Art of Testing Network Systems","author":"Buchanan","key":"10.1016\/S0950-5849(99)00037-3_BIB57"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584999000373?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584999000373?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,4]],"date-time":"2024-12-04T22:13:24Z","timestamp":1733350404000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584999000373"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,9]]},"references-count":57,"journal-issue":{"issue":"11-12","published-print":{"date-parts":[[1999,9]]}},"alternative-id":["S0950584999000373"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(99)00037-3","relation":{},"ISSN":["0950-5849"],"issn-type":[{"type":"print","value":"0950-5849"}],"subject":[],"published":{"date-parts":[[1999,9]]}}}