{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,7,6]],"date-time":"2022-07-06T15:14:45Z","timestamp":1657120485242},"reference-count":29,"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)00033-6","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T14:22:28Z","timestamp":1027606948000},"page":"729-743","source":"Crossref","is-referenced-by-count":7,"title":["Communications software design for testability: specification transformations and testability measures"],"prefix":"10.1016","volume":"41","author":[{"given":"R","family":"Dssouli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K","family":"Karoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K","family":"Saleh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"O","family":"Cherkaoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(99)00033-6_BIB1","doi-asserted-by":"crossref","first-page":"767","DOI":"10.1016\/S0950-5849(99)00036-1","article-title":"Controllability and observability in distributed testing","volume":"41","author":"Cacciari","year":"1999","journal-title":"Information and Software Technology"},{"key":"10.1016\/S0950-5849(99)00033-6_BIB2","doi-asserted-by":"crossref","unstructured":"R. Dssouli, K. Saleh, El M. Aboulhamid, A. En-Nouaary, C. Bourhfir, Test development for communication protocols: towards automation in computer networks, in: A. Cavalli (Ed.), The International Journal of Computer and Telecommunications Networks, Advanced topics on SDL and MSC, Elsevier, Amsterdam, 31(17) 1999, pp. 1835\u20131872.","DOI":"10.1016\/S1389-1286(99)00063-8"},{"key":"10.1016\/S0950-5849(99)00033-6_BIB3","doi-asserted-by":"crossref","first-page":"781","DOI":"10.1016\/S0950-5849(99)00037-3","article-title":"A framework for the specification of test cases for real-time distributed systems","volume":"41","author":"Walter","year":"1999","journal-title":"Information and Software Technology"},{"key":"10.1016\/S0950-5849(99)00033-6_BIB4","doi-asserted-by":"crossref","DOI":"10.1016\/S0164-1212(99)00028-X","article-title":"Towards more industrially relevant academic researches on testing of communicating systems","author":"Lai","year":"1999","journal-title":"Journal of Systems and Software"},{"key":"10.1016\/S0950-5849(99)00033-6_BIB5","series-title":"IFIP Transactions, Protocol Testing Systems III, Proceedings of IFIP TC6 Third International Workshop on Protocol Test Systems","first-page":"45","article-title":"Communication software testability","author":"Dssouli","year":"1991"},{"key":"10.1016\/S0950-5849(99)00033-6_BIB6","series-title":"IFIP Transactions, Protocol Test Systems VI, Proceedings of IFIP TC6 Fifth International Workshop on Protocol Test Systems","first-page":"89","article-title":"A framework for the design for testability of communication protocols","author":"Vuong","year":"1994"},{"key":"10.1016\/S0950-5849(99)00033-6_BIB7","series-title":"IFIP Transactions, Protocol Test Systems VI, Proceedings of IFIP TC6 Fifth International Workshop on Protocol Test Systems","first-page":"111","article-title":"On evaluation of testability of protocol structures","author":"Petrenko","year":"1994"},{"key":"10.1016\/S0950-5849(99)00033-6_BIB8","doi-asserted-by":"crossref","unstructured":"K. Saleh, Testability-directed service definitions and their synthesis, in: Proceedings of the Eleventh IEEE International Phoenix Conference on Computers and Communications (IPCCC-92), March 1992, pp. 674\u2013678.","DOI":"10.1109\/PCCC.1992.200524"},{"key":"10.1016\/S0950-5849(99)00033-6_BIB9","unstructured":"K. Karoui, R. Dssouli, O. Cherkaoui, A. Khoumsi, Estimation de la testabilit\u00e9 d'un logiciel mod\u00e9lis\u00e9 par les relations, publication #921, D\u00e9partment d'Informatique et de Recherche Op\u00e9rationnelle (DIRO), Universit\u00e9 de Montr\u00e9al."},{"key":"10.1016\/S0950-5849(99)00033-6_BIB10","doi-asserted-by":"crossref","unstructured":"N. Yevtushenko, A. Petrenko, R. Dssouli, K. Karoui, S. Prokopenko, On the design for testability of communication protocols, in: IWPTS\u201995, France.","DOI":"10.1007\/978-0-387-34988-6_17"},{"issue":"6","key":"10.1016\/S0950-5849(99)00033-6_BIB11","doi-asserted-by":"crossref","first-page":"553","DOI":"10.1109\/32.87281","article-title":"Testability of software components","volume":"SE-17","author":"Freedman","year":"1991","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(99)00033-6_BIB12","doi-asserted-by":"crossref","unstructured":"J. Voas, L. Morrell, K. Miller, Predicting where faults can hide from testing, IEEE Software, March 1991 41\u201348.","DOI":"10.1109\/52.73748"},{"key":"10.1016\/S0950-5849(99)00033-6_BIB13","series-title":"IFIP Transactions, Protocol Test Systems VI, Proceedings of IFIP TC6 Fifth International Workshop on Protocol Test Systems","first-page":"157","article-title":"Conformance relations and test derivation","author":"Petrenko","year":"1994"},{"key":"10.1016\/S0950-5849(99)00033-6_BIB14","series-title":"Switching and Finite Automata Theory","author":"Kohavi","year":"1970"},{"key":"10.1016\/S0950-5849(99)00033-6_BIB15","doi-asserted-by":"crossref","unstructured":"G.v. Bochmann, A. Petrenko, M. Yao, Fault coverage of tests based on finite state models, in: Proceedings of IFIP TC6 Seventh International Workshop on Protocol Test Systems, Japan, 1994.","DOI":"10.1007\/978-0-387-34883-4_4"},{"key":"10.1016\/S0950-5849(99)00033-6_BIB16","doi-asserted-by":"crossref","unstructured":"G. Luo, A. Petrenko, G.v. Bochmann, Selecting test sequences for partially-specified non-deterministic finite state machines, in: Proceedings of IFIP TC6 Seventh International Workshop on Protocol Test Systems, Japan, 1994.","DOI":"10.1007\/978-0-387-34883-4_6"},{"key":"10.1016\/S0950-5849(99)00033-6_BIB17","unstructured":"S.T. Vuong, A framework for the design for testability of communication protocols, in: Pau IWPTS 1991."},{"issue":"12","key":"10.1016\/S0950-5849(99)00033-6_BIB18","doi-asserted-by":"crossref","first-page":"1415","DOI":"10.1145\/76380.76382","article-title":"Design complexity measurement and testing","volume":"32","author":"McCabe","year":"1989","journal-title":"Communication of the ACM"},{"key":"10.1016\/S0950-5849(99)00033-6_BIB19","doi-asserted-by":"crossref","unstructured":"R. Dssouli, K. Karoui, A. Petrenko, O. Rafiq, Towards design for testability of communication software, IFIP Intl workshop on protocol test systems (IWPTS \u201895), Chapman and Hall, 1995, pp. 237\u2013251.","DOI":"10.1007\/978-0-387-34988-6_15"},{"key":"10.1016\/S0950-5849(99)00033-6_BIB20","series-title":"Digital Systems Testing and Testable Design","author":"Abramovici","year":"1990"},{"issue":"3","key":"10.1016\/S0950-5849(99)00033-6_BIB21","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSE.1978.231496","article-title":"Testing software design modeled by finite-state machines","volume":"SE-4","author":"Chow","year":"1978","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(99)00033-6_BIB22","series-title":"IFIP Transactions, Protocol Test Systems IV, Proceedings of IFIP TC6 Fourth International Workshop on Protocol Test Systems","first-page":"267","article-title":"Testing non-deterministic state machines with fault coverage","author":"Fujiwara","year":"1992"},{"key":"10.1016\/S0950-5849(99)00033-6_BIB23","series-title":"Introduction to Automata Theory, Languages, and Computation","author":"Hopcroft","year":"1979"},{"issue":"2","key":"10.1016\/S0950-5849(99)00033-6_BIB24","first-page":"149","article-title":"Test selection based on communicating non-deterministic finite state machines using a generalized Wp-method","volume":"SE-20","author":"Luo","year":"1994","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"10.1016\/S0950-5849(99)00033-6_BIB25","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1109\/12.272431","article-title":"Testing finite-state machines: state identification and verification","volume":"43","author":"Lee","year":"1994","journal-title":"IEEE Transactions on Computers"},{"key":"10.1016\/S0950-5849(99)00033-6_BIB26","series-title":"Concise Encyclopedia of Software Engineering","year":"1993"},{"key":"10.1016\/S0950-5849(99)00033-6_BIB27","unstructured":"A. Petrenko, G.V. Bochmann, On fault coverage of protocol tests, Computer Networks and ISDN Systems on Protocol Testing, 1995 (submitted for publication)."},{"key":"10.1016\/S0950-5849(99)00033-6_BIB28","doi-asserted-by":"crossref","unstructured":"A. Petrenko, T. Higashino, T. Kaji, Handling redundant and additional states in protocol testing, in: IWPTS\u201995, France, 1995.","DOI":"10.1007\/978-0-387-34988-6_19"},{"key":"10.1016\/S0950-5849(99)00033-6_BIB29","doi-asserted-by":"crossref","unstructured":"A. Petrenko, N. Yevtushenko, R. Dssouli, Testing strategies for communicating FSMs, in: IWPTS\u201994, Japan, 1994.","DOI":"10.1007\/978-0-387-34883-4_13"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584999000336?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584999000336?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,14]],"date-time":"2020-01-14T15:36:51Z","timestamp":1579016211000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584999000336"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,9]]},"references-count":29,"journal-issue":{"issue":"11-12","published-print":{"date-parts":[[1999,9]]}},"alternative-id":["S0950584999000336"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(99)00033-6","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[1999,9]]}}}