{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,4]],"date-time":"2025-10-04T18:19:51Z","timestamp":1759601991348},"reference-count":27,"publisher":"Elsevier BV","issue":"12","license":[{"start":{"date-parts":[[1996,6,1]],"date-time":"1996-06-01T00:00:00Z","timestamp":833587200000},"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":["Computer Networks and ISDN Systems"],"published-print":{"date-parts":[[1996,6]]},"DOI":"10.1016\/0169-7552(95)00125-5","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T02:57:10Z","timestamp":1027652230000},"page":"1669-1683","source":"Crossref","is-referenced-by-count":15,"title":["Testing methods for SDL systems"],"prefix":"10.1016","volume":"28","author":[{"given":"Ana R.","family":"Cavalli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Byoung-Moon","family":"Chin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kilnam","family":"Chon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0169-7552(95)00125-5_BIB1","year":"1994"},{"key":"10.1016\/0169-7552(95)00125-5_BIB2","article-title":"OSI formal specification case study: The Inres protocol and service, revised","author":"Hogrefe","year":"1992"},{"key":"10.1016\/0169-7552(95)00125-5_BIB3","series-title":"FMCT (Formal Methods in Conformance Testing) guidelines on \u201cTest Generation Methods from Formal Descriptions\u201d, ISO\/IEC JTC1\/SC21 N6201, ISO Interim meeting\/ITU-T","year":"1995"},{"key":"10.1016\/0169-7552(95)00125-5_BIB4","year":"1988","journal-title":"CCITT Blue Book Volume X \u2014 Fascile X.1 Functional Specification and Description Language (SDL), Recommendation Z.100 and Annexes A, B, C and E, IXth Plenary Assembly"},{"key":"10.1016\/0169-7552(95)00125-5_BIB5","author":"Verilog","year":"1993","journal-title":"Geode Editor \u2014 Reference Manual"},{"key":"10.1016\/0169-7552(95)00125-5_BIB6","year":"1994"},{"issue":"11","key":"10.1016\/0169-7552(95)00125-5_BIB7","doi-asserted-by":"crossref","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. Comm."},{"key":"10.1016\/0169-7552(95)00125-5_BIB8","series-title":"Proc. 10th Int. IFIP Symp. on Protocol Specification, Testing and Verification","first-page":"67","article-title":"Approaches utilizing segment overlap to minimize test sequences","author":"Chen","year":"1990"},{"key":"10.1016\/0169-7552(95)00125-5_BIB9","series-title":"Technical report","article-title":"Generation of test sequences from SDL specifications","author":"Chin","year":"1994"},{"key":"10.1016\/0169-7552(95)00125-5_BIB10","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0020-0190(92)90110-H","article-title":"Failure-equivalent transformation of transition systems to avoid internal actions","volume":"44","author":"Luo","year":"1992","journal-title":"Inform. Process. Lett."},{"key":"10.1016\/0169-7552(95)00125-5_BIB11","article-title":"Selecting test sequences for partially specified nondeterministic finite state machines","author":"Luo","year":"1993"},{"key":"10.1016\/0169-7552(95)00125-5_BIB12","article-title":"Executable testers","author":"Phalippou","year":"1993","journal-title":"IWPTS'93"},{"key":"10.1016\/0169-7552(95)00125-5_BIB13","year":"1993","journal-title":"Working document-approved Geneva output"},{"key":"10.1016\/0169-7552(95)00125-5_BIB14","series-title":"Proc. IFIP 6th Int. Workshop on Protocol Test Systems","article-title":"Conformance relations and test derivation","author":"Petrenko","year":"1993"},{"issue":"4","key":"10.1016\/0169-7552(95)00125-5_BIB15","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":"Sabnani","year":"1988","journal-title":"Comput. Network ISDN Systems"},{"key":"10.1016\/0169-7552(95)00125-5_BIB16","series-title":"Proc. FORTE'93","first-page":"371","article-title":"Improving conformance testing for LOTOS","author":"Cavalli","year":"1993"},{"key":"10.1016\/0169-7552(95)00125-5_BIB17","series-title":"Proc. SIGCOM'89","first-page":"283","article-title":"An improved protocol test generation procedure based on UIOS","author":"Chan","year":"1989"},{"key":"10.1016\/0169-7552(95)00125-5_BIB18","series-title":"Proc. IFIP Int. Workshop on Protocol Test Systems","article-title":"Evaluation of an empirical approach for computer-aided test cases generation","author":"Phalippou","year":"1990"},{"key":"10.1016\/0169-7552(95)00125-5_BIB19","series-title":"Proc. FORTE'93","article-title":"Test generation by exposing control and data dependencies within system specifications in SDL","author":"Ural","year":"1993"},{"key":"10.1016\/0169-7552(95)00125-5_BIB20","series-title":"Proc 6th SDL Forum, SDL'93: Using Objects","first-page":"253","article-title":"Test case generation with test purpose specification by MSCs","author":"Grabowski","year":"1993"},{"key":"10.1016\/0169-7552(95)00125-5_BIB21","series-title":"Technical Report","article-title":"Experiences with computer-aided test case generation","author":"Ek","year":"1993"},{"key":"10.1016\/0169-7552(95)00125-5_BIB22","series-title":"Proc. IFIP 7th Int. Workshop on Protocol Test Systems","article-title":"Evaluation of some test generation tools on a real protocol example","author":"Boullier","year":"1994"},{"issue":"4","key":"10.1016\/0169-7552(95)00125-5_BIB23","article-title":"Future testing methods using SDL","volume":"11","author":"Kelly","year":"1993","journal-title":"BT Technology J."},{"key":"10.1016\/0169-7552(95)00125-5_BIB24","year":"1992","journal-title":"PROVE project, Enhanced Methodology for Computer-aided Test Generation"},{"key":"10.1016\/0169-7552(95)00125-5_BIB25","series-title":"Proc. IFIP 8th Int. Workshop on Protocol Test Systems","article-title":"Guaranteeing full fault coverage for UIO-based testing methods","author":"Anido","year":"1995"},{"key":"10.1016\/0169-7552(95)00125-5_BIB26","series-title":"Proc. CONCUR'91","article-title":"A tool set for deciding behavioral equivalences","author":"Fernandez","year":"1991"},{"key":"10.1016\/0169-7552(95)00125-5_BIB27","year":"1991","journal-title":"ISO, Information Technology, Open Systems Interconnection, Conformance Testing Methodology and Framework, International Standard IS-9646"}],"container-title":["Computer Networks and ISDN Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169755295001255?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169755295001255?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,14]],"date-time":"2019-04-14T02:20:08Z","timestamp":1555208408000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0169755295001255"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,6]]},"references-count":27,"journal-issue":{"issue":"12","published-print":{"date-parts":[[1996,6]]}},"alternative-id":["0169755295001255"],"URL":"https:\/\/doi.org\/10.1016\/0169-7552(95)00125-5","relation":{},"ISSN":["0169-7552"],"issn-type":[{"value":"0169-7552","type":"print"}],"subject":[],"published":{"date-parts":[[1996,6]]}}}