{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:41:03Z","timestamp":1725615663575},"reference-count":19,"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)00039-7","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T18:22:28Z","timestamp":1027621348000},"page":"813-821","source":"Crossref","is-referenced-by-count":24,"title":["Passive testing and application to the GSM-MAP protocol"],"prefix":"10.1016","volume":"41","author":[{"given":"M.","family":"Tabourier","sequence":"first","affiliation":[]},{"given":"A.","family":"Cavalli","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(99)00039-7_BIB1","unstructured":"RM-ODP, Open distributed Processing\u2014Reference Model\u2014Part 2: Foundations, International Standard 10746-2\/ITU-T Recommendation X.902."},{"key":"10.1016\/S0950-5849(99)00039-7_BIB2","series-title":"Theory of Machines and Computations","article-title":"An approach to designing checking experiments based on a dynamic model","author":"Seitz","year":"1972"},{"key":"10.1016\/S0950-5849(99)00039-7_BIB3","doi-asserted-by":"crossref","unstructured":"D. Lee et al., Passive testing and applications to network management, in: ICNP\u201997 International Conference on Network Protocols, Atlanta, Georgia, October 28\u201331, 1997.","DOI":"10.1109\/ICNP.1997.643699"},{"issue":"11","key":"10.1016\/S0950-5849(99)00039-7_BIB4","doi-asserted-by":"crossref","first-page":"000","DOI":"10.1109\/32.41328","article-title":"Trace analysis for conformance and arbitration testing","volume":"15","author":"Bochmann","year":"1989","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(99)00039-7_BIB5","doi-asserted-by":"crossref","unstructured":"R. Dssouli, K. Saleh, E. Aboulhamid, A. En-Nouaary, C. Bourhfir, Test development for communication protocols: towards automation, Computer Networks and ISDN Systems (special issue on Advanced Topics of the SDL Language, June 1999), in press.","DOI":"10.1016\/S1389-1286(99)00063-8"},{"key":"10.1016\/S0950-5849(99)00039-7_BIB6","unstructured":"A. Ghedamsi, R. Dssouli, G.v. Bochmann, Diagnostic tests for single transition faults in non-deterministic finite state machines, in: IWPTS\u201992 International Workshop on Protocol Test Systems, September 1992."},{"key":"10.1016\/S0950-5849(99)00039-7_BIB7","series-title":"Obtaining normal form specifications for protocols","author":"Sarikaya","year":"1986"},{"issue":"4","key":"10.1016\/S0950-5849(99)00039-7_BIB8","doi-asserted-by":"crossref","first-page":"000","DOI":"10.1109\/26.81739","article-title":"A test sequence selection method for protocol testing","volume":"39","author":"Ural","year":"1991","journal-title":"IEEE Transactions on Communications"},{"key":"10.1016\/S0950-5849(99)00039-7_BIB9","doi-asserted-by":"crossref","unstructured":"C.-M. Huang, Y.-C. Lin M.-Y. Jang, An executable protocol test sequence generation method for EFSM-specified protocols, in: IWPTS\u201995 International Workshop on Protocol Test Systems, September 1995.","DOI":"10.1007\/978-0-387-34988-6_2"},{"key":"10.1016\/S0950-5849(99)00039-7_BIB10","doi-asserted-by":"crossref","unstructured":"T. Ramalingom, A. Das, K. Thulasiraman, A unified test case generation method for the EFSM model using context independent unique sequences, in: IWPTS\u201995 International Workshop Protocol Test Systems, September 1995.","DOI":"10.1007\/978-0-387-34988-6_18"},{"key":"10.1016\/S0950-5849(99)00039-7_BIB11","doi-asserted-by":"crossref","unstructured":"C. Bourhfir, R. Dssouli, E.M. Aboulhamid, N. Rico, A guided incremental test case generation procedure for conformance testing cefsm specified protocols, in: IWTCS\u201998, International Workshop on Testing Communication Systems, September 1998.","DOI":"10.1007\/978-0-387-35381-4_17"},{"key":"10.1016\/S0950-5849(99)00039-7_BIB12","unstructured":"R. Anido, A. Cavalli, T. Macavei, L. Paula Lima Jr., M. Clatin, M. Phalippou, Testing a real protocol with the aid of verification techniques, in: XXII SEMISH, Brazil, August 1996."},{"key":"10.1016\/S0950-5849(99)00039-7_BIB13","unstructured":"ETSI, European digital cellular telecommunication system (phase 2); Mobile Application Part specification, version [4.0.0], June 1992."},{"key":"10.1016\/S0950-5849(99)00039-7_BIB14","unstructured":"Melania Ionescu, Ana Cavalli, Test imbriqu\u00e9 du protocole MAP, CFIP\u201999, Colloque Francophone sur l\u2019 Ing\u00e9nierie des protocoles. Nancy, France, April 26\u201329, 1999, in press."},{"key":"10.1016\/S0950-5849(99)00039-7_BIB15","unstructured":"Melania Ionescu. Personal communication."},{"key":"10.1016\/S0950-5849(99)00039-7_BIB16","unstructured":"Verilog, ObjectGEODE SDL Simulator\u2014Reference Manual, 1997."},{"key":"10.1016\/S0950-5849(99)00039-7_BIB17","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: Proceedings of the Eighth Conference on Computer-aided Verification, New Brunswick, New Jersy, USA, August 1996.","DOI":"10.1007\/3-540-61474-5_97"},{"key":"10.1016\/S0950-5849(99)00039-7_BIB18","unstructured":"L. Paula Lima, A. Cavalli, A pragmatic approach to generating test sequences for embedded systems, in: Proceedings of the IFIP IWTCS\u201997, September 8\u201310, 1997, Cheju Island Korea."},{"key":"10.1016\/S0950-5849(99)00039-7_BIB19","unstructured":"ITU-T Recommendation Z.120; Message Sequence Chart. International Standard Z. 120. ITU-T, 1994."}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584999000397?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584999000397?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,14]],"date-time":"2020-01-14T20:36:47Z","timestamp":1579034207000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584999000397"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,9]]},"references-count":19,"journal-issue":{"issue":"11-12","published-print":{"date-parts":[[1999,9]]}},"alternative-id":["S0950584999000397"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(99)00039-7","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[1999,9]]}}}