{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:59:49Z","timestamp":1742385589230},"reference-count":89,"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)00062-4","type":"journal-article","created":{"date-parts":[[2003,6,2]],"date-time":"2003-06-02T23:15:45Z","timestamp":1054595745000},"page":"815-835","source":"Crossref","is-referenced-by-count":8,"title":["Experience in developing and testing network protocol software using FDTs"],"prefix":"10.1016","volume":"45","author":[{"given":"M.","family":"\u00dcmit Uyar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mariusz A.","family":"Fecko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ali Y.","family":"Duale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul D.","family":"Amer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adarshpal S.","family":"Sethi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"4","key":"10.1016\/S0950-5849(03)00062-4_BIB1","doi-asserted-by":"crossref","first-page":"871","DOI":"10.1145\/4221.4222","article-title":"A simplex algorithm whose average number of steps is bound between two quadratic functions of the smaller dimension","volume":"32","author":"Adler","year":"1985","journal-title":"J. ACM"},{"issue":"11","key":"10.1016\/S0950-5849(03)00062-4_BIB2","doi-asserted-by":"crossref","first-page":"1604","DOI":"10.1109\/26.111442","article-title":"An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours","volume":"39","author":"Aho","year":"1991","journal-title":"IEEE Trans. Commun."},{"key":"10.1016\/S0950-5849(03)00062-4_BIB3","doi-asserted-by":"crossref","DOI":"10.1109\/MILCOM.1996.568630","article-title":"Estelle specification of MIL-STD 188-220A DLL","author":"Amer","year":"1996","journal-title":"Proc. IEEE MILCOM"},{"key":"10.1016\/S0950-5849(03)00062-4_BIB4","series-title":"U Maryland Printing Services","first-page":"3.1","author":"Amer","year":"2001"},{"year":"1996","key":"10.1016\/S0950-5849(03)00062-4_BIB5"},{"year":"1989","series-title":"Checking Experiments in Sequential Machines","author":"Bhattacharyya","key":"10.1016\/S0950-5849(03)00062-4_BIB6"},{"key":"10.1016\/S0950-5849(03)00062-4_BIB7","series-title":"Proceedings of the IFIP International Workshop Testing Communication Systems (IWTCS), Cheju Island, Korea, Boston, MA","first-page":"324","author":"Bi","year":"1997"},{"issue":"1","key":"10.1016\/S0950-5849(03)00062-4_BIB8","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/0169-7552(91)90079-R","article-title":"FSM-based formal methods in protocol conformance testing: from theory to implementation","volume":"22","author":"Bosik","year":"1991","journal-title":"Comput. Networks ISDN Syst."},{"year":"1985","series-title":"Proceedings of the IFIP Formal Description Techniques (FORTE)","author":"Bredereke","key":"10.1016\/S0950-5849(03)00062-4_BIB9"},{"year":"1988","series-title":"Proceedings of the IFIP Protocol Specification, Testing, and Verification (PSTV)","author":"Brinksma","key":"10.1016\/S0950-5849(03)00062-4_BIB10"},{"issue":"1","key":"10.1016\/S0950-5849(03)00062-4_BIB11","article-title":"Estelle development toolset. FDT Concepts and Tools","volume":"25","author":"Budkowski","year":"1992","journal-title":"(Elsevier) Comput. Networks ISDN Syst."},{"year":"1998","key":"10.1016\/S0950-5849(03)00062-4_BIB12"},{"issue":"1","key":"10.1016\/S0950-5849(03)00062-4_BIB13","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0169-7552(87)90084-5","article-title":"An introduction to Estelle: a specification language for distributed systems","volume":"14","author":"Budkowski","year":"1991","journal-title":"Comput. Networks ISDN Syst."},{"year":"1998","key":"10.1016\/S0950-5849(03)00062-4_BIB14"},{"key":"10.1016\/S0950-5849(03)00062-4_BIB15","doi-asserted-by":"crossref","DOI":"10.1109\/MILCOM.1995.483503","article-title":"Performance evaluation of MIL-STD 188-220A: interoperability standard for digital message transfer device subsystems","volume":"November","author":"Burch","year":"1995","journal-title":"Proc. IEEE MILCOM, San Diego, CA"},{"key":"10.1016\/S0950-5849(03)00062-4_BIB16","series-title":"Proceedings of the CAV: International Conference Computer-Aided Verification of LCNS, Montreal, Canada","volume":"vol. 663","author":"\u0108er\u0101ns","year":"1992"},{"key":"10.1016\/S0950-5849(03)00062-4_BIB17","first-page":"1d.1.1","article-title":"A unified approach to protocol test sequence generation","author":"Chanson","year":"1993","journal-title":"Proc. IEEE INFOCOM"},{"key":"10.1016\/S0950-5849(03)00062-4_BIB18","first-page":"3","article-title":"Automated implementation of the Xpress Transport Protocol (XTP) from an Estelle specification","volume":"7","author":"Catrina","year":"1998","journal-title":"Electron. J. Networks Distrib. Process."},{"issue":"1","key":"10.1016\/S0950-5849(03)00062-4_BIB19","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1145\/225871.225880","article-title":"Automatic generation of functional vectors using the extended finite state machine model","volume":"1","author":"Cheng","year":"1996","journal-title":"ACM Trans. Des. Automat. Electron. Syst."},{"key":"10.1016\/S0950-5849(03)00062-4_BIB20","series-title":"Proceedings of the IFIP International Workshop Testing Communication Systems (IWTCS), Darmstadt, Germany","first-page":"83","author":"Cheong","year":"1996"},{"key":"10.1016\/S0950-5849(03)00062-4_BIB21","series-title":"Proceedings of the IFIP International Workshop Testing Communication Systems (IWTCS), Darmstadt, Germany","first-page":"316","author":"Choi","year":"1996"},{"year":"1996","series-title":"Introduction to Algorithms","author":"Cormen","key":"10.1016\/S0950-5849(03)00062-4_BIB22"},{"key":"10.1016\/S0950-5849(03)00062-4_BIB23","unstructured":"DoD. Military standard-interoperability standard for digital message device subsystems (MIL-STD 188-220B), 1998."},{"key":"10.1016\/S0950-5849(03)00062-4_BIB24","doi-asserted-by":"crossref","first-page":"1835","DOI":"10.1016\/S1389-1286(99)00063-8","article-title":"Test development for communication protocols: Towards automation","volume":"31","author":"Dssouli","year":"1999","journal-title":"(Elsevier) Comput. Networks"},{"key":"10.1016\/S0950-5849(03)00062-4_BIB25","unstructured":"A.Y. Duale, Feasible Test Generation by Elimination of Inconsistencies in EFSM Models of Computer and Communication Systems, PhD Dissertation, The City University of New York, NY, 2000."},{"key":"10.1016\/S0950-5849(03)00062-4_BIB26","series-title":"Proceedings of the IFIP International Conference on Testing of Communicating Systems, TestCom, Ottawa","first-page":"91","author":"Duale","year":"2000"},{"key":"10.1016\/S0950-5849(03)00062-4_BIB27","article-title":"MIL-STD 188-220A evolution: a model fro technical architecture standards development","volume":"November","author":"Dzik","year":"1997","journal-title":"Proc. IEEE MILCOM, Monterey, CA"},{"key":"10.1016\/S0950-5849(03)00062-4_BIB28","first-page":"220","article-title":"Timed test cases generation based on state characterisation technique","author":"En-Nouaary","year":"1998","journal-title":"Proc. IEEE RTSS: Real-Time Syst. Symp, Madrid, Spain"},{"key":"10.1016\/S0950-5849(03)00062-4_BIB29","unstructured":"M.A. Fecko, Timing and controllability issues in conformance testing of communications protocols, PhD Dissertation, CISC Department, University of Delaware, 1999."},{"key":"10.1016\/S0950-5849(03)00062-4_BIB30","article-title":"Formal design and testing of MIL-STD 188-220A based on Estelle","volume":"November","author":"Fecko","year":"1997","journal-title":"Proc. IEEE MILCOM, Monterey, CA"},{"key":"10.1016\/S0950-5849(03)00062-4_BIB31","doi-asserted-by":"crossref","DOI":"10.1109\/MILCOM.1999.821357","article-title":"Using semicontrollable interfaces in testing Army communications protocols: Application to MIL-STD 188-220B","author":"Fecko","year":"1999","journal-title":"Proc. IEEE MILCOM, Atlantic City, NJ"},{"key":"10.1016\/S0950-5849(03)00062-4_BIB32","series-title":"Proceedings of the IFIP Joint International Conference FORTE\/PSTV, Paris, France","first-page":"111","author":"Fecko","year":"1998"},{"issue":"1","key":"10.1016\/S0950-5849(03)00062-4_BIB33","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1007\/BF02997773","article-title":"Conformance testing in systems with semicontrollable interfaces","volume":"55","author":"Fecko","year":"2000","journal-title":"Ann. Telecommun."},{"year":"2000","series-title":"Proceedings of the IFIP International Conference on Testing of Communicating Systems, TestCom, Ottawa","author":"Fecko","key":"10.1016\/S0950-5849(03)00062-4_BIB34"},{"key":"10.1016\/S0950-5849(03)00062-4_BIB35","series-title":"Proceedings of the IFIP International Workshop Testing Communication Systems (IWTCS), Tomsk, Russia","first-page":"35","author":"Gecse","year":"1998"},{"issue":"1","key":"10.1016\/S0950-5849(03)00062-4_BIB36","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1109\/32.263753","article-title":"Automatic analysis and test case derivation for a restricted class of LOTOS expressions with data parameters","volume":"20","author":"Higashino","year":"1994","journal-title":"IEEE Trans. Software Engng"},{"year":"1999","series-title":"Proceedings of the IFIP IWTCS: International Workshop on Testing Communication Systems, Budapest, Hungary","author":"Higashino","key":"10.1016\/S0950-5849(03)00062-4_BIB37"},{"issue":"12","key":"10.1016\/S0950-5849(03)00062-4_BIB38","doi-asserted-by":"crossref","DOI":"10.1016\/0169-7552(95)00124-7","article-title":"Validation of SDL systems","volume":"28","author":"Hogrefe","year":"1996","journal-title":"Comput. Networks ISDN Syst."},{"key":"10.1016\/S0950-5849(03)00062-4_BIB39","unstructured":"International Telecommunication Union, Geneva, Switzerland. ITU Recommendation Z100: Specification and Description Language (SDL), 1989."},{"key":"10.1016\/S0950-5849(03)00062-4_BIB40","unstructured":"ISO, Information Processing Systems\u2014OSI. ISO International Standard 9074: Estelle\u2014a formal description technique based on an extended state transition model, (1989)."},{"key":"10.1016\/S0950-5849(03)00062-4_BIB41","unstructured":"ISO\/IEC. International Standard ISO\/IEC 8802-2, ANSI\/IEEE Std. 802.2, second edition, 1994."},{"issue":"5\/6","key":"10.1016\/S0950-5849(03)00062-4_BIB42","doi-asserted-by":"crossref","first-page":"559","DOI":"10.1016\/0920-5489(95)00028-S","article-title":"Uncovering ISO ROSE protocol errors using Estelle","volume":"17","author":"Jirachiefpattana","year":"1995","journal-title":"Comput. Std Interf."},{"year":"1999","series-title":"Proceedings of the IFIP International Workshop Testings of Communication Systems (IWTCS), Budapest, Hungary","author":"Kang","key":"10.1016\/S0950-5849(03)00062-4_BIB43"},{"key":"10.1016\/S0950-5849(03)00062-4_BIB44","first-page":"449","article-title":"Intelligent protocol analyzer with TCP behavior emulation for interoperability testing of TCP\/IP protocols","author":"Kato","year":"1997","journal-title":"Proceedings of the IFIP Joint International Conference FORTE\/PSTV, Osaka, Japan"},{"year":"2000","series-title":"Proceedings of the IFIP TestCom: International Conference on Testing Communication Systems, Ottawa, Canada","author":"Khoumsi","key":"10.1016\/S0950-5849(03)00062-4_BIB45"},{"year":"1997","key":"10.1016\/S0950-5849(03)00062-4_BIB46"},{"year":"1978","series-title":"Switching and Finite Automata Theory","author":"Kohavi","key":"10.1016\/S0950-5849(03)00062-4_BIB47"},{"issue":"5","key":"10.1016\/S0950-5849(03)00062-4_BIB48","doi-asserted-by":"crossref","DOI":"10.1109\/26.494307","article-title":"Conformance testing of protocols specified as communicating FSMs\u2014a guided random walk approach","volume":"44","author":"Lee","year":"1996","journal-title":"IEEE Trans. Commun."},{"key":"10.1016\/S0950-5849(03)00062-4_BIB49","article-title":"Online minimization of transition systems","author":"Lee","year":"1992","journal-title":"Proc. 24th Annu. ACM, Victoria, Canada"},{"issue":"8","key":"10.1016\/S0950-5849(03)00062-4_BIB50","doi-asserted-by":"crossref","first-page":"1090","DOI":"10.1109\/5.533956","article-title":"Principles and methods of testing finite state machines\u2014a survey","volume":"84","author":"Lee","year":"1996","journal-title":"Proceedings of the IEEE"},{"key":"10.1016\/S0950-5849(03)00062-4_BIB51","article-title":"Test generation for the specification written in Estelle","volume":"June","author":"Lee","year":"1991","journal-title":"Proc. IFIP Protocol Specif., Test., and Verif. (PSTV), Stockholm, Sweden"},{"issue":"4","key":"10.1016\/S0950-5849(03)00062-4_BIB52","doi-asserted-by":"crossref","DOI":"10.1109\/12.88471","article-title":"A well-defined Estelle specification for the automatic test generation","volume":"40","author":"Lee","year":"1991","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/S0950-5849(03)00062-4_BIB53","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1002\/net.3230060305","article-title":"On general routing problems","volume":"6","author":"Lenstra","year":"1976","journal-title":"Networks"},{"key":"10.1016\/S0950-5849(03)00062-4_BIB54","series-title":"Proceedings of the IEEE MILCOM, San Diego, CA","volume":"November","author":"Li","year":"1995"},{"issue":"1","key":"10.1016\/S0950-5849(03)00062-4_BIB55","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1109\/90.222912","article-title":"On the generation of minimal-length conformance tests for communication protocols","volume":"2","author":"Miller","year":"1993","journal-title":"IEEE\/ACM Trans. Network"},{"year":"1989","series-title":"Communication and Concurrency","author":"Milner","key":"10.1016\/S0950-5849(03)00062-4_BIB56"},{"key":"10.1016\/S0950-5849(03)00062-4_BIB57","series-title":"Proceedings of the International Workshop FDT Estelle, Evry, France, Evry, France: Institut National des T\u00e9l\u00e9communications (INT)","first-page":"75","author":"Negulescu","year":"1998"},{"key":"10.1016\/S0950-5849(03)00062-4_BIB58","unstructured":"Object Management Group, Framingham, MA. OMG Standard: Unified Modeling Language (UML) 1.1, 1997."},{"year":"1998","key":"10.1016\/S0950-5849(03)00062-4_BIB59"},{"issue":"12","key":"10.1016\/S0950-5849(03)00062-4_BIB60","doi-asserted-by":"crossref","first-page":"1337","DOI":"10.1109\/32.62442","article-title":"The derivation of conformance tests from LOTOS specifications","volume":"16","author":"Pitt","year":"1990","journal-title":"IEEE Trans. Software Engng"},{"issue":"4","key":"10.1016\/S0950-5849(03)00062-4_BIB61","doi-asserted-by":"crossref","DOI":"10.1109\/TSE.1985.232226","article-title":"Selecting software test data using data flow information","volume":"SE11","author":"Rapps","year":"1985","journal-title":"IEEE Trans. Software Engng"},{"key":"10.1016\/S0950-5849(03)00062-4_BIB62","series-title":"Proceedings of the IFIP Joint International Conference FORTE\/PSTV, Paris, France","first-page":"337","author":"Romijn","year":"1998"},{"key":"10.1016\/S0950-5849(03)00062-4_BIB63","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/0169-7552(88)90064-5","article-title":"A protocol test generation procedure","volume":"15","author":"Sabhani","year":"1988","journal-title":"Comput. Networks ISDN Syst."},{"issue":"5","key":"10.1016\/S0950-5849(03)00062-4_BIB64","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 Trans. Software Engng"},{"issue":"1-2","key":"10.1016\/S0950-5849(03)00062-4_BIB65","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/S0304-3975(99)00134-6","article-title":"Testing timed automata","volume":"254","author":"Springintveld","year":"2001","journal-title":"(Elsevier) Theor. Comput. Sci."},{"key":"10.1016\/S0950-5849(03)00062-4_BIB66","series-title":"Proceedings of the IFIP Joint International Conference FORTE\/PSTV, Paris, France","first-page":"37","author":"Templemore-Finlayson","year":"1998"},{"key":"10.1016\/S0950-5849(03)00062-4_BIB67","unstructured":"R. Tenney, A tutorial introduction to Estelle. Technical Report 88-1, University of Massachusetts, Boston, 1988."},{"key":"10.1016\/S0950-5849(03)00062-4_BIB68","series-title":"Proceedings of the International Workshop FDT Estelle, Evry, France, Evry, France: Institut National des T\u00e9l\u00e9communications (INT)","first-page":"187","author":"Thees","year":"1998"},{"issue":"1","key":"10.1016\/S0950-5849(03)00062-4_BIB69","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/S0169-7552(96)00017-7","article-title":"Conformance testing with labelled transitions systems: Implementation relations and test generation","volume":"29","author":"Tretmans","year":"1996","journal-title":"Comput. Networks and ISDN Syst."},{"year":"1989","series-title":"Formal Description Techniques","author":"Turner","key":"10.1016\/S0950-5849(03)00062-4_BIB70"},{"key":"10.1016\/S0950-5849(03)00062-4_BIB71","unstructured":"H. Ural, B. Yang, A test sequence selection method for protocols specified in Estelle. Technical Report TR-88-18, University of Ottawa, 1988."},{"issue":"4","key":"10.1016\/S0950-5849(03)00062-4_BIB72","doi-asserted-by":"crossref","DOI":"10.1109\/26.81739","article-title":"A test sequence selection method for protocol testing","volume":"39","author":"Ural","year":"1991","journal-title":"IEEE Trans. Commun."},{"issue":"5","key":"10.1016\/S0950-5849(03)00062-4_BIB73","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0140-3664(92)90092-S","article-title":"Formal methods for test sequence generation","volume":"15","author":"Ural","year":"1992","journal-title":"Comput. Commun."},{"key":"10.1016\/S0950-5849(03)00062-4_BIB74","first-page":"68","article-title":"Optimal test sequence generation for protocols: the Chinese postman algorithm applied to Q.931","author":"Uyar","year":"1986","journal-title":"Proc. IEEE GLOBECOM"},{"key":"10.1016\/S0950-5849(03)00062-4_BIB75","article-title":"Modeling VHDL specifications as consistent EFSMs","volume":"November","author":"Uyar","year":"1997","journal-title":"Proc. IEEE MILCOM, Monterey, CA"},{"key":"10.1016\/S0950-5849(03)00062-4_BIB76","article-title":"Removal of inconsistencies in VHDL specifications","volume":"February","author":"Uyar","year":"1998","journal-title":"Proc. US Army Research Lab ATIRP Conf., College Park, MD"},{"key":"10.1016\/S0950-5849(03)00062-4_BIB77","article-title":"Conformance tests for Army communication protocols","volume":"March","author":"Uyar","year":"2000","journal-title":"Proc. US Army Research Lab ATIRP Conf., College Park, MD"},{"key":"10.1016\/S0950-5849(03)00062-4_BIB78","first-page":"346","article-title":"Minimum-cost solutions for testing protocols with timers","author":"Uyar","year":"1998","journal-title":"Proc. IEEE Int. Performance, Comput. Commun. Conf. (IPCCC), Phoenix, AZ"},{"issue":"8","key":"10.1016\/S0950-5849(03)00062-4_BIB79","doi-asserted-by":"crossref","first-page":"1967","DOI":"10.1016\/S1389-1286(99)00007-9","article-title":"Testing protocols modeled as FSMs with timing parameters","volume":"31","author":"Uyar","year":"1999","journal-title":"Comput. Networks"},{"issue":"1","key":"10.1016\/S0950-5849(03)00062-4_BIB80","article-title":"Protocol modeling for conformance testing: Case study for the ISDN LAPD protocol","volume":"69","author":"Uyar","year":"1990","journal-title":"AT&T Tech. J."},{"key":"10.1016\/S0950-5849(03)00062-4_BIB81","first-page":"740","article-title":"Modeling VHDL Specifications as Consistent EFSMs","author":"Uyar","year":"1997","journal-title":"Proc. IEEE MILCOM, Monterey, CA"},{"key":"10.1016\/S0950-5849(03)00062-4_BIB82","first-page":"513","article-title":"Resolving inconsistencies in VHDL specifications","volume":"5.1.3","author":"Uyar","year":"1999","journal-title":"Proc. IEEE MILCOM, Atlantic City, NJ"},{"year":"1992","series-title":"Proceedings of the IFIP Protocol Specification, Testing, and Verification (PSTV)","author":"V\u00e1zquez","key":"10.1016\/S0950-5849(03)00062-4_BIB83"},{"year":"1992","series-title":"Proceedings of the IFIP International Workshop Protocol Test Systems (IWPTS)","author":"von Bochmann","key":"10.1016\/S0950-5849(03)00062-4_BIB84"},{"key":"10.1016\/S0950-5849(03)00062-4_BIB85","first-page":"252","article-title":"Axiomatic test sequence generation for extended finite state machines","author":"Wang","year":"1992","journal-title":"Proc. 12th Conf Distrib. Comput. Syst."},{"key":"10.1016\/S0950-5849(03)00062-4_BIB86","doi-asserted-by":"crossref","first-page":"774","DOI":"10.1109\/INFCOM.1993.253292","article-title":"Generating test cases for EFSM with given fault models","author":"Wang","year":"1993","journal-title":"Proc. IEEE INFOCOM"},{"year":"1986","series-title":"Proceedings of the IFIP Protocol Specification, Testing, and Verification (PSTV)","author":"West","key":"10.1016\/S0950-5849(03)00062-4_BIB87"},{"key":"10.1016\/S0950-5849(03)00062-4_BIB89","series-title":"Proceedings of the International Workshop FDT Estelle, Evry, France, Evry, France: Institut National des T\u00e9l\u00e9communications (INT)","first-page":"141","author":"Wytr\u0229bowicz","year":"1998"},{"key":"10.1016\/S0950-5849(03)00062-4_BIB90","series-title":"Proceedings of the IFIP International Workshop Testing Communication Systems (IWTCS), Darmstadt, Germany","first-page":"237","author":"Yoo","year":"1996"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584903000624?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584903000624?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,4,26]],"date-time":"2023-04-26T10:14:36Z","timestamp":1682504076000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584903000624"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,9]]},"references-count":89,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2003,9]]}},"alternative-id":["S0950584903000624"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(03)00062-4","relation":{},"ISSN":["0950-5849"],"issn-type":[{"type":"print","value":"0950-5849"}],"subject":[],"published":{"date-parts":[[2003,9]]}}}