{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T17:45:57Z","timestamp":1648921557664},"reference-count":27,"publisher":"Elsevier BV","issue":"5-6","license":[{"start":{"date-parts":[[2001,8,1]],"date-time":"2001-08-01T00:00:00Z","timestamp":996624000000},"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"],"published-print":{"date-parts":[[2001,8]]},"DOI":"10.1016\/s1389-1286(01)00183-9","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T12:30:15Z","timestamp":1027600215000},"page":"671-693","source":"Crossref","is-referenced-by-count":4,"title":["Testability analysis in communicating systems"],"prefix":"10.1016","volume":"36","author":[{"given":"Khalil","family":"Drira","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Az\u00e9ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre de Saqui","family":"Sannes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1389-1286(01)00183-9_BIB1","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0304-3975(87)90065-X","article-title":"Observation equivalence as a testing equivalence","volume":"53","author":"Abramsky","year":"1987","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1389-1286(01)00183-9_BIB2","unstructured":"LOTOS at UPM.Topo.Web-page, DIT-UPM.http:\/\/selva.dit.upm.es\/\u223clotos\/tools\/topo.html"},{"issue":"1","key":"10.1016\/S1389-1286(01)00183-9_BIB3","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","article-title":"Introduction to the ISO specification langage LOTOS","volume":"14","author":"Bolognesi","year":"1988","journal-title":"Computer Networks and ISDN Systems"},{"key":"10.1016\/S1389-1286(01)00183-9_BIB4","unstructured":"E. Brinksma, A theory for the derivation of tests, in: S. Aggrawal, K. Sabani (Eds.), Protocol Specification Testing and Verification, vol. VIII, Elsevier, Amsterdam, 1988"},{"key":"10.1016\/S1389-1286(01)00183-9_BIB5","unstructured":"E. Brinksma, G. Scollo, C. Steenbergen, LOTOS Specifications, their implementations and their tests, in: B. Sarikaya, G.V. Bochmann (Eds.), Protocol Specification Testing and Verification, vol. VI, Elsevier, Amsterdam, 1987"},{"key":"10.1016\/S1389-1286(01)00183-9_BIB6","unstructured":"P. de Saqui Sannes, K. Drira, J.P. Courtiat, P. Az\u00e9ma, S\u00e9quences de test et testeurs canoniques d\u00e9rivables de sp\u00e9cifications Estelle*: une exp\u00e9rience avec le protocole MMS, in: R. Dssouli, G.V. Bochmann (Eds.), CFIP93 Ing\u00e9nierie des Protocoles, Montr\u00e9al, Canada, Spetembre 1993"},{"key":"10.1016\/S1389-1286(01)00183-9_BIB7","unstructured":"K. Drira, Transformation et composition de graphes de refus: analyse de la testabilit\u00e9, Th\u00e8se de doctorat, Universit\u00e9 Paul Sabatier, Toulouse, 1992"},{"key":"10.1016\/S1389-1286(01)00183-9_BIB8","unstructured":"K. Drira, P. Az\u00e9ma, Analyse de la testabilit\u00e9 des syst\u00e8mes communicants avec traitement de la divergence, Technique et Science Informatiques 15 (8) (1996) 1051\u20131078"},{"key":"10.1016\/S1389-1286(01)00183-9_BIB9","doi-asserted-by":"crossref","unstructured":"K. Drira, P. Az\u00e9ma, B. Soulas, A.M. Chemali, Testability of a communicating system through an environment, in: Proceedings of the 4th International Join Conference on the Theory and Practice of Software Development, TAPSOFT, ORSAY '93, Lecture Notes in Computer Science, vol. 668, Springer, London, April 1993, pp. 529\u2013543","DOI":"10.1007\/3-540-56610-4_87"},{"key":"10.1016\/S1389-1286(01)00183-9_BIB10","unstructured":"K. Drira, P. Az\u00e9ma, F. Vernadat, Refusal graphs for conformance tester generation and simplification: a computational framework, in: Proceedings of the 13th International Conference on Protocol Specification Testing and Verification. PSTV XII, Li\u00e8ge, Belgium, May 1993"},{"key":"10.1016\/S1389-1286(01)00183-9_BIB11","unstructured":"R. Dssouli, R. Fournier, Communication software testability, in: Proceedings of the 3rd International Workshop on Protocol Test Systems, Washington, DC, USA, IFIP WG6, October 30\u2013November 1, 1990"},{"key":"10.1016\/S1389-1286(01)00183-9_BIB12","unstructured":"A. Ghedamsi, R. Dssouli, G.v. Bochmann, Diagnostic tests for single transition faults in non-deterministic finite state machines, in: Proceedings of the 5th International Workshop on Protocol Test Systems, Montreal, Canada, IFIP WG6, September 28\u201330, 1992"},{"key":"10.1016\/S1389-1286(01)00183-9_BIB13","unstructured":"C.A.R. Hoare, Communicating Sequential Processes, International Series in Computer Science, Prentice-Hall, New York, 1985"},{"key":"10.1016\/S1389-1286(01)00183-9_BIB14","unstructured":"R. Langerak, A testing theory for LOTOS using deadlock detection, in: Protocol Specification, Testing and Verification, volume IX, International IFIP WG6.1, 1990"},{"issue":"1","key":"10.1016\/S1389-1286(01)00183-9_BIB15","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0169-7552(92)90122-7","article-title":"A framework based on implementation relations for implementing LOTOS specifications","volume":"25","author":"Leduc","year":"1991","journal-title":"Computer Networks and ISDN Systems"},{"key":"10.1016\/S1389-1286(01)00183-9_BIB16","doi-asserted-by":"crossref","unstructured":"G. Leduc, Failure-based congruences, unfair divergences and new testing theory, in: Proceedings of the 14th Symposium on Protocol Specification, Testing Specification, Testing and Verification, Vancouver, June 7\u201310, 1994, International IFIP WG6.1","DOI":"10.1007\/978-0-387-34867-4_17"},{"key":"10.1016\/S1389-1286(01)00183-9_BIB17","unstructured":"S. Lejay, K. Drira, P. Az\u00e9ma, Logiciels Pour l'Analyse de la Testabilit\u00e9 des Syst\u00e8mes Communicants, LAAS REPORT 93349, LAAS-CNRS, October 1993"},{"key":"10.1016\/S1389-1286(01)00183-9_BIB18","unstructured":"F. Michel, P. Az\u00e9ma, Apprentissage par sc\u00e9narios, in: Ergonomie et Informatique Avanc\u00e9e, ERGO.IA'92, Biarritz, France, Octobre 7\u20139, 1992"},{"key":"10.1016\/S1389-1286(01)00183-9_BIB19","doi-asserted-by":"crossref","unstructured":"R. Milner, A Calculus of Communicating Systems, Lecture Notes in Computer Science, vol. 92, Springer, Berlin, 1980","DOI":"10.1007\/3-540-10235-3"},{"key":"10.1016\/S1389-1286(01)00183-9_BIB20","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","article-title":"Testing equivalences for processes","volume":"34","author":"De Nicola","year":"1984","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1389-1286(01)00183-9_BIB21","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/S0169-7552(96)00019-0","article-title":"On fault coverage of tests for finite state specification","volume":"29","author":"Petrenko","year":"1996","journal-title":"Computer Networks and ISDN Systems"},{"key":"10.1016\/S1389-1286(01)00183-9_BIB22","unstructured":"A. Petrenko, R. Dssouli, H. Koenig, On evaluation of testability of protocol structures, in: O. Rafiq (Ed.), Proceedings of the 6th International IFIP Workshop on Protocol Test Systems \u2013 IWPTS VI, Pau, September 1993"},{"key":"10.1016\/S1389-1286(01)00183-9_BIB23","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/0304-3975(87)90117-4","article-title":"Refusal testing","volume":"50","author":"Phillips","year":"1987","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1389-1286(01)00183-9_BIB24","unstructured":"J. Tretmans, A formal approach to conformance testing, Ph.D. thesis, University of Twente, Netherlands, 1992"},{"key":"10.1016\/S1389-1286(01)00183-9_BIB25","doi-asserted-by":"crossref","unstructured":"R.J. van Glabbeek, The linear time-branching time spectrum, in: CONCUR '90, Theories of Concurrency: Unification and Extension, Amsterdam, Netherlands, August 1990, Lecture Notes in Computer Science, vol. 458, Springer, Berlin","DOI":"10.1007\/BFb0039066"},{"key":"10.1016\/S1389-1286(01)00183-9_BIB26","unstructured":"S.T. Vuong, A.A.F. Loureiro, S.T. Chanson, A framework for the design for testability of communication protocols, in: O. Rafiq (Ed.), Proceedings of the 6th International IFIP Workshop on Protocol Test Systems \u2013 IWPTS VI, Pau, September 1993"},{"key":"10.1016\/S1389-1286(01)00183-9_BIB27","unstructured":"VASY-team. Caesar. Web-page, INRIA-LPES.http:\/\/www.inrialpesfr\/vasy"}],"container-title":["Computer Networks"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1389128601001839?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1389128601001839?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,25]],"date-time":"2019-04-25T20:22:21Z","timestamp":1556223741000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1389128601001839"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,8]]},"references-count":27,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2001,8]]}},"alternative-id":["S1389128601001839"],"URL":"https:\/\/doi.org\/10.1016\/s1389-1286(01)00183-9","relation":{},"ISSN":["1389-1286"],"issn-type":[{"value":"1389-1286","type":"print"}],"subject":[],"published":{"date-parts":[[2001,8]]}}}