{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T19:19:00Z","timestamp":1672255140601},"reference-count":20,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[2000,4,1]],"date-time":"2000-04-01T00:00:00Z","timestamp":954547200000},"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":[[2000,4]]},"DOI":"10.1016\/s1389-1286(00)00008-6","type":"journal-article","created":{"date-parts":[[2003,4,7]],"date-time":"2003-04-07T17:19:33Z","timestamp":1049735973000},"page":"419-431","source":"Crossref","is-referenced-by-count":5,"title":["Feature interaction detection using a synchronous approach and testing"],"prefix":"10.1016","volume":"32","author":[{"given":"L.","family":"du Bousquet","sequence":"first","affiliation":[]},{"given":"F.","family":"Ouabdesselam","sequence":"additional","affiliation":[]},{"given":"J.-L.","family":"Richier","sequence":"additional","affiliation":[]},{"given":"N.","family":"Zuanon","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1389-1286(00)00008-6_BIB1","unstructured":"I. Aggoun, P. Combes, Observers in the SCE and the SEE to detect and resolve services interactions, in: Feature Interactions in Telecommunications Systems IV, IOS Press, Amsterdam, 1997"},{"key":"10.1016\/S1389-1286(00)00008-6_BIB2","unstructured":"P.K. Au, J.M. Atlee, Evaluation of a state-based model of feature interactions, in: Feature Interactions in Telecommunications Systems IV, IOS Press, Amsterdam, 1997"},{"issue":"9","key":"10.1016\/S1389-1286(00)00008-6_BIB3","doi-asserted-by":"crossref","first-page":"1270","DOI":"10.1109\/5.97297","article-title":"The synchronous approach to reactive and real-time systems","volume":"79","author":"Benveniste","year":"1991","journal-title":"Proceedings of the IEEE"},{"key":"10.1016\/S1389-1286(00)00008-6_BIB4","unstructured":"J. Blom, R. Bol, L. Kempe, Automatic detection of feature interactions in temporal logic, in: K.E. Cheng, T. Ohta (Eds.), Feature Interactions in Telecommunications Systems III, IOS Press, Amsterdam, 1995, pp. 1\u201320"},{"key":"10.1016\/S1389-1286(00)00008-6_BIB5","doi-asserted-by":"crossref","unstructured":"P. Caspi, N. Halbwachs, D. Pilaud, J. Plaice, LUSTRE, a declarative language for programming synchronous systems, in: 14th Symposium on Principles of Programming Languages (POPL 87), Munich, ACM, 1987, pp. 178\u2013188","DOI":"10.1145\/41625.41641"},{"key":"10.1016\/S1389-1286(00)00008-6_BIB6","unstructured":"P. Combes, S. Pickin, Formalization of a user view of network and services for feature interaction detection, in: Feature Interactions in Telecommunications Systems, IOS Press, Amsterdam, 1994, pp. 120\u2013135"},{"key":"10.1016\/S1389-1286(00)00008-6_BIB7","doi-asserted-by":"crossref","unstructured":"L. du Bousquet, Feature interaction detection using testing and model-checking, experience report, in: Formal Method, Toulouse, France, September 1999","DOI":"10.1007\/3-540-48119-2_35"},{"key":"10.1016\/S1389-1286(00)00008-6_BIB8","doi-asserted-by":"crossref","unstructured":"L. du Bousquet, F. Ouabdesselam, J.-L. Richier, Expressing and implementing operational profiles for reactive software validation, in: Ninth International Symposium on Software Reliability Engineering, Paderborn, Germany, 1998","DOI":"10.1109\/ISSRE.1998.730885"},{"key":"10.1016\/S1389-1286(00)00008-6_BIB9","doi-asserted-by":"crossref","unstructured":"L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon, Lutess: a specification-driven testing environment for synchronous software, in: 21st International Conference on Software Engineering, ACM, May 1999","DOI":"10.1145\/302405.302634"},{"issue":"4","key":"10.1016\/S1389-1286(00)00008-6_BIB10","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1016\/S0169-7552(96)00110-9","article-title":"Structural models for specifying telephone systems","volume":"29","author":"Faci","year":"1997","journal-title":"Computer Networks and ISDN Systems"},{"key":"10.1016\/S1389-1286(00)00008-6_BIB11","unstructured":"J.-C. Godskesen, A formal framework for feature interaction with emphasis on testing, in: K.E. Cheng, T. Ohta (Eds.), Feature Interactions in Telecommunications Systems III, IOS Press, Amsterdam, 1995, pp. 21\u201330"},{"key":"10.1016\/S1389-1286(00)00008-6_BIB12","doi-asserted-by":"crossref","unstructured":"N. Griffeth, R. Blumenthal, J.-C. Gregoire, T. Ohta, Feature interaction detection contest, in: Feature Interactions in Telecommunications Systems V, IOS Press, Amsterdam, 1998, pp. 327\u2013359; also: Comput. Networks 32 (2000) 487\u2013510","DOI":"10.1016\/S1389-1286(00)00012-8"},{"key":"10.1016\/S1389-1286(00)00008-6_BIB13","doi-asserted-by":"crossref","unstructured":"L.J. Jagadeesan, A. Porter, C. Puchol, J.C. Ramming, L. Votta, Specification-based testing of reactive software: tools and experiments, in: 19th International Conference on Software Engineering, 1997","DOI":"10.1145\/253228.253435"},{"key":"10.1016\/S1389-1286(00)00008-6_BIB14","unstructured":"K. Kimbler, Towards a more efficient feature interaction analysis \u2013 a statistical approach, in: K.E. Cheng, T. Ohta (Eds.), Feature Interactions in Telecommunications Systems III, IOS Press, Amsterdam, 1995, pp. 201\u2013211"},{"key":"10.1016\/S1389-1286(00)00008-6_BIB15","unstructured":"F.J. Lin, Y.-J. Lin, A building block approach to detecting and resolving feature interactions, in: Feature Interactions in Telecommunications Systems, IOS Press, Amsterdam, 1994, pp. 86\u2013119"},{"key":"10.1016\/S1389-1286(00)00008-6_BIB16","unstructured":"G. Murakami, R. Sethi, Terminal call processing in Esterel, in: Proceedings of IFIP 92 World Computer Congress, Madrid, Spain, 1992"},{"key":"10.1016\/S1389-1286(00)00008-6_BIB17","doi-asserted-by":"crossref","unstructured":"J. Musa, Operational profiles in software-reliability engineering, IEEE Software (1993) 14\u201332","DOI":"10.1109\/52.199724"},{"key":"10.1016\/S1389-1286(00)00008-6_BIB18","doi-asserted-by":"crossref","unstructured":"F. Ouabdesselam, I. Parissis, Testing synchronous critical software, in: Fifth International Symposium on Software Reliability Engineering, Monterey, USA, 1994","DOI":"10.1109\/ISSRE.1994.341380"},{"key":"10.1016\/S1389-1286(00)00008-6_BIB19","doi-asserted-by":"crossref","unstructured":"D. Pilaud, N. Halbwachs, From a synchronous declarative language to a temporal logic dealing with multiform time, in: Symposium on Formal Techniques in Real Time and Fault Tolerant Systems, Warwick, Springer, Berlin, 1988","DOI":"10.1007\/3-540-50302-1_5"},{"key":"10.1016\/S1389-1286(00)00008-6_BIB20","unstructured":"J. Whittaker, Markov chain techniques for software testing and reliability analysis, Ph.D. Thesis, University of Tenessee, 1992"}],"container-title":["Computer Networks"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1389128600000086?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1389128600000086?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T00:22:39Z","timestamp":1556497359000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1389128600000086"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,4]]},"references-count":20,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2000,4]]}},"alternative-id":["S1389128600000086"],"URL":"https:\/\/doi.org\/10.1016\/s1389-1286(00)00008-6","relation":{},"ISSN":["1389-1286"],"issn-type":[{"value":"1389-1286","type":"print"}],"subject":[],"published":{"date-parts":[[2000,4]]}}}