{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:19:59Z","timestamp":1775053199606,"version":"3.50.1"},"reference-count":11,"publisher":"Elsevier BV","issue":"12","license":[{"start":{"date-parts":[[2003,9,1]],"date-time":"2003-09-01T00:00:00Z","timestamp":1062374400000},"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":[[2003,9]]},"DOI":"10.1016\/s0950-5849(03)00063-6","type":"journal-article","created":{"date-parts":[[2003,9,12]],"date-time":"2003-09-12T05:06:58Z","timestamp":1063343218000},"page":"837-852","source":"Crossref","is-referenced-by-count":67,"title":["New approaches for passive testing using an Extended Finite State Machine specification"],"prefix":"10.1016","volume":"45","author":[{"given":"Ana","family":"Cavalli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Caroline","family":"Gervy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Svetlana","family":"Prokopenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(03)00063-6_BIB1","series-title":"ICNP\u201997 International Conference on Network Protocols, Atlanta, Georgia, October 28\u201331","article-title":"Passive testing and applications to network management","author":"Lee","year":"1997"},{"key":"10.1016\/S0950-5849(03)00063-6_BIB2","doi-asserted-by":"crossref","first-page":"813","DOI":"10.1016\/S0950-5849(99)00039-7","article-title":"Passive testing and application to the GSM-MAP protocol","volume":"41","author":"Tabourier","year":"1999","journal-title":"Information and Software Technology"},{"key":"10.1016\/S0950-5849(03)00063-6_BIB3","unstructured":"R.E. Miller, K.A. Arisha, On fault location in networks by passive testing, Technical Report No. 4044, Department of Computer Science, University of Maryland, College Park, August 1999."},{"key":"10.1016\/S0950-5849(03)00063-6_BIB4","first-page":"111","article-title":"Passive testing of networks using a CFSM specification","volume":"February","author":"Miller","year":"1998","journal-title":"1998 IEEE International Performance Computing and Communications Conference"},{"issue":"5","key":"10.1016\/S0950-5849(03)00063-6_BIB5","doi-asserted-by":"crossref","first-page":"518","DOI":"10.1109\/TSE.1987.233197","article-title":"A test design methodology for protocol testing","volume":"13","author":"Sarikaya","year":"1987","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"10.1016\/S0950-5849(03)00063-6_BIB6","doi-asserted-by":"crossref","DOI":"10.1109\/26.81739","article-title":"An test sequence selection method for protocol testing","volume":"39","author":"Ural","year":"1991","journal-title":"IEEE Transactions on Communications"},{"key":"10.1016\/S0950-5849(03)00063-6_BIB7","article-title":"An executable protocol test sequence generation method for EFSM-specified protocols","volume":"September","author":"Huang","year":"1995","journal-title":"IWPTS\u201995 International Workshop on Protocol Test Systems"},{"key":"10.1016\/S0950-5849(03)00063-6_BIB8","article-title":"A unified test case generation method for the EFSM model using context independent unique sequences","volume":"September","author":"Ramalingom","year":"1995","journal-title":"IWPTS\u201995 International Workshop on Protocol Test Systems"},{"key":"10.1016\/S0950-5849(03)00063-6_BIB9","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-35381-4_17","article-title":"A guided incremental test case generation procedure for conformance testing CEFSM specified protocols","volume":"September","author":"Bourhfir","year":"1998","journal-title":"IWTCS\u201998 International Workshop on Test Communication Systems"},{"key":"10.1016\/S0950-5849(03)00063-6_BIB10","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1109\/SIMSYM.2001.922142","article-title":"Fault identification in networks by passive testing","author":"Miller","year":"2001","journal-title":"Proceedings of 34th Annual Simulation Symposium, 2001"},{"key":"10.1016\/S0950-5849(03)00063-6_BIB11","first-page":"FORTE\/PSTV\u201901","article-title":"Executable test sequence for the protocol data flow property","author":"Chen","year":"2003","journal-title":"FORTE\/PSTV\u201901"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584903000636?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584903000636?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T18:29:39Z","timestamp":1551032979000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584903000636"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,9]]},"references-count":11,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2003,9]]}},"alternative-id":["S0950584903000636"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(03)00063-6","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[2003,9]]}}}