{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:32:40Z","timestamp":1742383960160},"reference-count":29,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4946,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2000,1]]},"DOI":"10.1016\/s0167-6423(99)00017-9","type":"journal-article","created":{"date-parts":[[2002,10,31]],"date-time":"2002-10-31T16:12:04Z","timestamp":1036080724000},"page":"27-52","source":"Crossref","is-referenced-by-count":24,"title":["Verification and test generation for the SSCOP protocol"],"prefix":"10.1016","volume":"36","author":[{"given":"Marius","family":"Bozga","sequence":"first","affiliation":[]},{"given":"Jean-Claude","family":"Fernandez","sequence":"additional","affiliation":[]},{"given":"Lucian","family":"Ghirvu","sequence":"additional","affiliation":[]},{"given":"Claude","family":"Jard","sequence":"additional","affiliation":[]},{"given":"Thierry","family":"J\u00e9ron","sequence":"additional","affiliation":[]},{"given":"Alain","family":"Kerbrat","sequence":"additional","affiliation":[]},{"given":"Pierre","family":"Morel","sequence":"additional","affiliation":[]},{"given":"Laurent","family":"Mounier","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0167-6423(99)00017-9_BIB1","unstructured":"ISO\/IEC International Standard 8807. LOTOS \u2014 a formal description technique based on the temporal ordering of observational behaviour, Technical report, International Organization for Standardization \u2014 Information Processing Systems \u2014 Open Systems Interconnection, Gen\u00e8ve, September 1988."},{"key":"10.1016\/S0167-6423(99)00017-9_BIB2","unstructured":"ISO\/IEC International Standard 9646-1\/2\/3. OSI-Open Systems Interconnection, Information Technology \u2014 Open Systems Interconnection Conformance Testing Methodology and Framework \u2014 Part 1: General Concept \u2014 Part 2: Abstract Test Suite Specification \u2014 Part 3 : The Tree and Tabular Combined Notation (TTCN), 1992."},{"key":"10.1016\/S0167-6423(99)00017-9_BIB3","unstructured":"A.V. Aho, R. Sethi, J.D. Ullman, Compilers: Principles, Techniques and Tools, Addison-Wesley, Reading, MA, 1986."},{"key":"10.1016\/S0167-6423(99)00017-9_BIB4","doi-asserted-by":"crossref","unstructured":"B. Algayres, Y. Lejeune, F. Hugonnet, GOAL: Observing SDL Behaviors with GEODE, in: SDL Forum\u201995, Elsevier, Amsterdam, 1995.","DOI":"10.1016\/B978-0-444-82269-7.50023-X"},{"key":"10.1016\/S0167-6423(99)00017-9_BIB5","doi-asserted-by":"crossref","unstructured":"A. Bouajjani, J.-C. Fernandez, S. Graf, C. Rodriguez, J. Sifakis, Safety for Branching Time Semantics, in: 18th ICALP, Springer, Berlin, July 1991.","DOI":"10.1007\/3-540-54233-7_126"},{"key":"10.1016\/S0167-6423(99)00017-9_BIB6","doi-asserted-by":"crossref","unstructured":"M. Bozga, J.-C. Fernandez, A. Kerbrat, L. Mounier, Protocol verification with the toolset, First edition of the STTT (Software Tools and Technology Transfer) Journal, 1997.","DOI":"10.1007\/s100090050012"},{"key":"10.1016\/S0167-6423(99)00017-9_BIB7","doi-asserted-by":"crossref","unstructured":"A. Cavalli, B.-H. Lee, T. Macavei, Test generation for the SSCOP-ATM networks protocol, in: Proceedings of SDL Forum\u201997, Elsevier, Amsterdam, 1997.","DOI":"10.1016\/B978-044482816-3\/50019-8"},{"key":"10.1016\/S0167-6423(99)00017-9_BIB8","unstructured":"The ATM Forum Technical Committee, Conformance abstract test suite for the SSCOP for UNI 3.1, af-test-0067.000, September 1996. Available by ftp at ftp.atmforum.com."},{"key":"10.1016\/S0167-6423(99)00017-9_BIB9","unstructured":"I. Disenmayer, S. Gauthier, L. Boullier, L'outil TVEDA dans une cha\u0131\u0302ne de production de tests d'un protocole de t\u00e9l\u00e9communication, in: G. Leduc (Ed.), CFIP\u201997: Ing\u00e9nierie des Protocoles, Herm\u00e8s, sept 1997, pp. 271\u2013286."},{"key":"10.1016\/S0167-6423(99)00017-9_BIB10","doi-asserted-by":"crossref","unstructured":"J.-C. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier, M. Sighireanu, CADP: a protocol validation and verification toolbox, in: R. Alur, T.A. Henzinger (Eds.), Proceedings of the eighth Conference on Computer-Aided Verification, CAV\u201996 (New Brunswick, New Jersey, USA, Lecture Notes in Computer Science, vol. 1102, Springer, Berlin, August 1996.","DOI":"10.1007\/3-540-61474-5_97"},{"key":"10.1016\/S0167-6423(99)00017-9_BIB11","doi-asserted-by":"crossref","unstructured":"J.-C. Fernandez, C. Jard, T. J\u00e9ron, C. Viho, Using on-the-fly verification techniques for the Generation of test suites. in: R. Alur, T.A. Henzinger (Eds.), Proceedings of the eighth Conference on Computer-Aided Verification, CAV\u201996, New Brunswick, New Jersey, USA, Lecture Notes in Computer Science, vol 1102, Springer, Berlin, August 1996.","DOI":"10.1007\/3-540-61474-5_82"},{"key":"10.1016\/S0167-6423(99)00017-9_BIB12","doi-asserted-by":"crossref","unstructured":"J.-C. Fernandez, C. Jard, T. J\u00e9ron, C. Viho, An experiment in automatic generation of test suites for protocoles with verification technology, Sci. Comput. Programming 29 (1997).","DOI":"10.1016\/S0167-6423(96)00032-9"},{"key":"10.1016\/S0167-6423(99)00017-9_BIB13","unstructured":"J.-C. Fernandez, L. Mounier, A local checking algorithm for boolean equation systems, Technical Report Spectre-95-07, Verimag, Grenoble-France, 1995."},{"key":"10.1016\/S0167-6423(99)00017-9_BIB14","doi-asserted-by":"crossref","unstructured":"H. Garavel, OPEN\/CAESAR: an open software architecture for verification, simulation and testing, in: B. Steffen (Ed.), Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201998), Lecture Notes in Computer Science, vol. 1384, Springer, Berlin, April 1998, pp. 68\u2013 84.","DOI":"10.1007\/BFb0054165"},{"key":"10.1016\/S0167-6423(99)00017-9_BIB15","unstructured":"R.J. Van Glabbeek, W.P. Weijland, Branching time and abstraction in bisimulation semantics (extended abstract), CS-R 8911, Centrum voor Wiskunde en Informatica, Amsterdam, 1989."},{"key":"10.1016\/S0167-6423(99)00017-9_BIB16","unstructured":"J. Grabowski, R. Scheurer, D. Hogrefe, Applying SAMSTAG to the B-ISDN Protocol SSCOP, Technical Report A-97-01, part I, University of L\u00fcbeck, January 97."},{"key":"10.1016\/S0167-6423(99)00017-9_BIB17","doi-asserted-by":"crossref","unstructured":"T. J\u00e9ron, C. Jard, 3D layout of reachability graphs of communicating processes, in: Graph Drawing\u201994, DIMACS Workshop, Lecture Notes in Computer Science, vol. 894, Princeton, New-Jersey, Octobre 1994, pp. 25\u201333. Paru en rapport de recherche bilingue fran\u00e7ais-anglais, Irisa no 852 et Inria no 2334.","DOI":"10.1007\/3-540-58950-3_353"},{"key":"10.1016\/S0167-6423(99)00017-9_BIB18","unstructured":"T. J\u00e9ron, P. Morel, Abstraction, \u03c4-r\u00e9duction et d\u00e9terminisation \u00e0 la vol\u00e9e: application \u00e0 la g\u00e9n\u00e9ration de test. in: G. Leduc (Ed.), CFIP\u201997: Ing\u00e9nierie des Protocoles. Hermes, September 1997."},{"key":"10.1016\/S0167-6423(99)00017-9_BIB19","unstructured":"A. Kerbrat, C. Rodriguez, Y. Lejeune, Interconnecting the and toolsets, in: Proceedings of SDL Forum\u201997, Elsevier, Amsterdam, 1997."},{"key":"10.1016\/S0167-6423(99)00017-9_BIB20","doi-asserted-by":"crossref","unstructured":"D. Kozen, Results on the Propositional \u03bc-Calculus, Theoretical Computer Science, North-Holland, 1983.","DOI":"10.1016\/0304-3975(82)90125-6"},{"key":"10.1016\/S0167-6423(99)00017-9_BIB21","doi-asserted-by":"crossref","unstructured":"R. Milner, A calculus of communication systems, Lecture Notes in Computer Science, vol. 92, Springer, Berlin, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"10.1016\/S0167-6423(99)00017-9_BIB22","unstructured":"ITU-T Recommendation Q.2110, B-ISDN \u2014 ATM Adaptation Layer \u2014 Service Specific Connection Oriented Protocol (SSCOP), 1994."},{"key":"10.1016\/S0167-6423(99)00017-9_BIB23","unstructured":"ITU-T Recommendation Q.2130, Couche d'adaptation du mode de transfert asynchrone de signalisation dans le RNIS \u00e1 large bande \u2014 fonction de coordination propre au service pour la signalisation \u00e1 l'interface utilisateur-r\u00e9seau, 1994."},{"key":"10.1016\/S0167-6423(99)00017-9_BIB24","unstructured":"ITU-T Recommendation Z-100, Specification and Description Language, 1996."},{"key":"10.1016\/S0167-6423(99)00017-9_BIB25","unstructured":"ITU-T Recommendation Z-120, Message Sequence Charts, 1996."},{"key":"10.1016\/S0167-6423(99)00017-9_BIB26","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Edyy, W. Lorensen, Object-Oriented Modeling and Design, Prentice-Hall, Inc., Englewood Cliffs, NJ, 1991."},{"key":"10.1016\/S0167-6423(99)00017-9_BIB27","doi-asserted-by":"crossref","unstructured":"J. Tretmans, Test generation with inputs, outputs and repetitive quiescence, Software \u2014 Concepts and Tools 17(3) (1996) 103\u2013120. Also: Technical Report No. 96-26, Centre for Telematics and Information Technology, University of Twente, The Netherlands.","DOI":"10.1007\/3-540-61042-1_42"},{"key":"10.1016\/S0167-6423(99)00017-9_BIB28","unstructured":"VERILOG, ObjectGeode SDL Simulator Reference Manual, Technical Report, VERILOG, 1996."},{"issue":"2","key":"10.1016\/S0167-6423(99)00017-9_BIB29","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1145\/103135.103136","article-title":"Constant propagation with conditional branches","volume":"13","author":"Wegman","year":"1991","journal-title":"ACM Trans. Programming Languages Systems"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642399000179?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642399000179?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,2,4]],"date-time":"2020-02-04T11:27:32Z","timestamp":1580815652000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642399000179"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,1]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2000,1]]}},"alternative-id":["S0167642399000179"],"URL":"https:\/\/doi.org\/10.1016\/s0167-6423(99)00017-9","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[2000,1]]}}}