{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:40:07Z","timestamp":1750200007774,"version":"3.41.0"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319576657"},{"type":"electronic","value":"9783319576664"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-57666-4_5","type":"book-chapter","created":{"date-parts":[[2017,4,12]],"date-time":"2017-04-12T12:18:42Z","timestamp":1491999522000},"page":"54-72","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Compositionality, Decompositionality and Refinement in Input\/Output Conformance Testing"],"prefix":"10.1007","author":[{"given":"Lars","family":"Luthmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephan","family":"Mennicke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Malte","family":"Lochau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,13]]},"reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/BFb0055622","volume-title":"CONCUR\u201998 Concurrency Theory","author":"R Alur","year":"1998","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O., Vardi, M.Y.: Alternating refinement relations. In: Sangiorgi, D., Simone, R. (eds.) CONCUR 1998. LNCS, vol. 1466, pp. 163\u2013178. Springer, Heidelberg (1998). doi: 10.1007\/BFb0055622"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-642-12002-2_15","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"SS Bauer","year":"2010","unstructured":"Bauer, S.S., Mayer, P., Schroeder, A., Hennicker, R.: On weak modal compatibility, refinement, and the MIO workbench. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol. 6015, pp. 175\u2013189. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-12002-2_15"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Beohar, H., Mousavi, M.R.: Input-output conformance testing based on featured transition systems. In: SAC 2014, pp. 1272\u20131278. ACM, New York (2014)","DOI":"10.1145\/2554850.2554949"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Bourdonov, I.B., Kossatchev, A.S., Kuliamin, V.V.: Formal conformance testing of systems with refused inputs and forbidden actions. In: MBT 2006, pp. 83\u201396 (2006)","DOI":"10.1016\/j.entcs.2006.09.008"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-662-46078-8_13","volume-title":"SOFSEM 2015: Theory and Practice of Computer Science","author":"F Bujtor","year":"2015","unstructured":"Bujtor, F., Fendrich, S., L\u00fcttgen, G., Vogler, W.: Nondeterministic modal interfaces. In: Italiano, G.F., Margaria-Steffen, T., Pokorn\u00fd, J., Quisquater, J.-J., Wattenhofer, R. (eds.) SOFSEM 2015. LNCS, vol. 8939, pp. 152\u2013163. Springer, Heidelberg (2015). doi: 10.1007\/978-3-662-46078-8_13"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Bujtor, F., Sorokin, L., Vogler, W.: Testing preorders for dMTS: deadlock- and the new deadlock\/divergence-testing. In: ACSD 2015, pp. 60\u201369 (2015)","DOI":"10.1109\/ACSD.2015.21"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Daca, P., Henzinger, T.A., Krenn, W., Ni\u010dkovi\u0107, D.: Compositional specifications for ioco testing. In: ICST 2014, pp. 373\u2013382 (2014)","DOI":"10.1109\/ICST.2014.50"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC, pp. 109\u2013120. ACM (2001)","DOI":"10.1145\/503271.503226"},{"issue":"2","key":"5_CR9","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/BF00264365","volume":"24","author":"R Nicola de","year":"1987","unstructured":"de Nicola, R.: Extensional equivalences for transition systems. Acta Inf. 24(2), 211\u2013237 (1987)","journal-title":"Acta Inf."},{"issue":"2","key":"5_CR10","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1016\/0304-3975(95)92307-J","volume":"138","author":"R Nicola de","year":"1995","unstructured":"de Nicola, R., Segala, R.: A process algebraic view of input\/output automata. Theor. Comput. Sci. 138(2), 391\u2013423 (1995)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-642-38592-6_9","volume-title":"Formal Techniques for Distributed Systems","author":"C Gregorio-Rodr\u00edguez","year":"2013","unstructured":"Gregorio-Rodr\u00edguez, C., Llana, L., Mart\u00ednez-Torres, R.: Input-output conformance simulation (iocos) for model based testing. In: Beyer, D., Boreale, M. (eds.) FMOODS\/FORTE -2013. LNCS, vol. 7892, pp. 114\u2013129. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-38592-6_9"},{"key":"5_CR12","series-title":"IFIP \u2014 The International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-0-387-35271-8_2","volume-title":"Formal Description Techniques and Protocol Specification, Testing and Verification","author":"L Heerink","year":"1997","unstructured":"Heerink, L., Tretmans, J.: Refusal testing for classes of transition systems with inputs and outputs. In: Mizuno, T., Shiratori, N., Higashino, T., Togashi, A. (eds.) Formal Description Techniques and Protocol Specification, Testing and Verification. ITIFIP, pp. 23\u201339. Springer, Boston, MA (1997). doi: 10.1007\/978-0-387-35271-8_2"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-71316-6_6","volume-title":"Programming Languages and Systems","author":"KG Larsen","year":"2007","unstructured":"Larsen, K.G., Nyman, U., W\u0105sowski, A.: Modal I\/O automata for interface and product line theories. In: Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 64\u201379. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-71316-6_6"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Thomsen, B.: A modal process logic. In: LICS 1988, pp. 203\u2013210 (1988)","DOI":"10.1109\/LICS.1988.5119"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-319-07317-0_8","volume-title":"Formal Methods for Executable Software Models","author":"M Lochau","year":"2014","unstructured":"Lochau, M., Peldszus, S., Kowal, M., Schaefer, I.: Model-based testing. In: Bernardo, M., Damiani, F., H\u00e4hnle, R., Johnsen, E.B., Schaefer, I. (eds.) SFM 2014. LNCS, vol. 8483, pp. 310\u2013342. Springer, Cham (2014). doi: 10.1007\/978-3-319-07317-0_8"},{"key":"5_CR16","first-page":"1","volume":"52","author":"G L\u00fcttgen","year":"2014","unstructured":"L\u00fcttgen, G., Vogler, W., Fendrich, S.: Richer interface automata with optimistic and pessimistic compatibility. Acta Inf. 52, 1\u201332 (2014)","journal-title":"Acta Inf."},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Luthmann, L., Mennicke, S., Lochau, M.: Towards an I\/O conformance testing theory of software product lines based on modal interface automata. In: FMSPLE 2015, EPTCS, pp. 1\u201313 (2015)","DOI":"10.4204\/EPTCS.182.1"},{"key":"5_CR18","unstructured":"Luthmann, L., Mennicke, S., Lochau, M.: Compositionality, decompositionality and refinement in input\/output conformance testing - Technical report (2016). http:\/\/arxiv.org\/abs\/1606.09035"},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/978-3-642-24690-6_23","volume-title":"Software Engineering and Formal Methods","author":"N Noroozi","year":"2011","unstructured":"Noroozi, N., Khosravi, R., Mousavi, M.R., Willemse, T.A.C.: Synchronizing asynchronous conformance testing. In: Barthe, G., Pardo, A., Schneider, G. (eds.) SEFM 2011. LNCS, vol. 7041, pp. 334\u2013349. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-24690-6_23"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Noroozi, N., Mousavi, M.R., Willemse, T.A.C.: Decomposability in input output conformance testing. In: MBT 2013, pp. 51\u201366 (2013)","DOI":"10.4204\/EPTCS.111.5"},{"issue":"3","key":"5_CR21","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0304-3975(87)90117-4","volume":"50","author":"I Phillips","year":"1987","unstructured":"Phillips, I.: Refusal testing. Theor. Comput. Sci. 50(3), 241\u2013284 (1987)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR22","doi-asserted-by":"crossref","first-page":"119","DOI":"10.3233\/FI-2011-416","volume":"108","author":"J-B Raclet","year":"2011","unstructured":"Raclet, J.-B., Badouel, E., Benveniste, A., Caillaud, B., Legay, A., Passerone, R.: A modal interface theory for component-based design. Fund. Inform. 108, 119\u2013149 (2011)","journal-title":"Fund. Inform."},{"issue":"2","key":"5_CR23","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/j.ic.2006.06.002","volume":"205","author":"A Rensink","year":"2007","unstructured":"Rensink, A., Vogler, W.: Fair testing. Inform. Comp. 205(2), 125\u2013198 (2007)","journal-title":"Inform. Comp."},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Tretmans, J.: Test Generation with Inputs, Outputs and Repetitive Quiescence (1996)","DOI":"10.1007\/3-540-61042-1_42"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Vaandrager, F.W.: On the relationship between process algebra and input\/output automata. In: LICS 1991, pp. 387\u2013398, July 1991","DOI":"10.1109\/LICS.1991.151662"},{"key":"5_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-24617-6_7","volume-title":"Formal Approaches to Software Testing","author":"M Bijl","year":"2004","unstructured":"Bijl, M., Rensink, A., Tretmans, J.: Compositional testing with ioco. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol. 2931, pp. 86\u2013100. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-24617-6_7"},{"issue":"4","key":"5_CR27","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/s10009-011-0215-9","volume":"14","author":"M Veanes","year":"2012","unstructured":"Veanes, M., Bjorner, N.: Alternating simulation and IOCO. STTT 14(4), 387\u2013405 (2012)","journal-title":"STTT"},{"key":"5_CR28","volume-title":"The Unknown Component Problem: Theory and Applications","author":"T Villa","year":"2011","unstructured":"Villa, T., Yevtushenko, N., Brayton, R.K., Mishchenko, A., Petrenko, A., Sangiovanni-Vincentelli, A.: The Unknown Component Problem: Theory and Applications. Springer Science & Business Media, New York (2011)"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57666-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:04:36Z","timestamp":1750197876000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57666-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319576657","9783319576664"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57666-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"13 April 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FACS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Formal Aspects of Component Software","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Besan\u00e7on","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 October 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 October 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"facs2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/events.femto-st.fr\/facs2016\/en","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}